本書旨在介紹建立形式語言、形式語義和證明三位一體的數(shù)理邏輯系統(tǒng)所涉及核心思想、概念、組成部分和過程，建立數(shù)理邏輯與數(shù)學(xué)和計算機科學(xué)的緊密關(guān)系，揭示數(shù)理邏輯中符號化語言、解釋、模型、模型扽的概念 以及遞歸、算法、分解組合、模塊化、等價替換等處理結(jié)構(gòu)復(fù)雜性處理的方法和技術(shù)形成計算思維的核心以及計算機科學(xué)和計算機軟件與系統(tǒng)的天然基礎(chǔ)。為此，第一章：導(dǎo)論，介紹了數(shù)理邏輯發(fā)張背景和過程；第二章：離散數(shù)學(xué)基礎(chǔ)提供了必要的數(shù)學(xué)準備。本書選擇了數(shù)理邏輯中最基本的內(nèi)容， 包括第三章：樸素的命題邏輯、第四章：形式命題邏輯演算、第五章：樸素的謂詞邏輯和第六章：一階形式謂詞演算，介紹非形式邏輯的形式化過程，形式邏輯系統(tǒng)的重要成分和意義。之后，第七章：數(shù)學(xué)系統(tǒng)，建立數(shù)理邏輯與數(shù)學(xué)的關(guān)系。最后，第八章：程序設(shè)計理論導(dǎo)論，介紹程序邏輯的核心基礎(chǔ)，介紹計算機程序的語言的語法定義， 語義定義以及程序正確性的規(guī)約與證明的基本概念和思想。具體包括程序語言的操作語義、指稱語義、和公理語義，將程序語言、程序設(shè)計和程序正確性證明建立在數(shù)理邏輯的語法、語義和證明的三要素基礎(chǔ)上。

雖然數(shù)學(xué)基礎(chǔ)和數(shù)學(xué)思維永遠是重要，程序設(shè)計的基本知識也是有益處的，本書假設(shè)額外的數(shù)學(xué)和程序設(shè)計的只是，適合大學(xué)與計算機專業(yè)相關(guān)的本科生和研究生，以及數(shù)學(xué)專業(yè)和其他工程技術(shù)專業(yè)的學(xué)生作為教材或參考書；也適合從事計算機科學(xué)和計算機軟件與系統(tǒng)研究和實踐的專業(yè)人員閱讀參考。