大学出版部協会

 

数理論理学

数理論理学

A5判 320ページ
価格:3,300円 (消費税:300円)
ISBN978-4-13-062915-7 C3041
奥付の初版発行年月:2012年03月

内容紹介

さまざまな分野で用いられている論理学.本書は哲学系・数学系・情報系・言語系のいずれかに偏ることなく,その共通部分となる初歩の部分が身につくことを目指したテキストである.予備知識はいっさい仮定せず,一からていねいに解説する.具体例や演習問題も豊富.


目次

I 一階論理の統語論と意味論
第1章 予備知識
第2章 論理学とは何か
第3章 一階命題論理:統語論と意味論
第4章 二進法とデジタル回路
第5章 一階述語論理:統語論と意味論
第6章 タブロー
II 一階論理の証明論
第7章 ヒルベルト流証明論
第8章 自然演繹
第9章 シーケント計算序論
第10章 ゲンツェン流シーケント計算
第11章 カット除去定理
第12章 タブロー式シーケント計算
第13章 健全性と完全性


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