1、离散数学 讲义 (01)福州大学计算机系 程红举 博士教材及参考书籍n 教材： 离散数学（国家十五规划教材），耿素云，屈婉玲，高教出版社， 2004.n 参考书： 1离散数学教程，耿素云，屈婉玲，王捍贫，北京大学出版社， 2002. 2 离散数学及其应用（译著），袁崇义，屈婉玲，王捍贫，刘田译，机械工业出版社， 2002. 3 离散数学习题解，张立昂，北京大学出版社，1990. 教学进度安排n 第 1-15周，每周 6学时，共 80学时n 数理逻辑 24n 集合论 16 n 代数论 12n 图论 28n 第 9、 12、 13、 18章不讲成绩评定n 书面作业占 30%，随机选择 3次作业n
2、期末考试占 70%n 考试方法：闭卷n 考试内容：课后习题不少于 40%，但不一定位于书面作业中。作业n 时间：课前交上次作业n 讲解：每次作业都有课上讲解n 要求：正确、完全、简洁、清楚Correct， Complete， Concise， Clearn 提示：独立完成作业，可以讨论，但要杜绝抄袭引言n 课程简介数学发展的三个阶段离散数学的特点离散数学与计算机科学教学目标数学发展的三个阶段离散数学的特点研究对象 -离散个体及其结构研究思想 -以集合和映射为工具、体现公理化和结构的思想研究内容 -包含不同的数学分支，模块化结构数理逻辑：推理、形式化方法集合论：离散结构的表示、描述工具代数结构：离散结构的代数模型图论：离散结构的关系模型组合数学：离散结构的存在性、计数、枚举、优化、设计离散概率（概率统计课程）离散数学与计算机科学的关系n 数理逻辑： 人工智能、程序正确性证明、程序验证等n 集合论： 关系数据库模型n 图论： 数据结构、数据库模型、网络模型等n 代数结构： 软件规范、形式语义、编译系统、 编码理论、密码学、数据仓库n 组合数学： 算法分析与设计、编码理论、容错 离散数学的知识结构
