电子科技大学离散数学课程组国家精品课程

离散数学的构成
数理逻辑
命题逻辑 谓词逻辑 集合 关系 数 的 的 数系 的 数系 的 数系
离 散
集合论
数 学
论
数系
构
电子科技大学离散数学课程组——国家精品课程 电子科技大学离散数学课程组——国家精品课程 ——
学习离散数学的目的
掌握离散数学知识，为后续课程（如数据结构、 掌握离散数学知识，为后续课程（如数据结构、 操作系统、编译理论、数字逻辑理论、 操作系统、编译理论、数字逻辑理论、密码学 基础、逻辑程序设计、人工智能等）的学习打 基础、逻辑程序设计、人工智能等）的学习打 下坚实的理论基础； 下坚实的理论基础； 通过离散数学知识的学习，掌握证明问题的方 通过离散数学知识的学习，掌握证明问题的方 培养抽象思维的能力、慎密概括的能力 抽象思维的能力 的能力和 法，培养抽象思维的能力、慎密概括的能力和 严密逻辑推理的能力 的能力。 严密逻辑推理的能力。
参考书： 参考书：
离散数学.左孝凌,李为鉴,刘永才, 离散数学.左孝凌,李为鉴,刘永才,上海科学技术出版社 离散数学.李盘林, 离散数学.李盘林,高等教育出版社 Mathematics》 《Discrete Mathematics》, Richard Johnsonbaugh
2012-3-24 20127-6
离散数学的研究对象
离 散 数 学 是 研 究 各 种 各 样 的 离 散 量 的 结 构 及 离 散 量 之 间 的 关 系 的 一 门 学 科 ， 是 计 算 机 科 学 中 基 础 理 论 的 核 心 课 程 。
2012-3-24 2012-
7-2
电子科技大学离散数学课程组——国家精品课程 电子科技大学离散数学课程组——国家精品课程 ——
电子科技大学离散数学课程组——国家精品课程 电子科技大学离散数学课程组——国家精品课程 ——
离散数学
电子科技大学
计算机科学与工程学院 示 范 性 软 件 学 院
2012年 2012年3月24日星期六 24日星期六
电子科技大学离散数学课程组——国家精品课程 电子科技大学离散数学课程组——国家精品课程 ——
2012-3-24 20127-5
电子科技大学离散数学课程组——国家精品课程 电子科技大学离散数学课程组——国家精品课程 ——
教材与参考书
教材： 教材：
离散数学及其应用. 傅彦,顾小丰,王庆先,刘启和. 离散数学及其应用 . 傅彦 , 顾小丰 , 王庆先 , 刘启和 . 高等教育出版社，2007. 高等教育出版社，2007.7 离散数学实验及习题解析. 傅彦,王丽杰,顾小丰,尚 离散数学实验及习题解析. 傅彦,王丽杰,顾小丰, 明生.高等教育出版社,2007.11 明生.高等教育出版社,2007.
2012-3-24 20127-7
电子科技大学离散数学课程组——国家精品课程 电子科技大学离散数学课程组——国家精品课程 ——
教学要求
上课纪律要求： 不能迟到， 旷课、 早退， 上课纪律要求 ： 不能迟到 ， 旷课 、 早退 ， 按学 生手册要求；不能讲与上课内容无关的话。 生手册要求；不能讲与上课内容无关的话。 学生作业要求： 独立地完成作业， 学生作业要求 ： 独立地完成作业 ， 按时保质保 量交作业。 量交作业。 上课学习要求： 积极思考问题， 踊跃发言， 上课学习要求 ： 积极思考问题 ， 踊跃发言 ， 配 合教师完成课堂内容。 合教师完成课堂内容。 学生实验要求： 独立完成实验内容， 学生实验要求 ： 独立完成实验内容 ， 实验考试 现场堂上考试。 现场堂上考试。 课程考试要求：闭卷考试。 课程考试要求：闭卷考试。
2012-3-24 2012-
7-4
Βιβλιοθήκη Baidu
电子科技大学离散数学课程组——国家精品课程 电子科技大学离散数学课程组——国家精品课程 ——
教学安排
课堂讲授88 学时 其中授课 72学 授课72 实验16 学时） 16学时 课堂讲授 88学时 ( 其中 授课 72 学 时 ， 实验 16 学时 ） 88 学时( 预备知识6学时，数理逻辑20 20学时 预备知识6学时，数理逻辑20学时 二元关系12学时，图论12 12学时 12学时 二元关系12学时，图论12学时 代数系统20学时，复习2 20学时 代数系统20学时，复习2学时 实验16 16学时 实验16学时 作业28次 收作业： 作业28次（收作业：5—6次） 28 课堂测验3 课堂测验3次（包括期中考试） 包括期中考试） 期末考试（平时作业占10％＋半期考试（含课堂 期末考试（ 平时作业占10％ 半期考试（ 10 测试）10％ 实验成绩10 10％ 期末考试70 70％ 测试）10％＋实验成绩10％＋期末考试70％）