Ta上传的资源 (0)

本书系统地介绍了逻辑演算,模型论和证明与反驳等数理逻辑的基本内容。全书分为五章,选材时充分考虑了适应逻辑系统的特征和计算机科学的要求_第一章介绍了形式系统的定义,结构及基本概念。第二章介绍了命题逻辑形式系统和消解原理.第三章和第四章分别介绍了一阶逻辑形式系统和带等词的一阶逻辑形式系统,以及模型论的初