离 散 数 学 Discrete Mathematics

1. 离 散 数 学 Discrete Mathematics 天津师范大学计算机与信息工程学院 张桂芸 二00八年二月

2. 一、课程简介 离散数学是现代数学的一个重要分支，是计算机科学的核心课程。以研究离散量的结构和相互间的关系为主要目标，其研究对象是有限个或无限个元素。离散数学与计算机科学中的数据结构、操作系统、数据库、网络、编译理论、算法分析、逻辑设计、系统结构、容错诊断、机器定理证明等课程紧密相关。是一门重要的基础课程。

3. 教学内容： 数理逻辑、集合论、代数系统、图论和计算机中的应用共五部分。 第一篇 数理逻辑 第六章 格和布尔代数 第一章命题逻辑 第四篇 图 论 第二章谓词逻辑 第七章图论 第二篇 集合论 第三章 集合与关系 第五篇 应用 第四章 函数 第八章 形式语言与自动机 第三篇 代数系统 第九章 纠错码初步 第五章代数结构

4. 教学要求： 通过该课程的学习，培养和锻炼抽象思维和缜密概括的能力，为专业基础课和专业课的学习打下坚实的理论基础。 总学时： 4学时/周  18周 = 72学时

5. 三、教材及主要参考资源教材：左孝凌等编著，离散数学，上海科学技术出版社，1982年9月第1版。 参考书: (pagedown)

6. [1]王元元、张桂芸，离散数学导论，科学出版社，2002[1]王元元、张桂芸，离散数学导论，科学出版社，2002 [2]Kenneth H.Rosen Discrete Mathematics and Its Applications ( Fourth Edition), 机械工业出版社(华章)，2001 [3]王元元、张桂芸，计算机科学中的离散结构，机械工业出版社，2004 [4] Bernard Kolman , Robert C. Busby, Sharon Ross, Discrete Mathematical Structures (sixth Edition), 2007 [5]美Kenneth H.Rosen 著，袁崇义、屈婉玲、王捍贫、刘田 译，离散数学及其应用，机械工业出版社，2007.6 [6]Bernard Kolman , Robert C. Busby, Sharon Ross, Discrete Mathematical Structures ( Third Edition), 清华大学出版社，1997 [7]颜可庆、尤枫，离散数学，机械工业出版社，2003 [8] 孙吉贵 杨凤杰 欧阳丹彤 李占山，离散数学， 高等教育出版社，2002 [9]马振华，离散数学导引 ，清华大学出版社，1993 [10] 邵学才 叶秀明 ，离散数学，电子工业出版社，2001

7. [11] 朱洪 胡美琛 张蔼珠 赵一鸣，离散数学教程，上海科技文献出版社，1996 [12] 吴顺唐，离散数学，华东师范大学出版社，1997 [13] 左孝凌、李为鑑、刘永才，离散数学，上海科学技术文献出版社，1982 [14] 王树禾，离散数学引论，中国科技大学出版社，2001 [15] 徐洁磐、惠永涛，离散数学及其在计算机中的应用，人民邮电出版社，1985 [16] 王肇荣、李全灿，离散数学初步，机械工业出版社，1987 [17] 美C.L.Liu 著，刘振宏 译，离散数学基础，人民邮电出版社，1982 [18] 陈莉 刘晓霞 编著，离散数学， 高等教育出版社，2002 [19] （英）Andrew Simpson著，冯速 译 离散数学导学 机械工业出版社，2005 [20] 陈国勋 刘书芳 周文俊 编著 离散数学 机械工业出版社，2005 [21] 黄国兴 张桂芸等，计算机数学， 高等教育出版社，2004

9. 《离散数学》国家精品课