"数理逻辑以严格的数学方法研究逻辑推理，揭示人类思维的底层规律。作为计算机科学的“微积分”，

数理逻辑是程序设计语言、软件工程、人工智能等领域的理论基石之一。本书内容理论与应用并重：既涵

盖命题逻辑、一阶谓词逻辑等经典形式系统，系统阐述基本概念与核心理论；又聚焦软件/硬件验证的前

沿应用，深入介绍程序逻辑、模型检测技术的算法实现与工具环境。

本书适用于计算机类高年级本科生、研究生及工程技术人员。通过研读本书，读者可系统提升逻辑思

维与形式化建模能力，为从事软件工程及形式化方法研究奠定专业基础。

"