12/30
時点_ポイント最大4倍
証明作法 論理の初歩から証明の実践へ/石原哉
販売価格
2,970
円 (税込)
送料無料
- 出荷目安:
- 1~3日で発送予定
たまるdポイント(通常) 27
+キャンペーンポイント(期間・用途限定) 最大3倍
※たまるdポイントはポイント支払を除く商品代金(税抜)の1%です。
※表示倍率は各キャンペーンの適用条件を全て満たした場合の最大倍率です。
各キャンペーンの適用状況によっては、ポイントの進呈数・付与倍率が最大倍率より少なくなる場合がございます。
dカードでお支払ならポイント3倍
各キャンペーンの適用状況によっては、ポイントの進呈数・付与倍率が最大倍率より少なくなる場合がございます。
- 商品情報
- レビュー
石原哉
共立出版
ISBN:4320114892/9784320114890
発売日:2023年03月
【内容紹介】
本書は、「よい証明はわかりやすい」、「よい証明を書きたかったらよい証明をたくさん読むべきである」をモットーとして、数学の授業でオンザジョブトレーニングで学ぶことの多い証明の書き方について解説する書籍である。
前半では、まず論理への導入を行い、それから自然演繹と呼ばれる形式化に基づいて、日本語表現に近い形で証明の構成法をできるだけ丁寧に説明し、述語についても述べる。証明の構造の理解が容易になるよう、プログラミングで用いる字下げを活用している。
後半では、前半で学んだことをベースとして、集合に関係する様々な問題に証明を与えていく。集合演算の基本的性質など、直観的に明らかな命題にも証明を与える。関係、写像、同値関係、順序について説明し、有向完備順序についても簡単に触れ、圏論で締めくくる。
大学で証明を必要とする学生のみでなく、証明の書き方を学びたいすべての人にとって大変重宝する書籍となろう。
共立出版
ISBN:4320114892/9784320114890
発売日:2023年03月
【内容紹介】
本書は、「よい証明はわかりやすい」、「よい証明を書きたかったらよい証明をたくさん読むべきである」をモットーとして、数学の授業でオンザジョブトレーニングで学ぶことの多い証明の書き方について解説する書籍である。
前半では、まず論理への導入を行い、それから自然演繹と呼ばれる形式化に基づいて、日本語表現に近い形で証明の構成法をできるだけ丁寧に説明し、述語についても述べる。証明の構造の理解が容易になるよう、プログラミングで用いる字下げを活用している。
後半では、前半で学んだことをベースとして、集合に関係する様々な問題に証明を与えていく。集合演算の基本的性質など、直観的に明らかな命題にも証明を与える。関係、写像、同値関係、順序について説明し、有向完備順序についても簡単に触れ、圏論で締めくくる。
大学で証明を必要とする学生のみでなく、証明の書き方を学びたいすべての人にとって大変重宝する書籍となろう。
※本データはこの商品が発売された時点の情報です。


