高等学校计算机专业教材：《离散数学》课程PPT课件_第二章 二元关系

• 离散数学和计算机科学的关系 – 离散数学的特点、与计算机科学的关系 • 基本知识 – 偏序集合、最小上界、完全偏序集合、函数序、函数的单调性和连续性 • 递归函数的定义式的求解 – 函数的不动点、递归函数定义、递归函数定义的解、不动点算子、最小不动点定理 • 编程语言递归函数的数学语义

高等学校计算机专业教材：《离散数学》课程PPT课件_第九章 树与平面图

高等学校计算机专业教材：《离散数学》课程PPT课件_第三章 集合的基数

高等学校计算机专业教材：《离散数学》课程PPT课件_第七章 格与布尔代数

高等学校计算机专业教材：《离散数学》课程PPT课件_第一章 集合的概念

第一节代数结构概述 第二节置换(1) 第二节置换(2) 第三节群 第四节子群

代数结构的主要研究对象是各种各样的代数系 统，即具有一些元运算的集合,本章介绍的群就 是具有一个二元运算的代数系统. 本章以群为例讨论代数结构，它的思想和方 法已经渗透到现代科学的许多分支、它的结果 已应用到计算机的不少方面，因此计算机科学 工作者应初步掌握其基本的理论和方法

布尔代数是计算机科学最重要的基础理论之 一,它在开关网络及数字电路的设计上有广 泛深入的应用. 布尔代数是计算机科学工作者必备的基础知 识，应掌握格与布尔代数的一般理论和方法， 除§3 Stone定理的证明细节可根据具体情 况删减外，其他内容应很好地掌握

第3章集合 3.1集合的概念及其表示 3.2集合间的关系 3.3集合的运算 3.4集合中元素的计数