离散数学期末复习 下载本文

内容发布更新时间 : 2024/12/26 3:08:58星期一 下面是文章的全部内容请认真阅读。

18、公式??x(M(x)?F(x))的前束范式为:

19、公式?xF(x)???xG(x)的前束范式为:

20、公式?xF(x)???xG(x)的前束范式为 21、公式?xF(x)??y(G(x,y)??H(y))的前束范式为 22、公式?x(F(x,y)??y(G(x,y)?H(x,z)))的前束范式为 23、集合A=?,B={1,{a,b}},C={?,{?}},D={2,2,2,3};则幂集P(A)= ;P(B)= ;P(C)= ;P(D)= ; 24、设A={1,2,3}, B={a,b,c}

则 A?B= ;B?A = 。

25、设集合A={?}, 则P(A)?A= 。 26、设|A|=n, 则|A×A|= , A×A的子集有 个. 集合A上有 个不同的二元关系.

27、设A={1,2}, 则EA= ;IA= 。 28、集合A={2,3,4,5,6,10,12,24},R是A上的整除关系,则R的极大元是 ,极小元是 。 29、设A={1,2,3}上的关系 R={<1,1>,<1,2>,<1,3>,<3,3>} ,则关系R具备 性质。 30、设集合A={1,2,3},关系R={<1,2>, < 2,1>, <2,3>,<3,3>}, 则自反闭包r(R)= , 对称闭包s(R)= 。 31、已知图G有10条边, 4个3度顶点, 其余顶点的度数均小于等于2, 问G至少有 个顶点。

32、n阶无向完全图Kn,边数m= 。

33、n阶有向完全图Kn,边数m= 。

34、设无向图 G 有 10 条边, 3 度与 4 度顶点各 2 个, 其余顶点的度数均小于3, 则G 中至少有 个顶点,在最少顶点的情况下, 图G 的度数列 ,

??(G)= , ??(G)= .

35、设无向图中有6 条边, 3 度与 5 度顶点各一个, 其余的都是 2 度顶点, 则该图有 个顶点。 36、已知n阶连通平面图G有r个面,则G的边数m= 。

37、设A={1,2,3}上的关系 R={<1,2>,<2,3>,<3,1> } ,则R?R= 。

38、 设F(x):x是兔子,M(x):y是乌龟,H(x,y): x比y跑得快,则命题“兔子比乌龟跑得快”符号

为 三、计算题

1、给出公式A= (q?p) ?q?p的真值表。

2、 3、 4、 5、 6、

给出公式A= (q?p) ?q?p的真值表。

给出公式C= (p?q) ??r的真值表

用等值演算法判断公式 q??(p?q)的类型

求公式A=(p??q)??r的析取范式与合取范式。

求公式B=(p??q)?r的析取范式与合取范式。

7、

8、在一阶逻辑中将下面命题符号化 (1) 人都爱美;

(2) 有人用左手写字分别取(a) D为人类集合, (b) D为全总个体域 .

9、在一阶逻辑中将下面命题符号化(1) 正数都大于负数

求公式 A=(p??q)?r的主析取范式与主合取范式.

10、在一阶逻辑中将下面命题符号化(1) 有的无理数大于有的有理数

11、试画出4阶3条边的所有非同构的无向简单图

12、画出所有 K4的所有非同构的生成子图。

13、给定下面的图(前两个为无向图, 后两个为有向图)的集合表示, 画出它们的图形表示G1 = ?V1, E1?, 其

中, V1 = {v1, v2, v3, v4, v5}, E1 = {(v1, v2), (v2, v3), (v3, v4), (v3, v3), (v4, v5)};

G2 = ?V2, E2?, 其中 V2 = V1, E2 =

{(v1, v2), (v2, v3), (v3, v4), (v4, v5), (v5, v1)};