「honto 本の通販ストア」サービス終了及び外部通販ストア連携開始のお知らせ
詳細はこちらをご確認ください。
紙の本
スマリヤン数理論理学 述語論理と完全性定理
著者 Raymond Smullyan (著),高橋 昌一郎 (監訳)
「スマリヤン記号論理学」に続く、スマリヤン著「ロジカル・ラビリンス」第Ⅲ部から第Ⅵ部までの翻訳書。1階述語論理の基礎的成果や、スマリヤン自身の一般化した「抽象量化理論」な...
スマリヤン数理論理学 述語論理と完全性定理
税込
3,300
円
30pt
このセットに含まれる商品
前へ戻る
- 対象はありません
次に進む
商品説明
「スマリヤン記号論理学」に続く、スマリヤン著「ロジカル・ラビリンス」第Ⅲ部から第Ⅵ部までの翻訳書。1階述語論理の基礎的成果や、スマリヤン自身の一般化した「抽象量化理論」などを解説し、「不完全性定理」にも触れる。【「TRC MARC」の商品解説】
目次
- 第Ⅰ部 無限
- 第1章 無限の本質
- 第2章 数学的帰納法
- 第3章 一般化帰納法,ケーニッヒの補題,コンパクト性
- 第Ⅱ部 1階述語論理の基礎的結果
- 第4章 命題論理の基礎的結果
- 第5章 1階述語論理:完全性,コンパクト性,スコーレム−レーヴェンハイムの定理
- 第6章 正規性定理
- 第Ⅲ部 公理系
- 第7章 公理的方法入門
関連キーワード
あわせて読みたい本
この商品に興味のある人は、こんな商品にも興味があります。
前へ戻る
- 対象はありません
次に進む
この著者・アーティストの他の商品
前へ戻る
- 対象はありません
次に進む