論理学の基礎と演習〈CD-ROM付〉

ジョン・バーワイズJonBarwise, 訳ジョン・エチメンディJohnEtchemendy, 著ほか

視覚で理解する画期的論理学テキスト、ついに翻訳刊行。▼ゲーム感覚で学べる、スタンフォード大学 CSLI 論理学テキスト Language, Proof and Logic の翻訳書。付属のCD-ROM（Tarski's World）は1997年Educom Medalを受賞しています。▼テキストは、初歩の命題論理からゲーデルの不完全性定理に至るまで、幅広く説明され、Tarski's Worldで、立体図形を感覚的に操作しながら、論理学の基本概念を学びます。▼膨大な数の練習問題を収録し、その解答はインターネットを利用して自動的に採点されます。

出版社

慶應義塾大学出版会

発売日

2006-09-02

ページ数

768ページ

ISBN

9784766413137