本书旨在介绍建立形式语言、形式语义和证明三位一体的数理逻辑系统所涉及核心思想、概念、组成部分和过程，建立数理逻辑与数学和计算机科学的紧密关系，揭示数理逻辑中符号化语言、解释、模型、模型扽的概念 以及递归、算法、分解组合、模块化、等价替换等处理结构复杂性处理的方法和技术形成计算思维的核心以及计算机科学和计算机软件与系统的天然基础。为此，第一章：导论，介绍了数理逻辑发张背景和过程；第二章：离散数学基础提供了必要的数学准备。本书选择了数理逻辑中最基本的内容， 包括第三章：朴素的命题逻辑、第四章：形式命题逻辑演算、第五章：朴素的谓词逻辑和第六章：一阶形式谓词演算，介绍非形式逻辑的形式化过程，形式逻辑系统的重要成分和意义。之后，第七章：数学系统，建立数理逻辑与数学的关系。最后，第八章：程序设计理论导论，介绍程序逻辑的核心基础，介绍计算机程序的语言的语法定义， 语义定义以及程序正确性的规约与证明的基本概念和思想。具体包括程序语言的操作语义、指称语义、和公理语义，将程序语言、程序设计和程序正确性证明建立在数理逻辑的语法、语义和证明的三要素基础上。

虽然数学基础和数学思维永远是重要，程序设计的基本知识也是有益处的，本书假设额外的数学和程序设计的只是，适合大学与计算机专业相关的本科生和研究生，以及数学专业和其他工程技术专业的学生作为教材或参考书；也适合从事计算机科学和计算机软件与系统研究和实践的专业人员阅读参考。