1、1 离散数学 第 一部分 -命题逻辑2课程性质离散数学 （又称 计算机数学 ）是现代数学的重要分支，是计算机专业核心基础课程之一。3课程目标离散数学 是以研究离散量的 结构 和相互之间的 关系 为主要目标，其研究对象一般为： 有限或可数个 元素（例如：自然数、整数、真假值、有限个结点等），而 离散性 也是计算机科学的显著特点。4与其他课程的关系离散数学 与计算机科学的其他课程 ,如：数据结构、操作系统、编译原理、算法分析、逻辑设计、系统结构、容错技术、人工智能等有密切的联系。它是这些课程的 先导和基础 课程。5n 离散数学 q 高等教育出版社 ,2008n 屈婉玲 著n Discrete Ma
2、thematics and Its Applications 6th Edition q Kenneth H Rosen教材与参考书6课程内容本课程根据大纲的内容和相关独立性， 可分为 四大部分第一部分 数理逻辑 包括命题逻辑 ;谓词逻辑第二部分 集合论 包括集合与关系 ;函数7课程内容第三部分 代数系统 包括代数结构 ;格 与 布尔代数第四部分 图论 8学习方法课程特点：定义、定理多 本课内容 定义 定理 习题为了学好这门课，要求：（）弄懂定义、定理，弄懂例题，加深对定义、定理的理解；（）在复习基础上，做好课外作业。同学之间可以讨论，但要弄懂弄通。（ 3）做好课堂笔记。（ 4）结合专业实践，做到融会贯通。9学习建议平时考勤 20%平时作业 20%期末考试 60%考核方式课前预习 +课上笔记 +课下习题 +经典文献阅读10第一篇 数理逻辑n数理逻辑是用 数学语言 表述的 推理形式有效性的学问。n命题逻辑、谓词逻辑n 数理逻辑使用特制 的表意符号， 亦称为 符号逻辑 。n 逻辑研究对象 逻辑真值q 真，表示为 T或 1q 假，表示为 F或 0n 正确的推理形式q 正确前提q 正确的推理形式q 必然得出正确的结论
