离散数学要求知识点

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

离散数学要求知识点:

第一章

1、幂集的计算;

2、二维笛卡尔积的计算。

第二章

1、关系的三种表示法;

2、关系的重要性质;

3、关系的三种闭包运算;

4、几种特殊关系的概念;

5、偏序关系的哈斯图,最元和极元的计算。

第三、四章(不要求)

第五章

1、代数系统的常见性质;

2、验证运算满足规律(如交换律,结合律),同态和同构只作了解。第六、七章

1、群的定义和性质;

2、特殊群的单位元;

3、置换的定义及其运算;

4、n元对称群S n的结论;

5、循环群的定义,常见循环群的生成元;

6、子群的阶与群的阶的关系,有限子群的判定;

7、环的定义;

8、特殊环的零元和单位元;

9、域的概念;常见的有限域。

(格与布尔代数不要求)

第八章

1、图的表示法:集合法,图法,矩阵表示法(重点),会求邻接矩阵;

2、完全图中结点n和边数m的关系;

3、基本通路和基本回路长度定理;

4、欧拉图和哈密顿图不要求。

!

第九章

1、树的定义;

2、树的性质;

3、外向树的定义;

4、二元树的定义及其应用:用二元树表示表达式;

5、生成树的定义;

6、生成树的边数与图的边数的关系;

7、求最小生成树。

第十章

1、…

2、命题的概念及判定;

3、五个联结词的真值表;

4、命题的符号化;

5、公式的分类;

6、简单的基本等式;

7、构造真值表,求成真赋值,成假赋值,判定公式的类型;求主范式;

8、命题推理。

十一章

1、个体、谓词和量词的概念;

2、命题的符号化;

3、约束变元和自由变元的判定;

4、有限个体域上量词的消去规则;

相关文档
最新文档