【数理逻辑】.pdf
数理逻辑 俞瑞钊编著 c11/20/8/1900
1990年7月于求是园 前言 数理逻辑与计算机科学技术有着密不可分的关系,是计算 机科学理论的重要基础,对计算机科学与技术的发展起了很大 的作用。而今,计算机科学技术正蓬勃向前发展,数理逻辑在 本书是作者多年来为计算机专业本科生开设数理逻辑课的 基础上编撰而成的。在取材方面,既注意了数理逻辑本身的系 统性、严格性.同时又十分注意与计算机科学技术的结合,这 一方面体现在内容的选择上,另一方面又体现在讲法上,注重“数理逻辑”是以计算机及有关专业的教材为目标编写 的,主要讲解与计算机科学技术关系密切的谓词演算及递归 函数论。
2谓词公式的永真性与可满足性 3自由变元与约束变元 谓词公式的等值 谓词演算的自然推理系统 4 4D-P(DavisPutnam)方法 归结方法的可靠性与完备性 前束范式 证明的方法 调词演算 2导出规则 3可靠性与完备性 归结原理 1斯柯伦标准型 S2子句集的H全域 基本定理 一致化算法 归结方法 例子 应用 第七章Prolog语言简介 1Horn子句集归结 2Prolog语言 4 .5 .6 习题 第五章 1 习题 第六章 .1 .3 .5 .6 .7 