《面向計算機科學的數理邏輯 | 2版》是科學出版社出版的圖書，作者是陸鐘萬。
基本介紹
- 中文名：面向計算機科學的數理邏輯 | 2版
- 作者：陸鐘萬
- 出版社：科學出版社
- ISBN：7030096576
內容簡介,圖書目錄,
內容簡介
本書敘述了與計算機科學有緊密聯繫並且相互之間又有聯繫的數理邏輯基礎性內容，包括經典邏輯和非經典邏輯中的構造性邏輯和模態邏輯。
圖書目錄
- 緒論
- 第一章 預備知識
- 第二章 經典命題邏輯
- 第三章 經典一階邏輯
- 第四章 可靠性和完備性
- 第五章 緊緻性定理、L?wenheim-Skolem 定理、Herbrand 定理
- 第六章 公理推演系統
- 第七章 構造性邏輯
- 第八章 模態命題邏輯
- 第九章 模態一階邏輯
- 附錄
- 參考文獻
- 符號表
- 漢英名詞對照表
