- 販売開始日: 2017/02/15
- 出版社: 技術評論社
- ISBN:978-4-7741-8664-1
証明と論理に強くなる ~論理式の読み方から,ゲーデルの門前まで~
著者 小島寛之
(概要)論理的に考えるとはどういうこと?証明するってどういうこと?という問いに簡潔に答える論理と証明のための徹底解説本です。論理に強くなるためには,論理記号に対するアレル...
証明と論理に強くなる ~論理式の読み方から,ゲーデルの門前まで~
ワンステップ購入とは ワンステップ購入とは
商品説明
(概要)
論理的に考えるとはどういうこと?証明するってどういうこと?という問いに簡潔に答える論理と証明のための徹底解説本です。論理に強くなるためには,論理記号に対するアレルギーを克服することが第一です。本書は,「かつ」「ならば」などの基本的な論理記号からまず入ります。論理記号や論理式には解釈を逐語訳のように併記するので,臆することなく読み進めてもらえます。そして数学の問題で出てきた「証明」の考え方へと話を進めます。論理と証明の考え方を習得することがゲーデル不完全性定理の理解につながることにも言及します。
(こんな方におすすめ)
・論理力を身につけたい人,論理学に興味がある人
・ゲーデルの不完全性定理の基礎を知りたい人,公務員試験で論理問題が苦手な人
(目次)
序章 「証明」と「論理」を学ぶと何の役に立つのか?
第1章 論理記号を読めるようになる
第2章 論理式の真偽は考える世界で変わる
第3章 大学入試・公務員試験を解いてみよう
第4章 言論と推論
第5章 「等しい」とはどういうことか?
第6章 「かつ」「または」「ならば」「でない」の推論規則
第7章 「証明できる」と「正しい」の関係
第8章 述語論理を読めるようになる
第9章 1+1=2を証明しよう
第10章 ∀と∃を操作しよう
第11章 数学的帰納法とはどんな原理か
第12章 ゲーデルの定理,その予告編
この著者・アーティストの他の商品
前へ戻る
- 対象はありません
次に進む
小分け商品
前へ戻る
- 対象はありません
次に進む
この商品の他ラインナップ
前へ戻る
- 対象はありません
次に進む