數理邏輯引論與歸結原理(第二版)

第二版前言
第一版前言
第1章 預備知識
1.1 偏序集
1.2 格
1.3 Boole代數
第2章 命題演算
2.1 命題及其符號化
2.2 命題演算的語義理論
2.3 命題演算的語構理論
第3章 一階謂詞演算的語義理論
3.1 一階語言
3.2 解釋、邏輯有效公式
3.3 邏輯等價
第4章 一階謂詞演算的語構理論
4.1 形式系統K&
4.2 可證等價關系
4.3 前束范式
4.4 一階系統K&的完備性定理
4.5 不含量詞的公式
第5章 Skolem標准形與Herbrand定理
5.1 引言
5.2 Skolem標准形
5.3 子句
5.4 正則函數系統與正則域*
5.5 Herbrand域與Herbrand定理
5.6 Davis與Putnam方法
第6章 歸結原理
6.1 命題演算中的歸結方法
6.2 置換與合一
6.3 謂詞演算中的歸結原理
6.4 歸結原理的完備性定理
6.5 求子句集S的簡化方法
第7章 歸結方法的簡化
7.1 引言
7.2 語義歸結
7.3 鎖歸結
7.4 線性歸結
第8章 多值邏輯演算理論
8.1 引言
8.2 正則蘊涵算子
8.3 MV代數
8.4 Lukasiewicz命題演算系統
8.5 R0代數
8.6 命題演算系統&*
第9章 計量邏輯學
9.1 二值命題邏輯系統L中的計量邏輯理論
9.2 多值Lukasiewicz命題邏輯系統Ln與Luk中的計量邏輯理論
9.3 多值R0-命題邏輯系統&n與&中的計量邏輯理論
9.4 關於Godel系統與乘積系統的評注
參考文獻
索引
《現代數學基礎叢書》出版書目

對於數學研究與培養青年數學人才而言，書籍與期刊起着特殊重要的作用。許多成就卓越的數學家在青年時代都曾鑽研或參考過一些優秀書籍，從中汲取營養，獲得教益。

20世紀70年代后期，我國的數學研究與數學書刊的出版由於文化大革命的浩劫已經破壞與中斷了十余年，而在這期間國際上數學研究卻在迅猛地發展着，1978年以后，我國青年學子重新獲得了學習、鑽研與深造的機會。當時他們的參考書籍大多還是50年代甚至更早期的著述。據此，科學出版社陸續推出了多套數學叢書，其中《純粹數學與應用數學專著叢書》與《現代數學基礎叢書》更為突出，前者出版約40卷，后者則逾80卷。它們質量甚高，影響頗大，對我國數學研究、交流與人才培養發揮了顯著效用。

《現代數學基礎叢書》的宗旨是面向大學數學專業的高年級學生、研究生以及青年學者，針對一些重要的數學領域與研究方向，作較系統的介紹。既注意該領域的基礎知識，又反映其新發展，力求深人淺出，簡明扼要，注重創新，

近年來，數學在各門科學、高新技術、經濟、管理等方面取得了更加廣泛與深入的應用，還形成了一些交叉學科。我們希望這套叢書的內容由基礎數學拓展到應用數學、計算數學以及數學交叉學科的各個領域。

這套叢書得到了許多數學家長期的大力支持，編輯人員也為其付出了艱辛的勞動，它獲得了廣大讀者的喜愛。我們誠摯地希望大家更加關心與支持它的發展，使它越辦越好，為我國數學研究與教育水平的進一步提高作出貢獻。