第一章 非形式的命題演算

理解命題、聯(lián)結(jié)詞、真值的概念，掌握范式的計算

第二章 形式的命題演算

了解形式系統(tǒng)L的概念及其完備

第三章 非形式的謂詞演算

理解謂詞、量詞、解釋的概念，并掌握一階語言

第四章 形式的謂詞演算

了解形式系統(tǒng)KL及其完備性，理解前束范式的概念

第五章 數(shù)學系統(tǒng)

理解一階系統(tǒng)、算術(shù)、模型的概念，了解形式集合論

第六章 哥德爾不完全性定理

理解遞歸函數(shù)和關(guān)系，了解哥德爾不完全性的證明

第七章 可計算性 不可解性 不可判定性

了解算法、可計算性的概念和形式系統(tǒng)的不可判定性