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

一般索引
練習問題ファイル索引
マニュアル索引
ページトップへ
Copyright (C)2004-2019 Keio University Press Inc. All rights reserved.