离散数学考试说明.docVIP

《离散数学》考试说明 内容指要 集合论 空集的性质，集合之间的并、交、差、补和对称差运算 数理逻辑 命题的概念； 5种基本的联结词（乛，∧，∨，→，?）的含义； 全称量词(x)，存在量词(x)的含义； 如何求给定命题公式的主析取、主合取范式及其成真的赋值； 如何使用P规则，T规则，CP规则对命题逻辑推理的证明； 关系 关系的概念； 关系的三种表示方法：集合，矩阵，关系图； 关系的五种性质： R是A上自反的(((x)(x∈A→x,x∈R) R是A上反自反的(((x)(x∈A→x,x?R) R是A上对称的(((x)((y)(((x∈A)∧(y∈A)∧(x,y∈R))→(y,x∈R)) R是A上反对称的(((x)((y)(((x∈A)∧(y∈A)∧(x,y∈R)∧(y,x∈R))→(x=y)) R是A上传递的(((x)((y)((z)(((x∈A)∧(y∈A)∧(z∈A)∧(x,y∈R)∧(y,z∈R))→(x,z∈R)) 等价关系的概念；偏序关系的概念，如何画哈斯图，如何确定最小元、最大元、极大元和极小元{x，{x}} C．A－{}＝A　　　　　　　　 　 D．A－B＝BA＝B＝ 2．下列语句中为命题的是（　　　） A．这朵花是谁的？ B．这朵花真美丽啊！ C．这朵花是你的吗？ D．这朵花是他的。 3．设论域D={a,b}，与公式等价的命题公式是（　　　） A．A（a）∧A（b