自考《离散数学 02324》考前 1 页纸・终极背诵版.docxVIP

自考《离散数学02324》考前1页纸?终极背诵版

考场前5分钟看这一页就够了

一、数理逻辑（必背）

A→B??A∨B前真后假为假，其余都真

重言式：全1；矛盾式：全0

主析取：极小项∨（成真赋值）主合取：极大项∧（成假赋值）

符号化：

所有A是B：?x(A(x)→B(x))

有的A是B：?x(A(x)∧B(x))

推理：P前提，T引用，CP证蕴含

二、集合与关系

|P(A)|=2?

关系性质：

自反：对角线全1

对称：有去必有回

传递：能间接就直接

等价关系：自反+对称+传递

偏序关系：自反+反对称+传递

闭包：

r(R)加环

s(R)加反向边

t(R)加所有可达边

三、函数

单射：不同x→不同y

满射：每个y都有x

双射：单射+满射?有逆函数

四、代数系统

群：封闭+结合+单位元+每个元素有逆元

阿贝尔群：群+交换律

五、图论树（必考计算）

握手定理：总度数=2m

无向树：连通无回路?m=n-1

欧拉图：连通+无奇度顶点

平面图欧拉公式：n-m+r=2

哈夫曼树：每次合并两个最小权值