出版社内容情報
高等学校や大学の初学年で数理論理学を学習するが，多くの場合，命題論理・述語論理の初等的な学習までに留められてしまい，この分野にどういった応用例があるかを学べる機会は限られている。
ただ，命題論理・述語論理の応用などを学びたい・知りたいと思った場合でも，現状では，数学基礎論寄りの非常に高度な専門書に取り掛かるほかない。
本書では，そのような「初等的な数理論理学の『その少し先』を学びたい」という意欲ある読者が，高度な専門書に取りかかれるまでの足掛かりとなる基礎知識を提供する。
命題・述語論理，真理値表の書き方，量化記号（∀
目次
第１章 命題論理
第２章 述語論理
第３章 計算可能性とチューリング機械
第４章 命題論理の充足可能性問題
第５章 述語論理の決定不能性
第６章 ブール代数
第７章 形式手法と数理論理学
著者等紹介
板井昌典［イタイマサノリ］
１９５３年生まれ。１９７８年神戸大学理学部数学科卒業。１９８９年イリノイ大学シカゴ校大学院修了。Ｐｈ．Ｄ．現在、東海大学理学部情報数理学科教授（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
感想・レビュー
※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。
Sam.N
0
数理論理学の基本がわかってなかったので、とりあえず、ざざっと読み通したレベルだが、なるほどそうだったのか的なちょっとした気付きもあり、最後までいけた。この分野の本は、経験上確実に途中挫折するのだが、、2017/12/07
あゆたろう
0
事実の羅列で読者にわかるようには書かれていない。とても不満。2023/10/13
