【数理逻辑】莫绍揆徐永森沈百英.pdf

【数理逻辑】莫绍揆徐永森沈百英.pdf

数理逻辑(计算机类专业适用)莫绍徐永森沈百英序言 计算机及计算机科学与数理逻辑有着十分密切的关系,人们 说数字电子计算机是数理逻辑与电子学结合的产物,这话不假,无 论是作为数字电子计算机维型的图灵机器,还是作为设计数字电 子计算机的数学工具的布尔代数,都离不开数理逻辑,人们还说 数理逻辑是计算机科学的理论基础,这话在理,无论是作为计算 机科学的核心的算法,还是作为,无论是程序 设计方法学,还是计算复杂性理论,都涉及到数理逻辑的知识和 理论,因此人们公认数理逻辑是计算机科学系的重要基础课程,数理逻辑包括的内容很多,除了最基础的逻辑演算外,还包括 证明论、递归论、模型论和公理集合论,证明论主要研究数学理论 系统的相容性目录 命题演算 1命题与真值联结词 范式和应用 命题演算永真公式的公理系统 若干重要的导出规则 假设推理过程和推理定理 假设推理过程和推理定理(续)替换定理.关于命题演算公理系统的讨论 谓词演算 个体与谓词 自由变元与约束变元 永真性与可满足性.狭义谓词演算永真公式的公理系统 推理定理.关于谓词演算公理系统的讨论 2函数和募状词 2约束谓词演算和应用谓词演算 2.