取り寄せ不可
"視覚で理解する画期的論理学テキスト、ついに翻訳刊行。
▼ゲーム感覚で学べる、スタンフォード大学 CSLI 論理学テキスト Language, Proof and Logic の翻訳書。付属のCD-ROM(Tarski’s World)は1997年Educom Medalを受賞しています。
▼テキストは、初歩の命題論理からゲーデルの不完全性定理に至るまで、幅広く説明され、Tarski’s Worldで、立体図形を感覚的に操作しながら、論理学の基本概念を学びます。
▼膨大な数の練習問題を収録し、その解答はインターネットを利用して自動的に採点されます。"
よく利用するジャンルを設定できます。
「+」ボタンからジャンル(検索条件)を絞って検索してください。
表示の並び替えができます。