資料詳細

【図書】 記号論理学講義

基礎理論　束論と圏論　知識論 --
清水義夫／著 -- 東京大学出版会 -- ２０１３．３ -- ２１ｃｍ -- ３８２ｐ

タイトル	記号論理学講義
副書名	基礎理論　束論と圏論　知識論
著者名等	清水義夫／著
出版	東京大学出版会２０１３．３
大きさ等	２１ｃｍ３８２ｐ
分類	410.96
件名	記号論理学
注記	文献あり　索引あり
著者紹介	１９３９年東京生まれ。６３年東京大学文学部卒。６７年東京大学大学院人文科学研究科博士課程退学。千葉工業大学情報科学部教授を経て、現在、千葉工業大学名誉教授。主要著訳書「哲学」など。
内容紹介	記号論理学の中級者を対象にしたテキスト。領域の代表的理論を学び、数学の抽象化を推し進めた束論および圏論を援用して理解を深める。さらに知識をめぐる根本的な問いを考察。３０年間の講義をもとにした集大成。
目次	第１部　記号論理の基礎理論（推理論―述語論理；計算論１―帰納理論；計算論２―λ計算論；集合論―公理的集合論ＺＦＣ）；第２部　束論および圏論と記号論理（束論；記号論理と束；圏論；記号論理と圏）；第３部　記号論理への知識論的考察（論理語の原始性；計算論における両義的領域；選択公理ＡＣの正当性）；結び―学全体の中での記号論理の位置など；付録　ゲーデルの不完全性定理
ISBN(13)、ISBN	978-4-13-012062-3　　 4-13-012062-X
書誌番号	1113037254

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館	所蔵場所	別置	請求記号	資料区分	状態	取扱	資料コード
中央	４階自然科学 Map		410.9	一般書	利用可	-	2050431803