Amazon.co.jpで購入する

情報科学書籍一覧　目次

論理学をつくる

ISBN4-8158-0390-0　　名古屋大学出版会

戸田山　和久　著

B5判　　433ページ　　本体価格\3.800　　2000年10月発売

[内容]

論理学を学んだことのない人を対象に、おもちゃのような論理学をつくることからスタートし、それをだんだんと改良していく。おもしろさに満ちた論理学の豊かな世界を基礎からマスターできる教科書。

[目次]

第1部 論理学をはじめる
(What is THIS Thing called Logic?　論理学の人工言語をつくる ほか)
第2部 論理学をひろげる
(論理学の対象言語を拡張する　おおっと述語論理のセマンティクスがまだだった ほか)
第3部 論理をもう1つの目で見る
(自然演繹法を使いこなそう　シンタクスの視点から論理学のゴールに迫る)
第4部 論理学はここから先が面白い!進んだ話題のロードマップ
(めくるめく非古典論理の世界にようこそ!　古典論理にもまだ学ぶことがたくさん残っている)