内容説明
本書は数理論理学とタイプ理論をわかりやすく解説すると同時に、計算機による定理の自動証明の基礎的理解を与えることを企図している。すなわち、理論的側面のλ計算と、実践的側面の自動証明機構の、両者の基礎を与える独特な入門的数理論理学書として位置づけられるものである。
目次
1 命題計算
2 第1階の〔述語〕論理
3 証明可能性および論駁可能性
4 第1階の論理のさらに進んだ話題
5 タイプ〔型〕理論
6 形式化された数論
7 不完全性と決定不能性
付録 定理の要約
本書は数理論理学とタイプ理論をわかりやすく解説すると同時に、計算機による定理の自動証明の基礎的理解を与えることを企図している。すなわち、理論的側面のλ計算と、実践的側面の自動証明機構の、両者の基礎を与える独特な入門的数理論理学書として位置づけられるものである。
1 命題計算
2 第1階の〔述語〕論理
3 証明可能性および論駁可能性
4 第1階の論理のさらに進んだ話題
5 タイプ〔型〕理論
6 形式化された数論
7 不完全性と決定不能性
付録 定理の要約
東京都公安委員会 古物商許可番号 304366100901