数理論理学
著者
書誌事項
数理論理学
(現代基礎数学 / 新井仁之 [ほか] 編, 15)
朝倉書店, 2009.10
- タイトル読み
-
スウリ ロンリガク
大学図書館所蔵 全206件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
参考文献: p[205]-206
内容説明・目次
目次
- 証明を対象にするとは
- 自然演繹
- 論理式の真理値
- 自然演繹の健全性
- 自然演繹の完全性
- 不完全性定理
- 命題論理
- さまざまな証明体系
- シークエント計算LKのカット除去
- 直観主義論理
- クリプキモデルと中間論理
- 本文中で使われている数学的道具の説明
「BOOKデータベース」 より