耿素云屈婉玲

1、1,第十章树,主要内容无向树及其性质生成树根树及其应用,10,1无向树及其性质,定义10,1连通无回路的无向图称为无向树,简称树,每个连通分支都是树的无向图称为森林,平凡图称为平凡树,在无向树中,悬挂顶点称为树叶,度数大于或等于2的顶点称为。

2、1,主要内容推理的形式结构推理的正确与错误推理的形式结构判断推理正确的方法推理定律自然推理系统P形式系统的定义与分类自然推理系统P在P中构造证明,直接证明法,附加前提证明法,归谬法,第三章命题逻辑的推理理论,2,3,1推理的形式结构,定义3。

3、专业课复习指南一,专业课,先说离散数学,很多朋友看到东大初始考离散数学就心凉了一半,的确离散数学是计算机学科中一门极其重要又较为晦涩难懂的科目,但庆幸的是东大的离散数学还考的比较正常,题目也不算难,卷面分值为40分,仅次于数据结构,其重要性。

4、离散数学概述,离散数学,课程名称,离散数学离散数学结构,课程简介,离散数学,是现代数学的一个重要分支,计算机科学与技术一级学科的核心课程,是整个计算机学科的专业基础课,离散数学是以研究离散量的结构和相互间的关系为主要目标,其研究对象一般地是。

5、离散数学概述,离散数学,课程名称,离散数学离散数学结构,课程简介,离散数学,是现代数学的一个重要分支,计算机科学与技术一级学科的核心课程,是整个计算机学科的专业基础课,离散数学是以研究离散量的结构和相互间的关系为主要目标,其研究对象一般地是。

6、离散数学概述,离散数学,课程名称,离散数学离散数学结构,课程简介,离散数学,是现代数学的一个重要分支,计算机科学与技术一级学科的核心课程,是整个计算机学科的专业基础课,离散数学是以研究离散量的结构和相互间的关系为主要目标,其研究对象一般地是。

7、1,离散数学,2,主要内容,数理逻辑集合论图论组合分析初步代数系统简介形式语言和自动机初步,3,教材与教学参考书,教材,耿素云,屈婉玲,张立昂,离散数学,第五版,清华大学出版社,2013,教学参考书,屈婉玲,耿素云,张立昂,离散数学题解,第。

8、1,图论,2,图论部分,第5章图的基本概念第6章特殊的图第7章树,3,第5章图的基本概念,5,1无向图及有向图5,2通路,回路和图的连通性5,3图的矩阵表示5,4最短路径,关键路径和着色,4,5,1无向图及有向图,无向图与有向图顶点的度数握。

9、1,第八章函数,主要内容函数的定义与性质函数定义函数性质函数运算函数的逆函数的合成双射函数与集合的基数,2,8,1函数的定义与性质,主要内容函数定义与相关概念函数定义函数相等从A到B的函数f,ABBA函数的像与完全原像函数的性质单射,满射。

10、1,主要内容有序对与笛卡儿积二元关系的定义与表示法关系的运算关系的性质关系的闭包等价关系与划分偏序关系,第七章二元关系,2,7,1有序对与笛卡儿积,定义7,1由两个元素,和y,按照一定的顺序组成的二元组称为有序对,记作,有序对性质,1,有序。

11、1,代数系统简介,2,第9章代数系统简介,9,1二元运算及其性质9,2代数系统9,3几个典型的代数系统,3,9,1二元运算及其性质,二元运算及一元运算的定义二元运算的性质交换律,结合律,幂等律,消去律分配律,吸收律二元运算的特异元素单位元零。

12、1,10,4图灵机,图灵机的基本模型图灵机接受的语言递归可枚举语言用图灵机计算函数部分可计算函数与可计算函数,2,问题的提出,1900年D,Hilbert在巴黎第二届数学家大会上提出著名的23个问题,第10个问题,如何判定整系数多项式是否有。

13、主讲,祝清顺教授,DiscreteMathematics,离散数学,科学出版社,离散数学课程简介,一,现代数学的两大分类,现代数学可以分为两大类,一类是研究连续对象的,如分析,方程等,另一类是研究离散对象的离散数学,离散数学,Discret。

14、离散数学,高等教育出版社,第一部分数理逻辑第二部分集合论第三部分代数结构第四部分图论,第一章命题逻辑基本概念第二章命题逻辑等值演算第三章命题逻辑的推理理论第四章一阶逻辑基本概念第五章一阶逻辑等值演算与推理,第六章集合代数第七章二元关系第八章。

15、第三部分代数结构,第十章代数系统,第一节二元运算及其性质,第二节代数系统,第十章习题课,解,第十一章半群与群,第一节半群与独异点,第二节群的定义与性质,第三节子群,图1,第四节陪集与拉格朗日定理,第五节正规子群与商群,第六节群的同态与同构。

16、离散数学,教材及参考书,1,教材耿素云,屈婉玲,张立昂,离散数学,第三版,清华大学出版社,教材及参考书,2,参考书耿素云,离散数学,修订版,高等教育出版社屈婉玲,耿素云,张立昂,离散数学题解,修订版,清华大学出版社李盘林,李丽双,李洋,王春。

17、离散数学,高等教育出版社,第一部分数理逻辑第二部分集合论第三部分代数结构第四部分图论,第一章命题逻辑基本概念第二章命题逻辑等值演算第三章命题逻辑的推理理论第四章一阶逻辑基本概念第五章一阶逻辑等值演算与推理,第六章集合代数第七章二元关系第八章。

18、离散数学,高 等 教 育 出 版 社,第一部分 数理逻辑第二部分 集合论第三部分 代数结构第四部分 图论,第一章 命题逻辑基本概念第二章 命题逻辑等值演算 第三章 命题逻辑的推理理论第四章 一阶逻辑基本概念 第五章 一阶逻辑等值演算与推理,。