数理論理学 在庫あり
税込3240円/本体3000円  

» 送料一律230円(大判特別書籍を除く)・代引きでご購入いただけます
» 詳しいご注文方法


他のオンライン書店で購入

アマゾン紀伊國屋BookWebhontoセブンネットショッピングブックサービスe-hon楽天ブックスHonyaClub丸善&ジュンク堂書店

 

数理論理学 

戸次 大介
ISBN978-4-13-062915-7, 発売日:2012年03月中旬, 判型:A5, 320頁

内容紹介

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


主要目次

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



分野別クイックジャンプ