記号論理学講義 : 基礎理論 束論と圏論 知識論

著者

• 清水, 義夫 シミズ, ヨシオ

書誌事項

記号論理学講義 : 基礎理論 束論と圏論 知識論

清水義夫著

東京大学出版会, 2013.3

タイトル別名

Lectures on symbolic logic : elements of symbolic logic, lattice and category theory, philosophy of symbolic logic

Lectures on symbolic logic : elements of symbolic logic, lattice and category theory and philosophy of symbolic logic

記号論理学講義 : 基礎理論・束論と圏論・知識論

記号論理学講義 : 基礎理論束論と圏論知識論

タイトル読み

キゴウ ロンリガク コウギ : キソ リロン ソクロン ト ケンロン チシキロン

注記

その他のタイトルは標題紙裏による

参考図書: p373-374

内容説明・目次

目次

• 第１部　記号論理の基礎理論（推理論—述語論理；計算論１—帰納理論；計算論２—λ計算論；集合論—公理的集合論ＺＦＣ）
• 第２部　束論および圏論と記号論理（束論；記号論理と束；圏論；記号論理と圏）
• 第３部　記号論理への知識論的考察（論理語の原始性；計算論における両義的領域；選択公理ＡＣの正当性）
• 結び—学全体の中での記号論理の位置など
• 付録　ゲーデルの不完全性定理

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BB12134898
• ISBN:
  • 9784130120623
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: vii, 382p
• 大きさ: 21cm
• 分類:
  • NDC8 : 410.96
  • NDC9 : 410.96
  • NDLC : MA41
• 件名:
  • BSH : 記号論理学