記号論理学講義―基礎理論・束論と圏論・知識論 [単行本]

記号論理学講義―基礎理論・束論と圏論・知識論 [単行本] の 商品概要

• 目次(「BOOK」データベースより）

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

• 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

  清水 義夫(シミズ ヨシオ)
  １９３９年東京に生まれる。１９６３年東京大学文学部哲学科卒業。１９６７年東京大学大学院人文科学研究科博士課程退学。千葉工業大学情報科学部教授を経て、千葉工業大学名誉教授

記号論理学講義―基礎理論・束論と圏論・知識論 [単行本] の商品スペック