引言 课程简介 离散数学是现代数学的一个重要分支,是计算 机科学中基础理论的核心课程,它研究的对象 是有限个或可数的离散量。充分描述了计算机 科学离散性的特征。 离散数学是传统的逻辑学、集合论、数论基础、 算法设计、组合分析、离散概率、关系理论、 图论与树、抽象代数、布尔代数、计算模型等 汇集起来的一门综合学科。离散数学的应用遍 及现代科学技术的诸多领域。 离散数学是随着计算机科学的发展而逐步建立 起来的一门新兴的工具性学科,形成于七十年 代
2/73 引言 •课程简介 –离散数学是现代数学的一个重要分支，是计算 机科学中基础理论的核心课程，它研究的对象 是有限个或可数的离散量。充分描述了计算机 科学离散性的特征。 –离散数学是传统的逻辑学、集合论、数论基础、 算法设计、组合分析、离散概率、关系理论、 图论与树、抽象代数、布尔代数、计算模型等 汇集起来的一门综合学科。离散数学的应用遍 及现代科学技术的诸多领域。 –离散数学是随着计算机科学的发展而逐步建立 起来的一门新兴的工具性学科，形成于七十年 代
引言 课程意义 离散数学是计算机科学的数学基础,其基本概念、 理论、方法大量地应用在数字电路、编译原理、数 据结构、操作系统、数据库系统、算法设计、人工 智能、计算机网络等专业课程中,是这些课程的基 础课程。 离散数学学习十分有益于概括抽象能力、逻辑思 维能力、归纳构造能力的提高,能够培养提高学生 的数学思维能力和对实际问题的求解能力。 教学内容 数理逻辑、集合论、代数结构、图论 3/73
3/73 引言 •课程意义 –离散数学是计算机科学的数学基础，其基本概念、 理论、方法大量地应用在数字电路、编译原理、数 据结构、操作系统、数据库系统、算法设计、人工 智能、计算机网络等专业课程中，是这些课程的基 础课程。 –离散数学学习十分有益于概括抽象能力、逻辑思 维能力、归纳构造能力的提高，能够培养提高学生 的数学思维能力和对实际问题的求解能力。 •教学内容 –数理逻辑、集合论、代数结构、图论
引言 教学内容 第一部分数理逻辑 第一章命题逻辑 第二章谓词逻辑 第二部分集合论 第三章集合代数 第四章二元关系 4/73
4/73 引言•教学内容 第一部分 数理逻辑 第一章 命题逻辑 第二章 谓词逻辑 第二部分 集合论 第三章 集合代数 第四章 二元关系
引言 教学内容 第二部分集合论 第五章函数 第六章集合的基数 第三部分代数结构 第七章代数系统 第八章群论
5/73 引言•教学内容 第二部分 集合论 第五章 函数 第六章 集合的基数 第三部分 代数结构 第七章 代数系统 第八章 群论
引言 教学内容 第三部分代数结构 第九章环与域 第十章格与布尔代数 6/73
6/73 引言 •教学内容 第三部分 代数结构 第九章 环与域 第十章 格与布尔代数