《數理邏輯引論與歸結原理 | 2版》是2006年科學出版社出版的圖書，作者是王國俊。
基本介紹
- 中文名：數理邏輯引論與歸結原理 | 2版
- 作者：王國俊
- 出版社：科學出版社
- 出版時間：2006年3月
- ISBN：7030165837
內容簡介,圖書目錄,
內容簡介
本書共9章，內容可分為Boole代數理論，命題演算與謂詞演算理論，歸結原理理論，多值邏輯的最新理論等4部分，同時，對“計量邏輯學”關於一階系統Ky完備性的證明等諸多內容作了補充或修改。
圖書目錄
- 第二版前言
- 第一版前言
- 第 1 章 預備知識
- 第 2 章 命題演算
- 第 3 章 一階謂詞演算的語義理論
- 第 4 章 一階謂詞演算的語構理論
- 第 5 章 Skolem 標準形與 Herbrand 定理
- 第 6 章 歸結原理
- 第 7 章 歸結方法的簡化
- 第 8 章 多值邏輯演算理論
- 第 9 章 計量邏輯學
- 參考文獻
- 索引
- 《現代數學基礎叢書》出版書目
