 |
B5変型判/並製/768頁
初版年月日:2006/09/30
ISBN: |
978-4-7664-1313-7 |
|
(4-7664-1313-X) |
Cコード:C3010
税込価格:10,780円
|
 |
論理学の基礎と演習〈CD-ROM付〉

詳細な目次はこちらから日本語版訳者による序言 謝辞 序論 第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 を使う 一般索引 練習問題ファイル索引 マニュアル索引
|