数理逻辑是以公理系统和数学证明为研究对象的数学分支，对信息科学与技术的发展具有指导作用。本书共分十章，系统介绍数理逻辑的基本原理与形式演算。前五章涵盖了经典数理逻辑的核心内容，包括一阶语言的语法与模型，形式推理系统，可计算性与可表示性，哥德尔定理。后五章的内容是作者的研究心得。这部分阐述了形式理论的版本序列及其极限，修正演算系统，过程模式及其性质，以及归纳推理理论，提出了三个语言环境的思想以及元语言环境的基本原理，并描述了信息社会中科学研究的工作流程。
本书前五章可作为大学本科生的数理逻辑教材，而后五章可向有关专业的研究生讲授，本书也可供数学、信息与技术和其他自然科学专业的本科生、研究生和有关科研人员参考。

《信息科学与技术基础丛书》序
序
符号对照表
第1章 一阶语言的语法
1.1 一阶语言的符号
1.2 项
1.3 逻辑公式
1.4 自由变元与替换
1.5 公式的哥德尔项
1.6 结构归纳证明
第2章 一阶语言的模型
2.1 论域与解释
2.2 赋值与模型
2.3 项的语义
2.4 逻辑连接词符号的语义
2.5 公式的语义
2.6 可满足性和永真性
...... 更多