离散数学·期末重点汇总

离散数学I

一、数理逻辑部分

1、命题的概念，5个联结词、真值表、联结词完全集

2、符号化（命题符号化和谓词符号化）, 注意区分命题逻辑中条件式的前件后件，谓词逻辑中的量词，辖域，全称量词与→、存在量词与⋀的联合使用。命题逻辑·一阶谓词逻辑

3、等值演算基本等值式、等值演算、公式类型的判断、求命题逻辑表达式的主析/合取范式、求谓词逻辑表达式的前束范式（注意改变量词的情况）命题逻辑·一阶谓词逻辑

4、推理

构造推理证明的格式（ 包含符号化），推理的前提和结论，重要的推理规则，直接证法，归谬法，附加证明法

（1）命题逻辑推理

（2）谓词逻辑推理

二、集合论部分

1、集合：基本概念、集合运算，Î、Í、幂集、卡氏积、集合运算的基本算律；容斥原理

2、二元关系：定义，A上的二元关系的个数，满足特定性质的二元关系的个数；关系的性质；关系的表示，关系的运算（合成，逆，限制，像，域，闭包等），有限集合上二元关系幂运算的指数规律,幂指数的化简

3、二元关系的闭包：能用三种不同表示求关系闭包（自反闭包，对称闭包，传递闭包）

4、等价关系：定义，重要例子，证明方法，性质，商集，划分，加细

5、偏序关系：定义，写法，证明方法，哈斯图，求8种特殊元素；全序关系、良序关系（有最小元）的定义，偏序与格的关系，拓扑排序的实现

6、函数：函数的定义，全函数的写法，偏函数，函数的性质（单射，满射，双射），反函数的充分必要条件，函数合成的定义，象，原象

7、基数：基数的比较，代表性集合的基数，ℵ，ℵ 0

8、计数问题：幂集元素个数（2^n），容斥原理，从A到B的（或集合A上的）的二元关系个数(2^|A|*|B|)，从A到B的满足特定性质的二元关系的个数，从A到B的全函数计数（|B|^|A|），满足单射、满射、双射的全函数计数(|B|)，

三、代数结构部分

1、代数结构、载体、运算的定义，单位元、零元、幂等元、重要的运算算律

2、子代数、积代数的载体，运算，自己举例子学习

3、商代数    同余关系，商代数的运算等，由V1到V2的同态映射导出V1上的同余关系R，商代数V1/R的载体 A/R，商代数的运算。

4、半群、独异点的定义

5、群的定义（表示，二元运算，一元运算，零元运算），判断、性质，群的阶，元素的阶，

6、子群的判定，商群（G中子群H的陪集，H在G中的指数，商群的运算表），能写出子群，陪集，商群的例子，思考如何找出一个群的子群？

7、循环群：求生成元、子群，循环群的子群格

8、拉格朗日定理，可得H的阶，G的阶，元素的阶的关系

9、代数系统的同态同构（证明，同态象），群的同态同构（证明，同态象的定义和性质，同态核，单位元，逆元）

10、环、域、格、布尔代数的定义，布尔代数的表示定理

格，偏序集，子群格

参考习题

数理逻辑部分（红皮书）

（红皮书）第1章  1,6,7,8，14，17,19, 20, 24

（红皮书）第2章：1, 3，4(1)(2), 5，6, 7(1),12, 30

（红皮书）第3章：12, 14，15，16,18

（红皮书）第4章：2，5，8，9

（红皮书）第5章：1, 8, 9, 12, 15, 19，20，22, 23, 24，25s

集合论与代数结构部分

习题一：3, 6, 10, 16, 20, 23, 24

习题二：9, 11, 13, 14, 15, 17,18,19, 22, 23, 29, 31, 35, 37, 39, 41, 42, 44, 45, 46, 47, 50

习题三：12, 15, 19

习题五：3,11

习题十五：1,4，11, 14, 15, 16, 20, 24, 29，30

Ch16—— 7, 10, 11

习题十七：2 , 14, 16,19, 28, 32, 47, 49, 51

习题十八：4, 7

习题十九：1, 10