内容

目次

第1章　命題論理1.1　標準形　　1.1.1　基本性質　　1.1.2　基本性質の一般化　　1.1.3　論理和標準形，論理積標準形1.2　論理関数と論理回路　　1.2.1　重要な論理関数　　1.2.2　論理関数の簡単化1.3　コンパクト性定理1.4　健全性，完全性，決定可能性第2章　述語論理2.1　冠頭標準形，スコーレム標準形　　2.1.1　論理式の解釈，モデル　　2.1.2　ド・モルガンの法則，およびその他の論理的同値な論理式　　2.1.3　冠頭標準形　　2.1.4　スコーレム標準形2.2　∀∃と∃∀の違い：連続性と一様連続性2.3　述語論理の完全性第3章　計算可能性とチューリング機械3.1　チューリング機械の定義　　3.1.1　万能チューリング機械　　3.1.2　チューリング機械は可算個しかない　　3.1.3　チューリング機械の停止問題　　3.1.4　チャーチ・チューリングの提言　　3.1.5　チューリング・テスト3.2　晩年のチューリングの業績　　3.2.1　発生生物学　　3.2.2　リーマン予想第4章　命題論理の充足可能性問題4.1　SAT問題のNP完全性4.2　DPLLアルゴリズム4.3　Wangのアルゴリズム第5章　述語論理の決定不能性5.1　述語論理式の証明可能性判定問題　　5.1.1　チャーチの定理　　5.1.2　チューリングの定理5.2　エルブランの定理　　5.2.1　エルブラン充足可能性の判定について第6章　ブール代数6.1　ハンティントンの公理系6.2　基本性質6.3　いろいろな演算，半順序6.4　ストーン表現定理6.5　部分ブール代数，ブール代数の直積6.6　ブール束，ブール環　　6.6.1　ブール束　　6.6.2　ブール環6.7　可算ブール代数6.8　ロビン(Robbins)の予想　　6.8.1　ハンティントン代数はブール代数である第7章　形式手法と数理論理学7.1　形式手法とは　　7.1.1　移行システム，オートマトン　　7.1.2　自動定理証明とブール代数7.2　様相論理，時相論理　　7.2.1　命題様相論理　　7.2.2　クリプキ意味論　　7.2.3　様相に関係する2つの推論　　7.2.4　恒真ではない論理式　　7.2.5　基本性質　　7.2.6　命題時相論理関連図書／問題解答／索引