証明と論理に強くなる

論理式の読み方から、ゲーデルの門前まで
知の扉シリーズ　

技術評論社
小島寛之　

• 価格: 1,958円（本体1,780円＋税）
• 発行年月: 2017年02月
• 判型: Ｂ６
• ISBN: 9784774186641

内容情報

[BOOKデータベースより]

論理式が難しく思えるのは単に慣れていないからだった！たった６個の論理記号といくつかの規則だけで証明や論理式は成り立っている。論理式の読み方と意味を徹底的に解説する決定版。論理学の金子塔ゲーデルの定理の入口までご案内。

第１部　論理式に慣れよう
第２部　証明するとは何をすることか
第３部　自然数を舞台に公理系を学ぶ
第４部　ゲーデルの定理の予告編で終わる

[日販商品データベースより]

論理式が難しく思えるのは、単に慣れていないからだった。たった６個の論理記号といくつかの規則だけで、証明や論理式は成り立っている。論理式の読み方と意味を徹底的に解説する決定版。