北京大学：《离散数学 Discrete Mathematics》课程教学计划

◼ 定义形式语言的术语 ◼ 给出文法的定义和文法的分类

哈尔滨理工大学：《离散数学 Discrete Mathematics》课程教学资源（PPT课件讲稿）23 根树及其应用

–平面图的基本概念 –欧拉公式 –平面图的判断 –平面图的对偶图 –顶点着色及点色数 –地图的着色与平面图的点着色 –边着色及边色数

哈尔滨理工大学：《离散数学 Discrete Mathematics》课程教学资源（PPT课件讲稿）19 图的矩阵表示

14.1 图 14.2 通路与回路 14.3 图的连通性 14.4 图的矩阵表示 14.5 图的运算

哈尔滨理工大学：《离散数学 Discrete Mathematics》课程教学资源（PPT课件讲稿）15 有补格

1．格的概念，偏序集上的并运算、 偏序集上的交运算。 2．分配格、有补格； 3．布尔代数、Stone表示定理及其推 论，布尔表达式、布尔函数、开关代数的 概念

11.1 半群与独异点 11.2 群的定义与性质 11.3 子群 11.4 陪集与拉格朗日定理 11.5 正规子群与商群 11.6 群的同态与同构 11.7 循环群与置换群

–集合的等势及其性质 –重要的等势或不等势的结果 –集合的优势及其性质 –自然数与自然数集合 –集合的基数 –可数集