离散数学(本)复习题
离散数学本科期末复习题
1. 计算：2400 mod 319、2340 mod 11。
2. 设整数a 和b 不全为0，且a 和b 互素。
请证明：ab 和a+b 互素。
3. 设n!的标准素因数分解式是k k p p p εεεΛ2121请证明：∑∞=⎥⎥⎥⎦⎥⎢⎢⎢⎣⎢=1s s i p n i ε，i=1,2,…,k 4. 300！末尾0的个数是？。
5. 解同余方程组：x≡3(mod 8)，x≡11(mod 20)，x≡1(mod 15)。
6. 求p →(p ∧(q →p))的主析取范式和主合取范式。
（真值表法和等值演算法）7. 求谓词公式∀x ∀y(P(x,y)↔Q(x,y))→∃x ∀yR(x,y)的前束范式。
8. 证明下面的推理：“每个科研工作者都是努力工作的。
每个努力工作而又聪明的人都取得事业的成功。
某个人是科研工作者并且聪明。
所以，某人事业取得成功。
”9. 设R={(1,2),(1,4),(3,3),(4,1)}是集合A={1,2,3,4}上的关系。
（1） R 是自反的吗？是对称的吗？是传递的吗？（2） R 的自反对称闭包存在吗？（3） R 的自反传递闭包存在吗？（4） R 的对称传递闭包存在吗？（5） R 的自反对称传递闭包存在吗？（6） R 的反自反闭包存在吗？（7） R 的反对称闭包存在吗？10. 设A={x|x ∈N ，且x|54}，R={(x,y)|x,y ∈A ，且x|y }。
（1） 列出集合A 和R 中的元素；（2） 给出R 的矩阵表示；（3） 证明(A,R)是偏序集，画出哈斯图；（4） 指出(A,R)中的最大元、最小元、极大元、极小元。
11. 设X={(x,y) | x 和y 是不为零的实数}，E 是X 上的关系：(x 1,y 1)E(x 2,y 2)当且仅当1212y y x x =且x 1·x 2>0。
证明E 是X 上的等价关系，并给出[(x,y)]E 的几何解释。
12. 设R 是X 上自反、传递的关系，S=R∩R -1。
《离散数学》复习题及答案
页眉内容《离散数学》试题及答案一、选择或填空（数理逻辑部分）1、下列哪些公式为永真蕴含式？( )(1)⌝Q=>Q→P (2)⌝Q=>P→Q (3)P=>P→Q (4)⌝P∧(P∨Q)=>⌝P答：（1），（4）2、下列公式中哪些是永真式？( )(1)(┐P∧Q)→(Q→⌝R) (2)P→(Q→Q) (3)(P∧Q)→P (4)P→(P∨Q)答：（2），（3），（4）3、设有下列公式，请问哪几个是永真蕴涵式?( )(1)P=>P∧Q (2) P∧Q=>P (3) P∧Q=>P∨Q(4)P∧(P→Q)=>Q (5) ⌝(P→Q)=>P (6) ⌝P∧(P∨Q)=>⌝P答：（2），（3），（4），（5），（6）4、公式∀x((A(x)→B(y，x))∧∃z C(y，z))→D(x)中，自由变元是( )，约束变元是( )。
答：x,y, x,z5、判断下列语句是不是命题。
若是，给出命题的真值。
( )(1)北京是中华人民共和国的首都。
(2) 陕西师大是一座工厂。
(3) 你喜欢唱歌吗？ (4) 若7+8＞18，则三角形有4条边。
(5) 前进！ (6) 给我一杯水吧！答：（1）是，T （2）是，F （3）不是（4）是，T （5）不是（6）不是6、命题“存在一些人是大学生”的否定是( )，而命题“所有的人都是要死的”的否定是( )。
答：所有人都不是大学生，有些人不会死7、设P：我生病，Q：我去学校，则下列命题可符号化为( )。
(1) 只有在生病时，我才不去学校 (2) 若我生病，则我不去学校(3) 当且仅当我生病时，我才不去学校(4) 若我不生病，则我一定去学校答：（1）PP⌝P→⌝↔（4）QQ→⌝（2）QP⌝→（3）Q8、设个体域为整数集，则下列公式的意义是( )。
(1) ∀x∃y(x+y=0) (2) ∃y∀x(x+y=0)答：（1）对任一整数x存在整数 y满足x+y=0（2）存在整数y对任一整数x满足x+y=0 9、设全体域D是正整数集合，确定下列命题的真值：(1) ∀x∃y (xy=y) ( ) (2) ∃x∀y(x+y=y) ( )(3) ∃x∀y(x+y=x) ( ) (4) ∀x∃y(y=2x) ( )答：（1） F （2） F （3）F （4）T10、设谓词P(x)：x是奇数，Q(x)：x是偶数，谓词公式∃x(P(x)∨Q(x))在哪个个体域中为真?( )(1) 自然数(2) 实数 (3) 复数(4) (1)--(3)均成立答：（1）11、命题“2是偶数或-3是负数”的否定是（）。
离散数学复习题
离散数学（本）模拟试题一、填空题(共20分)1．设全集E＝{1，2，3，4，5}，A＝{1，5}，B＝{1，2，3，4}，C＝{2，5}，求(A∩B)∪～C＝，ρ(A)∩ρ(C)＝ .2．若关系R具有自反性，当且仅当在关系矩阵中，主对角线上元素；若关系只具有对称性，当且仅当关系矩阵是 .3．设P：2+2＝4，Q：3是奇数；将命题“2+2＝4，当且仅当3是奇数．”符号化，其真值为 .4．表达式中谓词的定义域是{a，b，c}，将其中的量词消除，写成与之等价的命题公式为 .二、单项选择题(选择一个正确答案的代号，填入括号中。
共14分)1．下面关于集合的表示中，正确的是( )．A．φ＝0 B．φ∈{φ}C．φ∈φ D．φ∈{a，b}2．设R1，R2是集合A＝{1，2，3，4}上的两个关系，其中R1＝{(1，1)，(2，2)，(2，3)，(4，4)}，R2＝{(1，1)，(2，2)，(2，3)，(3，2)，(4，4)}，则R2是R1的( )闭包．A．自反 B．反对称C．对称 D．以上都不是3．设半序集(A，≤)上关系只的哈斯图如下图所示，若A的子集B＝{2，3，4，5}，则元素6为B的( )．A．下界 B．上界C．最小上界 D. 最大下界4．设命题公式则G是( )．A．恒假的 B．恒真的C．可满足的 D．以上都不对6．对于公式，下面的改名中，正确的是( )。
三、计算题(共50分)1．化简下式：((A∪B∪C)∩(A∪B))一((A∪(B—C))∩A) (9分)2．试画出集合A＝{1，2，3，4，5，6}在半序关系“整除”下的哈斯图，并分别求出：(1)集合A的最大元、最小元、极大元和极小元；(2)集合B＝{2，3，6}的上界、下界、最小上界、最大下界．(11分)3．设公式G的真值表如下，试求出G的主析取范式和主合取范式． (12分) P Q R G0 0 0 10 0 1 00 1 0 10 1 1 11 0 0 01 0 1 11 1 0 01 1 1 04．设解释I为：(1)定义域D＝{-2，3，6}；(2)F(x)：x≤3G(x)：x＞5在解释I下求公式的真值． (8分)一、单项选择题（本大题共15小题，每小题1分，共15分）在每小题列出的四个备选项中只有一个是符合题目要求的，请将其代码填写在题后的括号内。
《离散数学》复习题专升本
《离散数学》复习题（专升本）一、填空题1、设（N ：自然数集，E + 正偶数） 则=⋃B A。
2、A ，B ，C 表示三个集合，文图中阴影部分的集合表达式为 。
3、设P ，Q 的真值为0，R ，S 的真值为1，则)()))(((S R P R Q P ⌝∨→⌝∧→∨⌝的真值= 。
4、公式P R S R P ⌝∨∧∨∧)()(的主合取范式为。
5、若解释I 的论域D 仅包含一个元素，则 )()(x xP x xP ∀→∃ 在I 下真值为 。
6、设A={1，2，3，4}，A 上关系图为则 R 2 = 。
7、设A={a ，b ，c ，d}，其上偏序关系R 的哈斯图为则 R= 。
A BC8、图的补图为。
9、设A={a，b，c，d} ，A上二元运算如下：* a b cda b c d a b c db c d ac d a bd a b c那么代数系统<A，*>的幺元是，有逆元的元素为，它们的逆元分别为。
10、下图所示的偏序集中，是格的为。
11、选择合适的论域和谓词表达集合A=“直角坐标系中，单位元（不包括单位圆周）的点集”则A= 。
12、集合A={Φ,{Φ}}的幂集P(A) = 。
13、设A={1，2，3，4}，A上二元关系R={<1，2>，<2，1>，<2，3>，<3，4>}画出R的关系图。
14、设A={<1,2>,<2 , 4 >,<3 , 3 >} , B={<1,3>,<2,4>,<4,2>},则B A ⋃= 。
B A ο= 。
15、设|A|=3，则A 上有 个二元关系。
16、A={1，2，3}上关系R= 时，R 既是对称的又是反对称的。
17、偏序集><≤R A ,的哈斯图为，则≤R = 。
18、设|X|=n ，|Y|=m 则（1）从X 到Y 有 个不同的函数。
本科离散数学复习题
离散数学复习题一、填空题。
1. 集合A={φ,1}，B={1,2}，则()()A B ρρ-=___{（φ，φ），（φ，1），（1，φ）}______.*A 与B 的笛卡尔积A ⨯B=____{（φ，1），（φ，2），（1,1），（1,2）}_____. 2. 设集合A={1,2,3}，B={a,b,c,d}，则A ⨯B 共有__12___个元素。
A 到B 的关系(包括空关系)共有__2^12___个，其中又有__4^3___个是A →B 的函数,有__4___ 个是A → B 的射, 有___4__ 个是A → B 的双射。
若#A=m,#B=n,A*B 有mn 个元素，A 到B 的关系共有2^mn 个，A 到B 的函数有n^m 个，有P （从上到下是m ，n ）个A 到B 的射，有n ！个A 到B 的双射。
（课本75页）3. 设A={ a 1, a 2, a 3, a 4, a 5, a 6, a 7, a 8}.则由B 15 表示的A 的子集是____{a5,a6,a7,a8}________.A 的一个子集{ a 2, a 4, a 5, }可表示为____B88________P8 B15=B00001111={a5,a6,a7,a8},{a2,a4,a5}=B01011000=B884. 若{1,2,4,7}Y A={1,2,4,7,8,10,11} 且 {1,2,4,7}I A={1,7},则A=_{1,7,8,10,11}____5. 集合A 上的两个关系 ρ1={(1,2),(1,3),(2,1)(2,2),(4,1)},ρ2={(1,3),(3,1)}，则ρ1I ρ2=__{(1,3)}__.ρ1Y ρ2.={(1,2),(1,3),(2,1),(2,2),(3,1),(4,1)}ρ1ρ2=_{(1,1),(2,3),(4,3)}_.ρ2ρ1=_{(3,2)}_.ρ1c =____________.*P436.集合A={1,2,3} 上的关系ρ={(1,1),(1,2),(1,3),(3,3)} 具有的性质是_传递性_.P52 自反性：apb对称性：任何apb必有bpa反对称：每个apb和bpa必有a=b传递性：每当apb和bpc必有apc7.集合A={1,2,3,4} 上具有自反性的关系有___15__个，具有对称性的关系有___44__个.N个元素集合上有2^(n*(n+1)/2)个关系是对称的、有2^n*3^(n(n+1)/2)个关系是反对称的、有3^(n(n-1)/2)个关系是非对称的、有2^n(n-1)个关系是反自反、有2^(n(n-1)/2)个关系是既不自反也不反自反、有2^(n^2)-2*2^(n(n-1))个关系是自反和对称的8.集合A={a,b,c,d}，则A共有__15___中不同的分划。
离散数学复习题
《离散数学》复习题一、单项选择题1.下列句子是原子命题的是（ A）A. 大熊猫产在我国；B. 2+x=5;C. 小王和小李是学生；D. 别讲话了！2. 设p：天下雨，q：我去新华书店，命题“除非天不下雨，我去新华书店”的符号化形式为（ D ）A．p→qＢ．q→pＣ．┐q→pＤ．┐p→q3. 以下命题不是重言式的有（A ）⌝P B. P∨⌝PA. P∧C. (P→Q)↔(⌝Q→⌝P)D. P→P∨Q4. 以下语句中不是命题的为（B）A．明天我要上门去谢你。
Ｂ．谢谢你给了我机会。
Ｃ．如果不说，我就不谢你。
Ｄ．除非你做了，我才谢你5．与⌝(∃x) M(x) 等价的是（D）A．(∀x) M(x)Ｂ．(∃x) ⌝M(x)Ｃ．(∀x) M(x)Ｄ．(∀x) ⌝M(x)6. 设P(x)为“x是大学生”，Q(x)为“x满30岁”。
命题“所有大学生都不满30岁”写成谓词公式为（ C ）A. ∀x(P(x)∧Q(x))B.∃ x(P(x)∧Q(x))C.∀x(P(x)→Q(x))D.∃ x(P(x)→Q(x))7.公式(∀x) (P(x)→(∀y)R(x, y))中，∀x的辖域为（B ）A．P(x)Ｂ．(P(x)→(∀y)R(x, y))Ｃ．P(x)和R(x, y)Ｄ．P(x)→(∀y)8．设S={a, b, c},则S的幂集的元素的个数有（C ）A．3Ｂ．6 Ｃ. 8Ｄ．99．以下等式中不正确的是：( A ) A．A∪(B×C)=(A∪B)×(A∪C)Ｂ．A×(B∪C)=(A×B)∪(A×C)Ｃ．（A∪B)×C=(A×C)∪(A×C)Ｄ(A×B)×C=A×(B×C)10．设A={1, 2, 3, 4}, A上的等价关系R={<1, 2>, <2, 1>, <3, 4>, <4, 3>}∪I A, 则对应于R的A 的划分是( D ) A．{{1},{2, 3}, {4}}Ｂ．{{1, 2},{3}, {4}}Ｃ．{{1},{2}, {3}, {4}}Ｄ．{{1,2}, {3, 4}}11．设函数f：{1，2}→{1}，则f是( B ) A．入射B．满射C．双射D．非入射非满射12．设Z－是负正整数集合，+，－，*，△是普通数的加法、减法和平方运算，则能构成代数系统是( B )A．< Z－, +> Ｂ．< Z－, －>Ｃ．< Z－, *>Ｄ< Z－, △>13．若他聪明，他用功，则“他虽聪明但不用功”，可符号化为（ B ）A. B.C.D.14. 若一个代数系统(A，*)满足运算封闭性及结合律，且有幺元，则它是( A ) A．独异点B．群C．格D．布尔代数15．设G为无限群，则( C ) A．G是交换群Ｂ．G是循环群Ｃ．G中每个元素都有逆元Ｄ．G中每个元素的阶都是无限的16．在有3个结点的图中，度数是奇数的结点的个数为( D ) A．1Ｂ．3Ｃ. 1或3Ｄ．0或217．在5阶图G中，若从结点v1到v4存在路，则从v1到v4的路中必存在路，其长度小于等于( D ) A．1Ｂ．2Ｃ. 3Ｄ．418．连通平面图G的面的次数之和为10，则其边数为( A ) A．5Ｂ．10Ｃ. 15Ｄ．2019. 在自然数集合上，下列哪种运算不是可交换的（ D ）A. B.C. D.20. 设简单图的最大结点度数为，图的结点数为,则与的关系为( B )A. B.C. D. 与没关系21．下列各项中错误的是（A）A．B．C．D．22．设，下列各式成立的是（C ）A．B．C．D．23．连通平面图G中，所有面的次数之和是（ C ）A．边数B．边数的一半C．边数的两倍D．边数的一倍24．无向图具有一条欧拉回路，那么图的所有结点的度数都是（B ）A．奇数B．偶数C．素数D．125. 下列集合哪个是最小联结词集（ D ）A. B.C. D.26. 设简单图的最大结点度数为，图的结点数为,则与的关系为（B）A. B.C. D. 与没关系27. 设集合A={1,2,3}，B={2,3,4,5}，C={2,4,8,16},D={1,2,3,4},设“|”是集合上的“整除”关系，则下列偏序集中能构成格的是（ C ）A. <A,|>;B. <B,|>;C. <C,|>;D. <D,|>;28．设上的二元关系,则关系具有的性质是哪一个（B）A. 自反性B. 对称性C. 传递性D. 反对称性29．判断下列各式中不是合式公式的是哪一个（ C）A. B.C. D.30. 代数系统(S, )中以下断言正确的是（ C ）A. 单位元与零元总是不相等；B. 可能有二个左单位元和一个右单位元；C. 单位元总有逆元；D. 若S' S，则(S', )是(S, )的子代数31. 指出下列语句中哪个是原子命题（ A）A. 苏州是中国的首都。
离散数学复习题及答案
总复习题（一）一．单选题1 (C)。
一连通的平面图，5个顶点3个面，则边数为（）。
、4 、5 、6 、72、 (A)。
如果一个简单图，则称为自补图，非同构的无向4阶自补图有（）个。
、1 、2 、3 、43、 (D)。
为无环有向图，为的关联矩阵，则（）。
、是的终点、与不关联、与关联、是的始点4、 (B)。
一连通的平面图，8个顶点4个面，则边数为。
、9 、10 、11 、125、 (D)。
如果一个简单图，则称为自补图，非同构的3阶有向完全图的子图中自补图有个。
、1 、2 、3 、46、21条边，3个4度顶点，其余顶点为3度的无向图共有个顶点。
、13 、12 、11 、107、 (D)。
有向图的通路包括。
、简单通路、初级通路、复杂通路、简单通路、初级通路和复杂通路8、 (D)。
一连通的平面图，9个顶点5个面，则边数为。
、9 、10 、11 、12A B C D G G ≅G A B C D E ,V D =[]m n ij m ⨯D 1m ij =A i v j e B i v j e C i v j e D i v j e A B C D G G ≅G A B C D A B C D A B C D A B C D9、21条边，3个4度顶点，其余顶点为3度的无向图共有个顶点。
、13 、12 、11 、1010、 (D)。
有向图的通路包括。
、简单通路、初级通路、复杂通路、简单通路、初级通路和复杂通路11、 (D)。
一连通的平面图，9个顶点5个面，则边数为。
、9 、10 、11 、1212、 (B)。
为有向图，为的邻接矩阵，则。
、邻接到的边的条数是５、接到的长度为４的通路数是５、长度为４的通路总数是５、长度为４的回路总数是５13、 (C)。
在无向完全图中有个结点，则该图的边数为（）。
A 、B 、C 、D 、14、 (C)。
任意平面图最多是（）色的。
A 、3B 、4C 、5D 、615、 (A)。
对与10个结点的完全图，对其着色时，需要的最少颜色数为（）。
离散数学复习题
离散数学复习题第⼀套题⼀、填空题1设集合A,B，其中A＝{1,2,3}, B= {1,2},则A - B＝____________________;ρ(A) - ρ(B)＝_________________ .答案：{3};{{3},{1,3},{2,3},{1,2,3}}.2. 设有限集合A, |A| = n,则|ρ(A×A)| = ____________.答案：22n.3. 已知命题公式G＝?(P→Q)∧R，则G的主析取范式是____________.答案：(P∧?Q∧R).4. 设A、B为两个集合, A= {1,2,4}, B = {3,4}, 则从A?B＝_____; A?B＝_____;A－B＝_____.答案：{4}；{1, 2, 3, 4}；{1, 2}.5. 设R是集合A上的等价关系，则R所具有的关系的三个特性是______, ________, ________.答案：⾃反性；对称性；传递性.6. 设集合A＝{1,2,3,4}, A上的关系R1 = {(1,4),(2,3),(3,2)}, R1 = {(2,1),(3,2),(4,3)},则R1?R2=________；R2?R1 =________；R12=___________.答案：{(1,3),(2,2),(3,1)};{(2,4),(3,3),(4,2)};{(2,2),(3,3)}.7. 设有限集A, B，|A| = m, |B| = n,则| |ρ(A?B)| = ___________.则R以集合形式(列举法)记为______________.答案：{(2, 2),(2, 4),(2, 6),(3, 3),(3, 6),(4, 4),(5, 5),(6, 6)}.9. 设G是具有8个顶点的树，则G中增加_________条边才能把G变成完全图。
答案：21.10. 设谓词的定义域为{a, b},将表达式?xR(x)→?xS(x)中量词消除，写成与之对应的命题公式是_____________.答案：(R(a)∧R(b))→(S(a)∨S(b)).11. 设集合A＝{1, 2, 3, 4}，A上的⼆元关系R＝{(1,1),(1,2),(2,3)},S＝{(1,3),(2,3),(3,2)}。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
离散数学（本）复习题
1.请给出公式G=（P→（Q→P））→（⌝P→（P→Q））的真值表。
2.设A={1，2，3，4，5，6}，其上一个划分为C={{1}，{2，4}，{3，5，6}}，请给出对应划分C的等价关系R C。
3.R，S是集合A上的两个关系。
试证明下列等式：
（1）(R•S)-1= S-1•R-1
（2）(R-1)-1= R
（3）(R∪S)-1= R-1∪S-1
（4）(R∩S)-1= R-1∩S-1
4.设R是集合A上的关系，令
R+={(x, y)|x∈A，y∈A，并且存在n>0，使得xR n y}，
则称R+是R的传递闭包，证明：R+是包含R的最小具有传递性的关系。
5.若非空集合上的非空关系R是反自反的，是对称的，试证明R不是传递的。
6.设A={1，2，3，4，5，6，7，8，9}，R为A上的整除关系，请给出部分序集（A，R）的Hasse图。
7.设G是含有3个不同原子的命题公式，当G是恒假公式的时候，G的主析取范式中有多少极小项，主合取范式中有多少极大项？
8.有人说：“等价关系中的反身性可以不要，因为反身性可以从对称性和传递性推出：由对称性，从a ≅ b可得b ≅ a，再由传递性得a ≅ a”。
你的意见呢？
9.若集合A上的关系R，S具有对称性，证明：R•S具有对称性的充要条件为R•S= S•R。
10.若R是等价关系，试证明R-1也是等价关系。
11.给P和Q指派真值1，给R和S指派真值0，求出下面命题的真值：
a) (P∧(Q∧R))∨⌝((P∨Q)∧(R∨S))
b) (⌝(P∧Q)∨⌝R)∨(((⌝P∧Q)∨⌝R)∧S)
c) (⌝(P∧Q)∨⌝R)∨((Q↔⌝P)→(R∨⌝S))
d) (P∨(Q→(R∧⌝P)))↔(Q∨⌝S)
12.试将下列公式化成等价的前束范式：
(1)∀x(P(x)→∃yQ(x，y))；
(2)∃x((⌝∃yP(x，y))→(∃zQ(z)→R(x)))；
(3)∀x∀y(∃zP(x，y，z)∧(∃uQ(x，u)→∃vQ(y，v)))。
13.设S={G1，…，G n}是命题公式集合。
试求出在不增加新原子的情况下从S出发演绎出的所有命题公式。
14.证明下面的等价式：
(1) (⌝P∧(⌝Q∧R))∨(Q∧R)∨(P∧R)=R
(2) P→(Q→P)=⌝P→(P→Q)
(3) P→(Q∨R)=(P→Q)∨(P→R)
(4) (P→Q)∧(R→Q)=(P∨R)→Q
15．找出下面公式的Skolem范式：
(1)⌝(∀xP(x)→∃y∀zQ(y，z))；
(2)∀x(⌝E(x，0)→(∃y(E(y，g(x))∧∀z(E(z，g(x))→E(y，z)))))。
16．G=(P，L)是有限图，设P(G)，L(G)的元数分别为m，n。
证明：n≤2
C，其中2m C表示
m
m中取2的组合数。
17．设G是有限图，M，A分别是G的关联矩阵和相邻矩阵，证明：MM’和A2的对角线上的元素是G中所有点的度。
18．设G为图（可能无限），无回路，但若任意外加一边于G后就形成一回路，试证G必为树。
19．试举出一个连通的(即漠视为图后是连通的)，但无根的有向图。
20．设G是有向图，其中含一有向路(e1，…，e n)，其中fin(e n)=init(e1)，证明：G不是有向树。
21．设(I，+)为整数加群，（5I，+）为I的子群，请给出mI的所有陪集。
22．证明：若一个图G的任意两点度数之和≥n-1，n=|P(G)|，则该图有Hamilton路。
23．给出一个具有5个点的边数最多的非Hamilton图。
24．给出代数格的定义。
25．设G为有向图，若G具有有向树定义中的1)和2)，并且没有有向回路。
问：若G有限，G是否是有向树？若G不是有限的，如何？
26．设 * 是集合S上的二元代数运算，且满足结合律，设x，y是S中任意元素，如果x * y = y * x，则x = y。
试证明 * 满足等幂律。
27．请给出一个布尔代数。
28．设R,S是A上的传递关系，证明或者反驳：
(1) R⋂S是传递关系；
(2) R⋃S是传递关系。
29．试用演绎法证明{P∨Q，Q→R，P→M，⌝M}共同蕴涵R∧(P∨Q)
30. 设H是G的子群。
N是G的正规子群。
命HN为H的元素乘N的元素所得的所有元素的集合。
求证HN是G的子群。
31．请求出3次对称群中每个元素的周期。
32．设H是群G的一个有限非空子集，求证只要H中任意两个元素的积仍在H内，则H是G 的子群。
33．求证循环群的子群仍是循环群。
34．求证若G的元数是一个质数，则G必是循环群。
35．设K和H都是群G的子群，试证明：若H·K是G的子群，则K·H = H·K。
36．什么是等价关系？
37．如果A上的一个等价关系为R，如何求出一个等价类？
38．给出命题公式P→Q的真值表。
39．Skolem范式中的母式有什么特点？
40．什么是Euler图？举一个例子
41．什么是主析取范式？举一个例子。
42．什么是谓词逻辑的解释？举一个例子。
43．什么是代数格？举一个例子。
44．半序子格与代数子格是什么关系？
45.什么是域？举一个有限域的例子。