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

書誌事項

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

清水義夫著

東京大学出版会, 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

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

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

タイトル読み

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

大学図書館所蔵 件 / 143

この図書・雑誌をさがす

注記

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

参考図書: p373-374

内容説明・目次

目次

  • 第1部 記号論理の基礎理論(推理論—述語論理;計算論1—帰納理論;計算論2—λ計算論;集合論—公理的集合論ZFC)
  • 第2部 束論および圏論と記号論理(束論;記号論理と束;圏論;記号論理と圏)
  • 第3部 記号論理への知識論的考察(論理語の原始性;計算論における両義的領域;選択公理ACの正当性)
  • 結び—学全体の中での記号論理の位置など
  • 付録 ゲーデルの不完全性定理

「BOOKデータベース」 より

詳細情報

  • NII書誌ID(NCID)
    BB12134898
  • ISBN
    • 9784130120623
  • 出版国コード
    ja
  • タイトル言語コード
    jpn
  • 本文言語コード
    jpn
  • 出版地
    東京
  • ページ数/冊数
    vii, 382p
  • 大きさ
    21cm
  • 分類
  • 件名
ページトップへ