情報理論のための数理論理学

数学のかんどころ　３１

共立出版
板井昌典　

• 価格: 2,090円（本体1,900円＋税）
• 発行年月: 2017年08月
• 判型: Ａ５
• ISBN: 9784320110724

内容情報

[BOOKデータベースより]

第１章　命題論理
第２章　述語論理
第３章　計算可能性とチューリング機械
第４章　命題論理の充足可能性問題
第５章　述語論理の決定不能性
第６章　ブール代数
第７章　形式手法と数理論理学

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

"　高等学校や大学の初学年で数理論理学を学習するが，多くの場合，命題論理・述語論理の初等的な学習までに留められてしまい，この分野にどういった応用例があるかを学べる機会は限られている。
ただ，命題論理・述語論理の応用などを学びたい・知りたいと思った場合でも，現状では，数学基礎論寄りの非常に高度な専門書に取り掛かるほかない。
　本書では，そのような「初等的な数理論理学の『その少し先』を学びたい」という意欲ある読者が，高度な専門書に取りかかれるまでの足掛かりとなる基礎知識を提供する。

　命題・述語論理，真理値表の書き方，量化記号（∀,∃）の意味などを学んだあとには，「形式的証明・形式手法」について学ぶ必要がある．本書では，命題論理の形式的証明について，ヒルベルト流の体系を用いて通常の入門書よりやや詳しく解説する。
　また，ブール代数についてもかなり詳しく解説している。「ブール代数を定式化するために，一体いくつの公理が必要か」ということについては，長い研究の歴史がある。特に自動証明による手法は，人工知能による数学問題の証明という面からも興味深い内容となっている。

　これらは，数理論理に興味がある学部生・修士のほか，計算機科学を学ぶ読者にも知っておいてほしい知識であると考えている。"