Product Details
ISBN/Catalogue Number
:
ISBN 13 : 9784320114982
ISBN 10 : 4320114981
ISBN 10 : 4320114981
Format
:
Books
Release Date
:
November/2023
Content Description
目次 : 第1章 数学的に真理であるとはどういうことか/ 第2章 前進後退法/ 第3章 定義と数学用語について/ 第4章 量化詞1:構成法/ 第5章 量化詞2:抽出法/ 第6章 量化詞3:特殊化/ 第7章 量化詞4:入れ子の量化詞/ 第8章 主張の否定をどう書くか/ 第9章 背理法/ 第10章 対偶法/ 第11章 一意性の証明法/ 第12章 帰納法/ 第13章 二者択一法/ 第14章 最大最小の証明法/ 第15章 まとめ/ 付録1 離散数学からの証明の例/ 付録2 実解析からの証明の例
【著者紹介】
西村康一 : ケース・ウェスタン・リザーブ大学(CWRU)OR学科博士課程修了(Ph.D.)。専攻分野はオペレーションズ・リサーチ(Operations Research)。現在、亜細亜大学名誉教授
服部久美子 : 東京大学より理学博士号取得。専門は確率論およびフラクタル。現在、東京都立大学名誉教授(本データはこの書籍が刊行された当時に掲載されていたものです)
(「BOOK」データベースより)
Customer Reviews
Recommend Items
Feedback
Missing or incorrect information?
Product information of this page .
