第一章 命题逻(1.1-1.2).pptVIP

离散数学 李瑞红 软件学院 课程性质 离散数学（又称计算机数学）是理工各专业的专业必修课，是数学中涉及面非常广泛的一门学科。它不仅是计算机科学中重要的基础理论之一，是学习后续计算机专业课程不可缺少的数学工具，也是培养学生抽象思维能力和逻辑推理能力的核心课程。 课程目标 离散数学是以研究离散量的结构和相互之间的关系为主要目标，其研究对象一般为：有限或可数个元素（例如：自然数、整数、真假值、有限个结点等），而离散性也是计算机科学的显著特点。 与其他课程的关系 离散数学与计算机科学的其他课程，如：数据结构、操作系统、编译原理、算法分析、人工智能等有密切关系。它是这些课程的先导和基础课程。 教材与参考书 离散数学 上海科学技术文献出版社，1982，左孝凌等编著 离散数学 高等教育出版社，2008 屈婉玲等编著 课程内容 本课程根据大纲的内容和相关独立性可分为四大部分： 第一部分 数理逻辑 包括命题逻辑；谓词逻辑 第二部分 集合论 包括集合与关系；函数 第三部分 代数系统 包括代数结构；格与布尔代数 第四部分 图论 学习方法 本课程有两个特点： （1）[定义]、定理多 本课程内容=[定义]+定理+例题 （2）课外作业比较多