离散数学-更多文档分类.ppt

《离散数学》教案 课程编号 课程学分：4 课程学时：64 讲授：叶红 课程性质 离散数学（又称计算机数学）是现代数学的重要分支，是计算机专业核心基础课程之一。 课程目标 离散数学是以研究离散量的结构和相互之间的关系为主要目标，其研究对象一般为：有限或可数个元素（例如：自然数、整数、真假值、有限个结点等），而离散性也是计算机科学的显著特点。 与其他课程的关系 离散数学与计算机科学的其他课程,如：数据结构、操作系统、编译原理、算法分析、逻辑设计、系统结构、容错技术、人工智能等有密切的联系。它是这些课程的先导和基础课程。 教材与参考书 [离散数学] 上海科学技术文献出版社，1982 左孝凌等编著 [Discrete Mathematical Structures（Fourth Edition）] Higher Education Press，2001 Bernard Kolman，Robert C.Busby，Sharon Cutler Ross 课程内容 本课程根据大纲的内容和相关独立性， 可分为四大部分 第一部分 数理逻辑 包括命题逻辑;谓词逻辑 第二部分 集合论 包括集合与关系;函数 课程内容 第三部分