証明と論理に強くなる 論理式の読み方から、ゲーデルの門前まで
知の扉シリーズ
| 出版社名 | 技術評論社 |
|---|---|
| 出版年月 | 2017年2月 |
| ISBNコード |
978-4-7741-8664-1
（4-7741-8664-3） |
| 税込価格 | 1,958円 |
| 頁数・縦 | ３５１Ｐ １９ｃｍ |
商品内容
| 要旨 |
論理式が難しく思えるのは単に慣れていないからだった！たった６個の論理記号といくつかの規則だけで証明や論理式は成り立っている。論理式の読み方と意味を徹底的に解説する決定版。論理学の金子塔ゲーデルの定理の入口までご案内。 |
|---|---|
| 目次 |
第１部 論理式に慣れよう |
おすすめコメント
論理的に考えるとはどういうこと？証明するってどういうこと？という問いに簡潔に答える論理と証明のための徹底解説本です．論理に強くなるためには，論理記号に対するアレルギーを克服することが第一です．本書は，「かつ」「ならば」などの基本的な論理記号からまず入ります．論理記号や論理式には解釈を逐語訳のように併記するので，臆することなく読み進めてもらえます．そして数学の問題で出てきた「証明」の考え方へと話を進めます．論理と証明の考え方を習得することがゲーデル不完全性定理の理解につながることにも言及します．