.
【利用不可】
数理論理学 戸次 大介(著) - 東京大学出版会 【利用不可】
書店員向け情報 HELP
書店注文情報
注文電話番号:
注文ＦＡＸ番号:
注文サイト:
数理論理学
発行：東京大学出版会
A5判
320ページ
価格
3,000円+税
- 出版社在庫情報
- 在庫あり
- 初版年月日
- 2012年3月1日
- 登録日
- 2010年2月18日
- 最終更新日
- 2017年8月21日
紹介
さまざまな分野で用いられている論理学．本書は哲学系・数学系・情報系・言語系のいずれかに偏ることなく，その共通部分となる初歩の部分が身につくことを目指したテキストである．予備知識はいっさい仮定せず，一からていねいに解説する．具体例や演習問題も豊富．
目次
I 一階論理の統語論と意味論
第１章 予備知識
第２章 論理学とは何か
第３章 一階命題論理：統語論と意味論
第４章 二進法とデジタル回路
第５章 一階述語論理：統語論と意味論
第６章 タブロー
II 一階論理の証明論
第７章 ヒルベルト流証明論
第８章 自然演繹
第９章 シーケント計算序論
第10章 ゲンツェン流シーケント計算
第11章 カット除去定理
第12章 タブロー式シーケント計算
第13章 健全性と完全性
上記内容は本書刊行時のものです。
