离散数学考试的说明.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） B．A（a）→A（b） C．A（a）∨A（b） D．A（b）→A（a） 4．设集合S＝{1，2，3}，则S上不同的二元关系有(　) 　　A．8个　　 　B．16个　 　C．256个　　　　　　　 D．512个 5．设R为实数集，函数f：R→R，f(x)=2x，则f是（ ） A．满射函数 B．单射函数 C．双射函数 D．非单射非满射 6．下列各图是无向完全图的是（　　　） 7．结点数为奇数且所有结点的度数也为奇数的连通图必定是（ ） A．欧拉图B．密尔顿图C．非平面图D．不存在的 平面图(如下)的三个面的次数分别是A．11，3，4B．11，3，5C．12，3，6D．10，4，3下列整数集对于整除关系都构成偏序集，而能构成格的是（ ） A．{l，2，3，4，5}B．{1，2，3，6，12}C．{2，3，7}D．{l，2，3，7} q的成真赋值有________________个． 2．设个体域为D={-2,3,6},F(x):x3,G(x):x5.则在此解释下公式(x)(F(x)∧G(x))的真值为______. 3．设A＝{1，2，3，4，5，6}，B＝{x｜x＝n2＋1，n为自然数，x20}，则A∩B＝________________． 4．设A＝ 1，2，3，4 ，则划分B＝{{1，2，3}，{4}}对应的A上的等价关系R＝________________． 5．设R为A上的关系，则R的自反闭包r(R)= ，对称闭包s(R)= 。 6．若一条路中，所有边均不相同，则此路称作____________；若一条路中所有的结点均不相同，则称此路为____________。 7．一个______________且______________的无向图称为树。，则A，。中零元素是____，幺元是____。 9．设a,bG，a-1）-1= ，（ab）-1= (?P?Q)?(?Q∨P)的主析取范式，并求成真赋值。 2．设A={a，b，c}，R是A幂集上的包含关系。 画出偏序集的哈斯图；? 设B={{a},{c},{b,c}}，求B极大元、极小元、最大元、最小元。 3．用克鲁斯克尔算法求以下赋权图的最小生成树（画出其生成过程）。 四、证明题（共30分，每题10分） 1．构造下列推理的证明。 前提： ?(A∨B)??(P∨Q)，P，(B?A)∨?P A 结论：A 2．已知R和S是非空集合A上的等价关系，试证： R∩S是A上的等价关系； 对。 3．设G,*是一个群.C={a︱a∈G,对任意的x∈G有a*x=x*a},证明C,*是G,*的一个子群. 《离散数学》期末考试样卷 试题答案及评分参考 一、选择题（共30分，每题2分） 1 2 3 4 5 C D C D B 6 7 8 9 10 C D A C B 二、填空题（共20分，每题2分） 1．2 2．假（0，F） 3．{1，2，5} 4．{1,2,1,3,2,1,2,3,3,1,3,2,1,1,2,2,3,3,4,4} 5．, 6．简单通路，基本通路 7．连通，不含回路 8．1，0 9．A, b-1*a-1 10．有补，分配 三、应用题（共30分，每题10分