大学出版部協会

 

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

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

A5判 400ページ
価格:4,180円 (消費税:380円)
ISBN978-4-13-012062-3 C3010
奥付の初版発行年月:2013年03月

内容紹介

記号論理学における中級者を対象にしたテキスト.この領域の代表的理論を学び,数学の抽象化を推し進めた束論および圏論を援用して理解を深める.さらに「論理語がなぜ基本的と見なされるか」などの知識をめぐる根本的な問いを考察.30年間の講義をもとにした集大成.


目次

第I部 記号論理の基礎理論
第1章 推理論——述語論理
第2章 計算論——帰納理論
第3章 計算論——λ計算論
第4章 集合論——公理的集合論ZFC
第II部 束論および圏論と記号論理
第1章 束論
第2章 記号論理と束
第3章 圏論
第4章 記号論理と圏
第III部 記号論理への知識論的考察
第1章 論理語の原始性
第2章 計算論における両義的領域
第3章 選択公理ACの正当性
付録 ゲーデル不完全性定理について


一般社団法人 大学出版部協会 Phone 03-3511-2091 〒102-0073 東京都千代田区九段北1丁目14番13号 メゾン萬六403号室
このサイトにはどなたでも自由にリンクできます。掲載さ>れている文章・写真・イラストの著作権は、それぞれの著作者にあります。
当協会 スタッフによるもの、上記以外のものの著作権は一般社団法人大学出版部協会にあります 。