記号論理学講義 : 基礎理論 束論と圏論 知識論
著者
書誌事項
記号論理学講義 : 基礎理論 束論と圏論 知識論
東京大学出版会, 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データベース」 より