项目状态报告 - 山东建筑大学计算机科学与技术学院.ppt

第一篇　数理逻辑 第一章　命题逻辑 命题及其表示法 联结词 命题公式与翻译 真值表与等价公式 重言式与蕴含式 对偶与范式 推理理论 第二章　谓词逻辑 谓词的概念与表示 命题函数与量词 谓词公式与翻译 变元的约束 谓词演算的等价式与蕴含式 前束范式 谓词演算的推理理论 《离散数学》后续改革规划 开发基本知识题库 涵盖定义、定理和基本公式 标准化选择题，规模2000 通过Web向学生开放，随机抽题，选项次序随机 加强学生对基本知识的理解和记忆 《离散数学》后续改革规划 改革考核方式 机试加笔试 机试：基本知识随机抽题 + 算法编程实现 笔试：定理证明等理论考核 敬请指正！ 离散数学教学团队 * 项目是关于什么的? 定义此项目的目标 它是类似于过去的项目还是一项新工作? 定义此项目的范围 它是一个独立的项目，还是与其他项目相关? * 注意，此幻灯片对于每周状态会议不是必要的 * 如果需要更多详细信息或补充幻灯片，请准备附录的幻灯片。 如果演示文稿稍后分发，则附录也非常有用。 * 《离散数学》教学设计 计算机科学与技术学院 计科教研室 李晓峰 夏传良 徐晓静 计算机基础理论课程群 《离散数学》课程基本情况 计算机相关专业的基础理论课 主要研究离散对象的结构及相互关系，充分描述了计算机科学离散性的特点，对提高学生的抽象思维与逻辑推理能力有重要作用。 提高学生抽象思维和逻辑推理能力，为从事计算机的研究和应用提供坚实的理论基础 1999版 2004版 2006版 2010版 《离散数学》课程基本情况 自2000年开课 教学大纲： 《离散数学》课程基本情况 开课专业：计算机科学与技术、网络工程、软件工程 开课时间：第3学期 课时安排：48学时教学 + 8学时实验 前导课程：C/C++/Java语言、计算机引论 后继课程：数据结构、编译原理、操作系统 《离散数学》教材选择 左孝凌 等 编著 上海科技文献出版社 累积印数超过100万册 全国优秀图书二等奖 多数高校复试指定教材 《离散数学》参考书籍 《离散数学（第2版）》 屈碗玲 等 编著 清华大学出版社 2008 《离散数学教程》 耿素云 等 编著 北京大学出版社 2004 《离散数学》参考书籍 国外教材 《Discrete Mathematics DeMYSTiFieD》 Steven G. Krantz MC Graw Hill 2009 《离散数学》参考书籍 国外教材 《Discrete Mathematics Using a Computer》 John ODonnell Springer 2006 《离散数学》教学团队 历任任课教师7人 现在的教学团队 课程负责人：李晓峰 团队成员：夏传良、徐晓静 《离散数学》教学团队 课程负责人 李晓峰 教授、硕士研究生导师 山东大学 应用数学专业 博士 中科院计算所博士后 负责计算机科学与技术专业教学 《离散数学》教学团队 主讲教师 夏传良 副教授、硕士研究生导师 中科院数学与系统研究院 博士 中科院软件所博士后 负责软件工程专业教学 《离散数学》教学团队 主讲教师 徐晓静 副教授、硕士研究生导师 山东大学 数学院 博士 负责网络工程专业教学 《离散数学》教学内容 数理逻辑 集合论 代数系统 图论 计算机科学中的应用 《离散数学》教学内容 《离散数学》教学内容 第二篇　集合论 第三章　集合与关系 集合的概念和表示法 集合的运算 序偶与笛卡尔积 关系及其性质 复合关系和逆关系 关系的闭包运算 集合的划分和覆盖 等价关系与等价类 相容关系、序关系 第四章　函数 函数的概念 逆函数和复合函数 基数的概念 可数集与不可数集 基数的比较 《离散数学》教学内容 第三篇　代数系统 第五章　代数结构 代数系统的引入 运算及其性质 半群 群与子群 阿贝尔群和循环群 陪集与拉格朗日定理 同态与同构 环与域 第六章　格和布尔代数 格的概念 分配格 有补格 布尔代数 布尔表达式 《离散数学》教学内容 第四篇　图论 第七章　图论 图的基本概念 路与回路 图的矩阵表示 欧拉图与汉密尔顿图 平面图 对偶图与着色 树与生成树 根树及其应用 《离散数学》课件设计思路 主体：白底、黑字 字体：中文 黑体，外文 Arial 运用动画实现内容的逐步呈现 授课中利用画笔进行强调 《离散数学》授课设计 主要采用多媒体（PowerPoint投影）授课 利用无线鼠标实现台下授课 结合黑板、计算机演示 学生提问 课堂练习 《离散数学》作业、答疑和习题课 每小节布置书面作业 教材习题 + 自编习题 利用课程表超出授课时间 不占用授课课时 一般为16个学时 《离散数学》课外沟通 计算机学院课程中心 32/jkjpkc/index.html 课件、教学录像发