資料詳細

  • 1 件中、 1 件目

記号論理学講義 利用可

清水義夫／著 -- 東京大学出版会 -- 2013.3 -- 410.96

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
鳥取県立 書庫 410.9/ｼﾐｽ/一般Ｈ 119226705 一般 利用可

ページの先頭へ

資料詳細

タイトル 記号論理学講義
書名ヨミ キゴウ　ロンリガク　コウギ
副書名 基礎理論　束論と圏論　知識論
著者名 清水義夫 ／著  
著者ヨミ シミズ，ヨシオ  
出版者 東京大学出版会  
出版年 2013.3
ページ数等 ３８２ｐ
大きさ ２１ｃｍ
内容細目 文献あり　索引あり
一般件名 記号論理学  
ISBN 4-13-012062-X
ISBN13桁 978-4-13-012062-3
定価 ３８００円
問合わせ番号（書誌番号） 1101929348
NDC8版 410.96
NDC9版 410.96
内容紹介 記号論理学の中級者を対象にしたテキスト。領域の代表的理論を学び、数学の抽象化を推し進めた束論および圏論を援用して理解を深める。さらに知識をめぐる根本的な問いを考察。３０年間の講義をもとにした集大成。
著者紹介 １９３９年東京生まれ。６３年東京大学文学部卒。６７年東京大学大学院人文科学研究科博士課程退学。千葉工業大学情報科学部教授を経て、現在、千葉工業大学名誉教授。主要著訳書「哲学」など。 

ページの先頭へ

内容一覧

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

ページの先頭へ