"本书阐述数学证明的基本原理，主要包括证明方法和证明理论，是探讨证明方法和证明理论内在联系和本质特征的数学专著。 “证明方法”集成了常见或具有重要影响并具有逻辑独立性和形式化特征的数学证明方法，分别给出了这些方法的表示公式、例题、相关的定理以及当前的研究前沿状况。 “证明理论”阐述了自希尔伯特倡导建立证明论以来该学科的主要理论，介绍了这些理论的发展脉络

证明方法与理论

本书介绍计算模型理论，包括计算的对象、本质、定义、分类、表达、逻辑和机械实现方法，以及计算模型的典型应用。 全书共分为6章。第1章介绍计算的对象和本质，将离散变量作为图灵计算（离散变量计算）的对象，将其逻辑确定性和机械能行可计算性作为图灵计算的本质；第2章介绍可计算函数——递归函数；第3章介绍计算机的数学原理；第4章介绍语言的计算；第5章介绍判定问题的可计算性；第6章介绍