math-chap0-0.离散数学_课程简介.ppt

庄伯金 bjzhuang@bupt.edu.cn 庄伯金 bjzhuang@bupt.edu.cn 庄伯金 bjzhuang@bupt.edu.cn * 离散数学 庄 伯 金 Bjzhuang@bupt.edu.cn 信息与通信工程学院 庄伯金 bjzhuang@bupt.edu.cn * 离散数学的概念 离散数学是现代数学的重要分支，是计算机专业课程中的核心基础课程之一。 研究目标 离散量的结构和相互之间的关系 研究对象 有限或可数个元素 如：自然数、整数、真假值、有限个结点等 特点 离散性 庄伯金 bjzhuang@bupt.edu.cn * 离散数学与计算机学科的关系 离散数学与数据结构、操作系统、编译原理、算法分析、逻辑设计、系统结构、容错技术、人工智能等有密切的联系。它是这些课程的先导和基础课程。 庄伯金 bjzhuang@bupt.edu.cn * 离散数学的主要内容 数理逻辑 集合论 代数系统 图论 组合数学 庄伯金 bjzhuang@bupt.edu.cn * 数理逻辑 数理逻辑又称符号逻辑、理论逻辑，主要研究演绎推理的形式结构和推理规律 试图利用一套符号系统（通用的科学语言）来表示逻辑中的各种概念和进行“大脑般”的逻辑推导 数理逻辑包括逻辑演绎、证明论、公理集合论、模型论和递归论 本课程主要涉及命题逻辑与（一阶）谓词逻辑 庄伯金 bjzhuang@bupt.edu.cn * 集合的基本概念已渗透到数学的各个领域，是数学这门学科的基石，公理化体系的根本。 本课程主要涉及集合的基本概念和基本运算，以及借助集合建立的函数的基本概念 集合论 庄伯金 bjzhuang@bupt.edu.cn * 代数结构 主要研究各种代数结构（群、环、域、格）的数学学科 一个代数结构包括集合、基本的运算关系和公理 代数结构是抽象代数的研究对象，它用代数的方法从不同的研究对象中概括出一般的数学模型并研究其规律、性质和结构。 本课程主要涉及代数系统的基本概念和各种特殊的代数结构 庄伯金 bjzhuang@bupt.edu.cn * 教材及参考书目 教材 《离散数学》（第四版） 清华大学出版社 耿素云 屈婉玲 张立昂 编著 参考资料 《离散数学结构(Discrete mathematical structures)》 Bernard Kolman, Robert C. Busby, Sharon Cutler Ross. 高等教育出版社 （影印版） 庄伯金 bjzhuang@bupt.edu.cn * 总评成绩基本比例 平时成绩（10-50％） 期末成绩（90-50%） 期末总评计算公式 Max(期末成绩*0.9＋平时成绩*0.1，平时成绩*所占比重＋期末成绩*所占比重) 考核方式 庄伯金 bjzhuang@bupt.edu.cn * 作业要求 单周交作业 独立完成，若有抄袭，总评成绩减5分/次 * * * * * * * 庄伯金 bjzhuang@bupt.edu.cn 庄伯金 bjzhuang@bupt.edu.cn * * * * * * *