内容説明
高等学校や大学の初学年で数理論理学を学習するが，多くの場合，命題論理・述語論理の初等的な学習までに留められてしまい，この分野にどういった応用例があるかを学べる機会は限られている。
ただ，命題論理・述語論理の応用などを学びたい・知りたいと思った場合でも，現状では，数学基礎論寄りの非常に高度な専門書に取り掛かるほかない。
本書では，そのような「初等的な数理論理学の『その少し先』を学びたい」という意欲ある読者が，高度な専門書に取りかかれるまでの足掛かりとなる基礎知識を提供する。
目次
第１章 命題論理
第２章 述語論理
第３章 計算可能性とチューリング機械
第４章 命題論理の充足可能性問題
第５章 述語論理の決定不能性
第６章 ブール代数
第７章 形式手法と数理論理学
感想・レビュー
※以下の感想・レビューは、株式会社ドワンゴの提供する「読書メーター」によるものです。
Sam.N
0
数理論理学の基本がわかってなかったので、とりあえず、ざざっと読み通したレベルだが、なるほどそうだったのか的なちょっとした気付きもあり、最後までいけた。この分野の本は、経験上確実に途中挫折するのだが、、2017/12/07
あゆたろう
0
事実の羅列で読者にわかるようには書かれていない。とても不満。2023/10/13
