数理論理学とタイプ理論 : 証明による真理へ
著者
書誌事項
数理論理学とタイプ理論 : 証明による真理へ
丸善, 1987.12
- タイトル別名
-
An Introduction to mathematical logic and type theory : to truth through proof
- タイトル読み
-
スウリ ロンリガク ト タイプ リロン : ショウメイ ニ ヨル シンリ エ
大学図書館所蔵 全115件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
参考文献: p[299]-302
内容説明・目次
内容説明
本書は数理論理学とタイプ理論をわかりやすく解説すると同時に、計算機による定理の自動証明の基礎的理解を与えることを企図している。すなわち、理論的側面のλ計算と、実践的側面の自動証明機構の、両者の基礎を与える独特な入門的数理論理学書として位置づけられるものである。
目次
- 1 命題計算
- 2 第1階の〔述語〕論理
- 3 証明可能性および論駁可能性
- 4 第1階の論理のさらに進んだ話題
- 5 タイプ〔型〕理論
- 6 形式化された数論
- 7 不完全性と決定不能性
- 付録 定理の要約
「BOOKデータベース」 より