本を探す

本のタイトル検索キーワードを入力してください。

スペースキーで開閉します。

書名・副題書名・副題

書名・副題のキーワードを入力してください。

ISBNコード、JANコード ISBNコード、JANコード

ISBNコード、JANコードを入力してください。

シリーズ名・レーベル名シリーズ名・レーベル名

シリーズ名・レーベル名を入力してください。

著者名著者名

著者名を入力してください。

出版社名出版社名

出版社名を入力してください。

発行(予定)年月

発行年数開始年

開始年を西暦で入力してください。

年開始月

開始月を入力してください。

月～終了年

終了年を西暦で入力してください。

年終了月

終了月を入力してください。

月

出版社を探す

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

著：ジョン・バーワイズJon Barwise
著：ジョン・エチメンディJohn Etchemendy
他訳：大沢秀介

紙版

出版社サイト。

内容紹介

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

詳細な目次はこちらから
日本語版訳者による序言
謝辞
序論
　
第I 部　命題論理
第1 章　原子文
第2 章　原子文の論理
第3 章　ブール結合子
第4 章　ブール結合子の論理
第5 章　ブール論理の証明方法
第6 章　形式的証明とブール論理
第7 章　条件文
第8 章　条件文の論理

第II 部　限量子
第9 章　限量入門
第10 章　限量子の論理
第11 章　複数の限量子
第12 章　限量子についての証明の方法
第13 章　形式的証明と限量子
第14 章　限量子についての補足（オプション）

第III 部応用とメタ理論
第15 章一階集合論
第16 章　数学的帰納法
第17 章　命題論理の更に進んだ話題
第18 章　FOL の更に進んだ話題
第19 章　完全性と不完全性

形式的証明規則の要約
用語解説

ソフトウェア・マニュアル
1 はじめに
2 Submit を使う
3 Tarski’s World を使う
4 Fitch を使う
5 Boole を使う

一般索引
練習問題ファイル索引
マニュアル索引