數(shù)理邏輯引論與歸結(jié)原理

內(nèi)容概要

《數(shù)理邏輯引論與歸結(jié)原理》講述了與邏輯演算有密切關(guān)系的Boole代數(shù)理論；命題演算與一階謂詞演算理論；歸結(jié)原理理論以及多值邏輯演算理論等內(nèi)容。

書籍目錄

第一章 預(yù)備知識
1.1偏序集
1.2格
1.3Boole代數(shù)
第二章 命題演算
2.1命題及其符號化
2.2命題演算的語義理論
2.3命題演算的語構(gòu)理論
第三章 一階謂詞演算的語義理論
3.1一階語言
3.2解釋、邏輯有效公式
3.3邏輯等價(jià)
第四章 一階渭詞演算的語構(gòu)理論
4.1形式系統(tǒng)K&
4.2可證等價(jià)關(guān)系
4.3前束范式
4.4一階系統(tǒng)K&

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    數(shù)理邏輯引論與歸結(jié)原理 PDF格式下載

---