数理逻辑离散数学.ppt

离 散 数 学 电子教案 西北大学 信息科学与技术学院 绪 言 1． 计算机科学与离散数学 介绍离散数学在计算机科学发展中的作用与关系，明确离散数学是掌握与研究计算机科学的基础理论与工具。 2．离散数学的特征 ? 离散性 ? 能行性 3．离散数学的内容 离散数学的主要内容为： ? 数理逻辑 ? 集合论 ? 代数系统 ? 图论 第一篇 数理逻辑 数理逻辑是用数学方法研究形式逻辑演绎推理规则的科学，它是一门数学，是一门研究演绎推理规则的数学，在学习此部分时，主要要掌握如下几个要点： ① 思维的形式化 ② 指派法 ③ 公式推理 ④ 公理系统 ⑤ 范式 ⑥ 自动定理证明 本篇由命题逻辑、谓词逻辑、公理化理论及非经典逻辑等四部分组成，其中命题逻辑以命题为研究对象而谓词逻辑则以谓词为研究对象，而公理化理论则是数理逻辑中演绎推理的形式化思想的介绍，最后非经