1、陈 瑜Email： * 1* 计算机学院什么是离散数学？n离散数学是研究各种 离散量的结构 及 离散量之间的关系 的一门学科。n是计算机科学中基础理论的核心课程。2离散数学的基础地位高等代数数学分析概率统计概率统计离散数学算法设计与分析算法与数据结构编译技术网络技术软件工程人工智能 基础数学的延伸 算法与数据结构的理论基础 概率统计、算法设计与分析的理论基础 其他专业课程的描述和建模工具3* 计算机学院离散数学的构成：数理逻辑集合论图论代数系统命题逻辑谓词逻辑集合关系图的基本概念几个特殊图代数系统的基本概念几个特殊代数系统离散数学函数图的连通性代数系统的同态与同构初等数论与组合论4* 计算机学
2、院学习离散数学的目的：1. 掌握离散数学知识，为后续课程（如数据结构、操作系统、编译原理、数字逻辑理论、算法分析、逻辑程序设计、系统结构、容错诊断、机器定理证明、人工智能等）的学习打下坚实的理论基础。2. 通过离散数学的学习，掌握证明问题的方法（特别是按定义证明），培养抽象思维的能力、慎密概括的能力和严密逻辑推理的能力。 5* 计算机学院 6/97学习离散数学的目的：1. 掌握离散数学知识，为后续课程（如数据结构、操作系统、编译原理、数字逻辑理论、算法分析、逻辑程序设计、系统结构、容错诊断、机器定理证明、人工智能等）的学习打下坚实的理论基础。2. 通过离散数学的学习， 掌握证明问题的方法（特别
3、是按定义证明）， 培养抽象思维的能力、慎密概括的能力和严密逻辑推理的能力 。 6* 计算机学院 7/97学习方法：n 对所学的课程内容先预习n 对所学的课程内容中的重点和难点认真进行复习n 认真做好习题n 多思考n 多看一些课外参考书7* 计算机学院 8/97参考资料n 1 离散数学（修订版） 耿素云、屈婉玲 高等教育出版社n 2 离散数学学习指导与习题解析 耿素云、 屈婉玲 高等教育出版社n 3 应用离散数学 ，方景龙 王毅刚 编著 人民邮电出版社（ 2005.8）n 4 离散数学 常见题型解析及模拟题 傅彦，西北工业大学出版社 （ 2004）n 5 离散数学及其应用 傅彦等，高教出版社（
4、2007.6） 8* 计算机学院 9/97 第一部分：数理逻辑9* 计算机学院 10/97 数理逻辑 （ Mathematical Logic）是研究演绎推理的一门学科； 它的主要研究内容是推理，特别着重它的主要研究内容是推理，特别着重于推理过程是否正确；于推理过程是否正确； 它不是研究某个特定的语句是否正确它不是研究某个特定的语句是否正确，而是着重于语句之间的关系。，而是着重于语句之间的关系。 它的主要研究方法是采用数学的方法它的主要研究方法是采用数学的方法来研究推理。来研究推理。 而所谓数学方法就是引进一套符号体而所谓数学方法就是引进一套符号体系的方法，所以数理逻辑又叫符号逻系的方法，所以数理逻辑又叫符号逻辑（辑（ Symbolic Logic）。）。数理逻辑：10
