数理論理学

東京大学出版会
戸次大介　

• 価格: 3,300円（本体3,000円＋税）
• 発行年月: 2012年03月
• 判型: Ａ５
• ISBN: 9784130629157

内容情報

[BOOKデータベースより]

第１部　一階論理の統語論と意味論（予備知識；論理学とは何か；一階命題論理：統語論と意味論；二進法とデジタル回路；一階述語論理：統語論と意味論；タブロー）
第２部　一階論理の証明論（ヒルベルト流証明論；自然演繹；シーケント計算序論；ゲンツェン流シーケント計算；カット除去定理；タブロー式シーケント計算；健全性と完全性）

[日販商品データベースより]

哲学・数学・情報・言語系で使われる論理学の初歩の知識を身に付けることをめざした入門テキスト。予備知識はいっさい仮定せず、いちから丁寧に解説する。具体例や演習問題も豊富。