資料詳細

【図書】 数理論理学とタイプ理論

証明による真理へ --
Ｐｅｔｅｒ　Ｂ．Ａｎｄｒｅｗｓ／著, 小川原倫子／訳, 　 -- 丸善 -- １９８７．１２ -- ２２ｃｍ -- ３１６ｐ

タイトル	数理論理学とタイプ理論
副書名	証明による真理へ
著者名等	Ｐｅｔｅｒ　Ｂ．Ａｎｄｒｅｗｓ／著, 小川原倫子／訳,
出版	丸善１９８７．１２
大きさ等	２２ｃｍ３１６ｐ
分類	410.96
件名	記号論理学
注記	Ａｎ　ｉｎｔｒｏｄｕｃｔｉｏｎ　ｔｏ　ｍａｔｈｅｍａｔｉｃａｌ　ｌｏｇｉｃ　ａｎｄ　ｔｙｐｅ　ｔｈｅｏｒｙ．／の翻訳
要旨	本書は数理論理学とタイプ理論をわかりやすく解説すると同時に、計算機による定理の自動証明の基礎的理解を与えることを企図している。すなわち、理論的側面のλ計算と、実践的側面の自動証明機構の、両者の基礎を与える独特な入門的数理論理学書として位置づけられるものである。
目次	１　命題計算；２　第１階の〔述語〕論理；３　証明可能性および論駁可能性；４　第１階の論理のさらに進んだ話題；５　タイプ〔型〕理論；６　形式化された数論；７　不完全性と決定不能性；付録　定理の要約
ISBN(13)、ISBN	4-621-03224-0
書誌番号	1190265401

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館	所蔵場所	別置	請求記号	資料区分	状態	取扱	資料コード
中央	書庫		410.9/102	一般書	利用可	-	0003915034