课程名称离散数学.docVIP

课程名称：离散数学II 课程编码：7065501 课程学分：4 课程学时：64学时 适用专业：计算机科学与技术 数字媒体艺术 《离散数学II》 Discrete Mathematics 教学大纲 一、课程性质与目的 离散数学是研究离散量关系及结构的数学分支，是计算机科学的理论基础，是计算机科学与工程专业的专业基础必修课程。其概念、理论及方法应用于计算机科学与技术的诸多领域，并大量出现在“数据结构”、“数据库系统”、“编译原理”、“算法设计与分析”、“计算机网络”等专业课程中。此外，离散数学所提供的训练十分有益于学生的逻辑推理、抽象概括及归纳构造能力的提高，十分有益于学生的严谨、完善、规范的科学态度的培养。而这些能力及态度的培养是每个计算机工作者所必备的。 通过本课程的学习，不仅要使学生掌握离散数学的基本概念、理论和方法，为后续专业课程准备必要的数学理论和工具，而且要使学生的抽象思维能力及逻辑推理能力得以提高，使学生养成严谨、规范的科学态度。 二、教学基本内容及基本要求　 命题逻辑 （一）基本要求 了解：离散数学的定义, 研究范围, 与计算机科学的关系。数理逻辑的形成， 数理逻辑在计算机中的应用。 熟悉：命题逻辑中的基本术语和名词。 掌握：命题的符号化表示,命题公式的真值表, 命题公式的等价，判断公式的类型(永真,永假,可满足), 命题公式的范式, 以