数理論理学
著者
書誌事項
数理論理学
(現代基礎数学 / 新井仁之 [ほか] 編, 15)
朝倉書店, 2009.10
- タイトル読み
-
スウリ ロンリガク
大学図書館所蔵 件 / 全206件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
参考文献: p[205]-206
内容説明・目次
目次
- 証明を対象にするとは
- 自然演繹
- 論理式の真理値
- 自然演繹の健全性
- 自然演繹の完全性
- 不完全性定理
- 命題論理
- さまざまな証明体系
- シークエント計算LKのカット除去
- 直観主義論理
- クリプキモデルと中間論理
- 本文中で使われている数学的道具の説明
「BOOKデータベース」 より