【VIP专享】2015年10月自考离散数学(02324)试题及答案解析

【VIP专享】2015年10月自考离散数学(02324)试题及答案解析
【VIP专享】2015年10月自考离散数学(02324)试题及答案解析

离散数学复习要点

离散数学复习要点第一章命题逻辑 一、典型考查点 1、命题的判断方法:陈述句真值唯一,特殊:反问句也是命题。其它疑问句、祈使句、感叹句、悖论等皆不是。详见教材P1 2、联结词运算定律┐∧∨→记住特殊的:1∧1?1,0∨0?0,1→0?0,11?1,00?1详见P5 3、命题符号化步骤:A划分原子命题,找准联结词。特殊自然语言:不但而且,虽然但是用∧,只有P才Q,应为Q→P;除非P否则Q,应为┐P→Q。B设出原子命题写出符号化公式。详见P5 4、公式的分类判定(重言式、矛盾式、可满足式)方法:其一根据所有真值赋值情况,其二根据等价演算来判断。详见P9 5、真值表的构造步骤:①命题变元按字典序排列,共有2n个真值赋值。②对每个指派,以二进制数从小到大或从大到小顺序列出。③若公式较复杂,可先列出各子公式的真值(若有括号,则应从里层向外层展开),最后列出所求公式的真值。详见P8。 6、基本概念:置换规则,P规则,T规则,详见P24;合取范式,析取范式,详见P15;小项详见P16;大项详见P18,最小联结词组详见P15 7、等价式详见P22表1.6.2 证明方法:①真值表完全相同②用等价演算③利用A?B的充要条件是A?B且B?A。主要等价式:(1)双否定:??A?A。(2)交换律:A∧B?B∧A,A∨B?B∨A,A?B?B?A。3)结合律:(A∧B)∧C?A ∧(B∧C),(A∨B)∨C?A∨(B∨C),(A?B)?C?A?(B?C)。(4) 分配律:A∧(B∨C)?(A∧B)∨(A∧C),A∨(B∧C)?(A∨B)∧(A∨C)。(5) 德·摩根律:?(A∧B)??A∨?B,?(A∨B)??A∧?B。(6) 等幂律:A∧A?A,A∨A?A。(7) 同一律:A∧T?A,A∨F?A。(8) 零律:A∧F?F,A∨T?T。(9) 吸收律:A∧(A∨B)?A,A∨(A∧B)?A。(10) 互补律:A∧?A?F,(矛盾律),A∨?A?T。(排中律)(11) 条件式转化律:A→B??A∨B,A→B??B→?A。(12) 双条件式转化律:A?B?(A→B)∧(B→A)?(A∧B)∨(?A∧?B) 8、蕴含式详见P23表1.6.3 证明方法:①前件真导后件真方法②后件假导前件假方法③真值表中,前件为真的行,后件也为真或者后件为假的行,前件也为假。④用定义,证A?B,即证A→B是永真式。 9、范式求法步骤:①使用命题定律,消去公式中除∧、∨和?以外公式中出现的所有联结词;②使用?(?P)?P和德·摩根律,将公式中出现的联结词?都移到命题变元之前;③利用结合律、分配律等将公式化成析取范式或合取范式。10、主范式的求法重点步骤:(a)把给定公式化成析取(合取)范式;(b)删除析取范式中所有为永假的简单合取(析取)式;(c)用等幂律化简简单合取(析取)式中同一命题变元的重复出现为一次出现,如P∧P?P。(d)用同一律补进简单合取(析取)式中未出现的所有命题变元,如Q,则P?P∧(?Q∨Q)或P?P∨(?Q∧Q),并用分配律展开之,将相同的简单合取式的多次出现化为一次出现,这样得到了给定公式的主析取(合取)范式。 注意:主析取范式与主合取范式之间的联系。例如:(P→Q)∧Q?m1∨m3?M0∧M2,即剩下的编码就是另一个主范式的编码,因此,求主范式,哪一个简单易求,就先求哪个,然后对应出所求结果。详见P16 11、推理证明:重点方法:演算、演绎法(常用的格式)、反证法、CP规则即附加前提等。 重点规则(主要蕴含式):(1) P∧Q?P化简(2) P∧Q?Q化简(3) P?P∨Q附加(4) ?P?P→Q变形附加(5)Q?P→Q变形附加(6) ?(P→Q)?P变形化简(7) ?(P→Q)??Q变形化简(8) P,(P→Q)?Q假言推理(9) ?Q,(P→Q)??P拒取式(10) ?P,(P∨Q)?Q析取三段论(11) (P→Q),(Q→R)?P→R条件三段论(12) (P?Q),(Q?R)?P?R 双条件三段论 文字证明推理三步:一命题符号化,二写出前提和结论,三进行证明。详见P21 二、强化练习 1.命题的是( )A.走,看电影去B.x+y>0C.空集是任意集合的真子集D.你明天能来吗? 2.下列式子为重言式的是( ) A.P→P∨Q B.(┐P∧Q)∧(P∨┐Q) C.┐ (P Q) D.(P∨Q) (P→Q) 3.下列为两个命题变元P,Q的小项是() A.P∧Q∧? P B.? P∨Q C.? P∧Q D.? P∨P∨Q 4.下列语句中是真命题的是() A.我正在说谎B.严禁吸烟C.如果1+2=3,那么雪是黑的D.如果1+2=5,那雪是黑的 5.设P:我们划船,Q:我们跑步。命题“我们不能既划船又跑步”符号化为() A.? P∧? Q B.? P∨? Q C.?(P?Q) D.?(? P∨? Q) 6.命题公式(P∧(P→Q))→Q是()A.矛盾式B.蕴含式C.重言式D.等价式 7.命题公式?(P∧Q)→R的成真指派是() A.000,001,110,B.001,011,101,110,111 C.全体指派D.无

(完整版)离散数学试卷及答案

离散数学试题(A卷答案) 一、(10分)求(P↓Q)→(P∧?(Q∨?R))的主析取范式 解:(P↓Q)→(P∧?(Q∨?R))??(?( P∨Q))∨(P∧?Q∧R)) ?(P∨Q)∨(P∧?Q∧R)) ?(P∨Q∨P)∧(P∨Q∨?Q)∧(P∨Q∨R) ?(P∨Q)∧(P∨Q∨R) ?(P∨Q∨(R∧?R))∧(P∨Q∨R) ?(P∨Q∨R)∧(P∨Q∨?R)∧(P∨Q∨R) ? M∧1M ? m∨3m∨4m∨5m∨6m∨7m 2 二、(10分)在某次研讨会的休息时间,3名与会者根据王教授的口音分别作出下述判断: 甲说:王教授不是苏州人,是上海人。 乙说:王教授不是上海人,是苏州人。 丙说:王教授既不是上海人,也不是杭州人。 王教授听后说:你们3人中有一个全说对了,有一人全说错了,还有一个人对错各一半。试判断王教授是哪里人? 解设设P:王教授是苏州人;Q:王教授是上海人;R:王教授是杭州人。则根据题意应有: 甲:?P∧Q 乙:?Q∧P 丙:?Q∧?R 王教授只可能是其中一个城市的人或者3个城市都不是。所以,丙至少说对了一半。因此,可得甲或乙必有一人全错了。又因为,若甲全错了,则有?Q ∧P,因此,乙全对。同理,乙全错则甲全对。所以丙必是一对一错。故王教授的话符号化为:

((?P ∧Q )∧((Q ∧?R )∨(?Q ∧R )))∨((?Q ∧P )∧(?Q ∧R )) ?(?P ∧Q ∧Q ∧?R )∨(?P ∧Q ∧?Q ∧R )∨(?Q ∧P ∧?Q ∧R ) ?(?P ∧Q ∧?R )∨(P ∧?Q ∧R ) ??P ∧Q ∧?R ?T 因此,王教授是上海人。 三、(10分)证明tsr (R )是包含R 的且具有自反性、对称性和传递性的最小关系。 证明 设R 是非空集合A 上的二元关系,则由定理4.19知,tsr (R )是包含R 的且具有自反性、对称性和传递性的关系。 若'R 是包含R 的且具有自反性、对称性和传递性的任意关系,则由闭包的定义知r (R )?'R 。由定理4.15和由定理4.16得sr (R )?s ('R )='R ,进而有tsr (R )?t ('R )='R 。 综上可知,tsr (R )是包含R 的且具有自反性、对称性和传递性的最小关系。 四、(15分)集合A ={a ,b ,c ,d ,e }上的二元关系R 为R ={}, (1)写出R 的关系矩阵。 (2)判断R 是不是偏序关系,为什么? 解 (1) R 的关系矩阵为: ??? ??? ? ? ? ?=100001100010100 10110 11111 )(R M (2)由关系矩阵可知,对角线上所有元素全为1,故R 是自反的;ij r +ji r ≤1,故R 是反对称的;可计算对应的关系矩阵为:

02324离散数学201504

2015年4月高等教育自学考试全国统一命题考试 离散数学试卷 (课程代码 02324) 本试卷共4页,满分l00分,考试时间l50分钟。 考生答题注意事项: 1.本卷所有试题必须在答题卡上作答。答在试卷上无效,试卷空白处和背面均可作草稿纸。2.第一部分为选择题。必须对应试卷上的题号使用2B铅笔将“答题卡”的相应代码涂黑。3.第二部分为非选择题。必须注明大、小题号,使用0.5毫米黑色字迹签字笔作答。4.合理安排答题空间,超出答题区域无效。 第一部分选择题 一、单项选择题(本大题共l5小题,每小题l分,共15分) 在每小题列出的四个备选项中只有一个是符合题目要求的,请将其选出并将“答题卡”的相应代码涂黑。未涂、错涂或多涂均无分。 1.设有一个连通平面图G,共有6个面,13条边,则G的顶点个数为 A.6 B.7 C.8 D. 9 2.下列谓词公式中与公式等价的是 3.设p:天下雨;q:我走路上班。命题“只有不下雨,我才走路上班”可符号化为 4.设R1,R2都是从集合A到B的二元关系,则下列各式成立的是 5. 设简单无向图G有16条边,有3个4度顶点,有4个2度顶点,其余顶点的度数均大于 3,则G中的顶点个数至多为 A.9个 B.10个 C.11个 D.12个 6.设α,β是集合A上的等价关系,则下列关系不一定是等价关系的是 7.下列语句为假命题的是 A. 如果3是偶数,那么1/3就是有理数 B.只要3是偶数,1/3就是有理数 C. 除非1/3是有理数,否则3不是偶数 D. 只有3是偶数,1/3才是有理数

9.有界格如9图所示,择元素 d的补元素是 A.a B.b C.c D.1 10.给定A:{1,2,3,4},考虑A上的关系R,若R=︱(1,3),(1,4),(2,3),(2,4),(3,4) ︱,则R是 A.自反的 B. 对称的 C. 传递的 D.反自反的 11.设集合A有3个元素,则A上的等价关系的个数为 A.3个 B.4个 C.5个 D.6个 12.是一个偏序集,其中A={2,3,6,12,24,36},≤为A上的整除关系,则覆盖元素6的元素是 A.6 B.12 C.24 D.36 13.谓词公式中,量词的辖域是 14.连通图G是一棵树的充要条件是 A. 有些边不是割边 B.每条边都是割边 C.无边割集 D.每条边都不是割边 15.在自然数集N上,下列满足结合律的运算是 第二部分非选择题 二、填空题(本大题共l0小题,每小题2分,共20分) 请在答题卡上作答。 16.设A = {1,2,3},B = {3,4,5},则B一A =________,B A =________。

离散数学试题与答案

试卷二试题与参考答案 一、填空 1、 P:您努力,Q:您失败。 2、 “除非您努力,否则您将失败”符号化为 ; “虽然您努力了,但还就是失败了”符号化为 。 2、论域D={1,2},指定谓词P P (1,1) P (1,2) P (2,1) P (2,2) T T F F 则公式x ??真值为 。 3设A={2,3,4,5,6}上的二元关系}|,{是质数x y x y x R ∨<><=,则 R= (列举法)。 R 的关系矩阵M R = 。 4、设A={1,2,3},则A 上既不就是对称的又不就是反对称的关系 R= ;A 上既就是对称的又就是反对称的关系R= 。 5、设代数系统,其中A={a,b,c}, 则幺元就是 ;就是否有幂等 性 ;就是否有对称性 。 6、4阶群必就是 群或 群。 7、下面偏序格就是分配格的就是 。 8、n 个结点的无向完全图K n 的边数为 ,欧拉图的充要条件就是 。 * a b c a b c a b c b b c c c b

二、选择 1、在下述公式中就是重言式为( ) A.)()(Q P Q P ∨→∧; B.))()(()(P Q Q P Q P →∧→??; C.Q Q P ∧→?)(; D.)(Q P P ∨→。 2、命题公式 )()(P Q Q P ∨?→→? 中极小项的个数为( ),成真赋值的个数为 ( )。 A.0; B.1; C.2; D.3 。 3、设}}2,1{},1{,{Φ=S ,则 S 2 有( )个元素。 A.3; B.6; C.7; D.8 。 4、设} 3 ,2 ,1 {=S ,定义S S ?上的等价关系 },,,, | ,,,{c b d a S S d c S S b a d c b a R +=+?>∈∈<><><<=则由 R 产 生的S S ?上一个划分共有( )个分块。 A.4; B.5; C.6; D.9 。 5、设} 3 ,2 ,1 {=S ,S 上关系R 的关系图为 则R 具有( )性质。 A.自反性、对称性、传递性; B.反自反性、反对称性; C.反自反性、反对称性、传递性; D.自反性 。 6、设 ο,+ 为普通加法与乘法,则( )>+<ο,,S 就是域。 A.},,3|{Q b a b a x x S ∈+== B.},,2|{Z b a n x x S ∈== C.},12|{Z n n x x S ∈+== D.}0|{≥∧∈=x Z x x S = N 。 7、下面偏序集( )能构成格。

自考离散数学试题及答案

一、单项选择题(本大题共15小题,每小题1分,共15分) 在每小题列出的四个备选项中只有一个是符合题目要求的,请将其代码填写在题后的括号内。错选、多选或未选均无分。 1.下列句子不是.. 命题的是( D ) A .中华人民共和国的首都是北京 B .张三是学生 C .雪是黑色的 D .太好了! 2.下列式子不是.. 谓词合式公式的是( B ) A .(?x )P (x )→R (y ) B .(?x ) ┐P (x )?(?x )(P (x )→Q (x )) C .(?x )(?y )(P (x )∧Q (y ))→(?x )R (x ) D .(?x )(P (x ,y )→Q (x ,z ))∨(?z )R (x ,z ) 3.下列式子为重言式的是( ) A .(┐P ∧R )→Q B .P ∨Q ∧R →┐R C .P ∨(P ∧Q ) D .(┐P ∨Q )?(P →Q ) 4.在指定的解释下,下列公式为真的是( ) A .(?x )(P (x )∨Q (x )),P (x ):x =1,Q (x ):x =2,论域:{1,2} B .(?x )(P (x )∧Q (x )),P (x ):x =1,Q (x ):x =2,论域: {1,2} C .(?x )(P (x ) →Q (x )),P (x ):x >2,Q (x ):x =0,论域:{3,4} D .(?x )(P (x )→Q (x )),P (x ):x >2,Q (x ):x =0,论域:{3,4} 5.对于公式(?x ) (?y )(P (x )∧Q (y ))→(?x )R (x ,y ),下列说法正确的是( ) A .y 是自由变元 B .y 是约束变元 C .(?x )的辖域是R(x , y ) D .(?x )的辖域是(?y )(P (x )∧Q (y ))→(?x )R (x ,y ) 6.设论域为{1,2},与公式(?x )A (x )等价的是( ) A .A (1)∨A (2) B .A (1)→A (2) C .A (1)∧A (2) D .A (2)→A (1) 7.设Z +是正整数集,R 是实数集,f :Z +→R , f (n )=log 2n ,则f ( ) A .仅是入射 B .仅是满射 C .是双射 D .不是函数 8.下列关系矩阵所对应的关系具有反对称性的是( ) A .???? ??????001110101 B .??????????101110001 C .??????????001100100 D .???? ??????001010101 9.设R 1和R 2是集合A 上的相容关系,下列关于复合关系R 1?R 2的说法正确的是( ) A .一定是等价关系 B .一定是相容关系

离散数学知识点整理

离散数学 一、逻辑和证明 1.1命题逻辑 命题:是一个可以判断真假的陈述句。 联接词:∧、∨、→、?、?。记住“p仅当q”意思是“如果p,则q”,即p→。记住“q除非p”意思是“?p→q”。会考察条件语句翻译成汉语。 系统规范说明的一致性是指系统没有可能会导致矛盾的需求,即若pq无论取何值都无法让复合语句为真,则该系统规范说明是不一致的。 1.3命题等价式 逻辑等价:在所有可能情况下都有相同的真值的两个复合命题,可以用真值表或者构造新的逻辑等价式。

谓词+量词变成一个更详细的命题,量词要说明论域,否则没有意义,如果有约束条件就直接放在量词后面,如?x>0P(x)。 当论域中的元素可以一一列举,那么?xP(x)就等价于P(x1)∧P(x2)...∧P(xn)。同理,?xP(x)就等价于P(x1)∨P(x2)...∨P(xn)。 两个语句是逻辑等价的,如果不论他们谓词是什么,也不论他们的论域是什么,他们总有相同的真值,如?x(P(x)∧Q(x))和(?xP(x))∧(?xQ(x))。 量词表达式的否定:??xP(x) ??x?P(x),??xP(x) ??x?P(x)。 1.5量词嵌套 我们采用循环的思考方法。量词顺序的不同会影响结果。语句到嵌套量词语句的翻译,注意论域。嵌套量词的否定就是连续使用德摩根定律,将否定词移入所有量词里。 1.6推理规则 一个论证是有效的,如果它的所有前提为真且蕴含着结论为真。但有效论证

二、集合、函数、序列、与矩阵 2.1集合 ∈说的是元素与集合的关系,?说的是集合与集合的关系。常见数集有N={0,1,2,3...},Z整数集,Z+正整数集,Q有理数集,R实数集,R+正实数集,C复数集。 A和B相等当仅当?x(x∈A?x∈B);A是B的子集当仅当?x(x∈A→x∈B);A是B的真子集当仅当?x(x∈A→x∈B)∧?x(x?A∧x∈B)。 幂集:集合元素的所有可能组合,肯定有?何它自身。如?的幂集就是{?},而{?}的幂集是{?,{?}}。 考虑A→B的函数关系,定义域、陪域(实值函数、整数值函数)、值域、像集(定义域的一个子集在值域的元素集合)。 一对一或者单射:B可能有多余的元素,但不重复指向。 映上或者满射:B中没有多余的元素,但可能重复指向。 一一对应或者双射:符合上述两种情况的函数关系。 反函数:如果是一一对应的就有反函数,否则没有。 合成函数:fοg(a)=f(g(a)),一般来说交换律不成立。 2.4序列 无限集分为:一组是和自然数集合有相同基数,另一组是没有相同基数。前者是可数的,后者不可数。想要证明一个无限集是可数的只要证明它与自然数之间有一一对应的关系。 如果A和B是可数的,则A∪B也是可数的。

离散数学期末试题及答案完整版

离散数学期末试题及答 案 HEN system office room 【HEN16H-HENS2AHENS8Q8-HENH1688】

326《离散数学》期末考试题(B ) 一、填空题(每小题3分,共15分) 1.设,,},,{{b a b a A =?},则-A ? = ( ),-A {?} = ( ), )(A P 中的元素个数=|)(|A P ( ). 2.设集合A 中有3个元素,则A 上的二元关系有( )个,其中有( )个是A 到A 的函数. 3.谓词公式))()(())()((y P y Q y x Q x P x ?∧?∧→?中量词x ?的辖域为( ), 量词y ?的辖域为( ). 4.设}24,12,8,6,4,3,2,1{24=D ,对于其上的整除关系“|”,元素( )不存在补元. 5.当n ( )时,n 阶完全无向图n K 是平面图,当当n 为( )时,n K 是欧拉图. 二.1. 若n B m A ==||,||,则=?||B A ( ),A 到B 的2元关系共有( )个,A 上的2元关系共有( )个. 2. 设A = {1, 2, 3}, f = {(1,1), (2,1), (3, 1)}, g = {(1, 1), (2, 3), (3, 2)}和h = {(1, 3), (2, 1), (3, 1)},则( )是单射,( )是满射,( )是双射. 3. 下列5个命题公式中,是永真式的有( )(选择正确答案的番号). (1)q q p p →→∧)(; (2))(q p p ∨→; (3))(q p p ∧→; (4)q q p p →∨∧?)(; (5)q q p →→)(. 4. 设D 24是24的所有正因数组成的集合,“|”是其上的整除关系,则3的补元( ),4的补元( ),6的补元( ).

离散数学知识点

说明: 定义:红色表示。 定理性质:橙色表示。 ?公式:蓝色表示。 ?算法:绿色表示 页码:灰色表示 数理逻辑: 1.命题公式:命题, 联结词(,,,,),合式公式,子公式 2.公式的真值:赋值,求值函数,真值表,等值式,重言式,矛盾式 3.范式:析取范式,极小项,主析取范式,合取范式,极大项,主合取范式 4.联结词的完备集:真值函数,异或,条件否定,与非,或非,联结词完备集 5.推理理论:重言蕴含式,有效结论,P规则,T规则, CP规则,推理 6.谓词与量词:谓词,个体词,论域,全称量词,存在量词 7.项与公式:项,原子公式,合式公式,自由变元,约束变元,辖域,换名,代入 8.公式语义:解释,赋值,有效的,可满足的,不可满足的 9.前束范式:前束范式 10.推理理论:逻辑蕴含式,有效结论,-规则(US),+规则(UG), -规则(ES), +规则(EG), 推理 集合论: 1.集合: 集合, 外延性原理, , , , 空集, 全集, 幂集,文氏图, 交, 并, 差, 补, 对称差 2.关系: 序偶, 笛卡尔积, 关系, domR,ranR,关系图, 空关系, 全域关系, 恒等关系 3.关系性质与闭包:自反的, 反自反的,对称的, 反对称的, 传递的,自反闭包 r(R), 对称闭包 s(R),传递闭包 t(R) 4.等价关系: 等价关系, 等价类, 商集, 划分 5.偏序关系:偏序,哈斯图,全序(线序), 极大元/极小元,最大元/最小元, 上界/下界 6.函数: 函数,常函数, 恒等函数, 满射,入射,双射,反函数,复合函数 7.集合基数:基数, 等势,有限集/无限集,可数集, 不可数集 代数结构: 1.运算及其性质:运算,封闭的,可交换的,可结合的,可分配的,吸收律, 幂等的,幺 元,零元,逆元 2.代数系统:代数系统,子代数,积代数,同态,同构。 3.群与子群:半群,子半群,元素的幂,独异点,群,群的阶数,子群,平凡子群,陪集, 拉格朗日(Lagrange)定理 4.阿贝尔群和循环群:阿贝尔群(交换群),循环群,生成元 5.环与域:环,交换环,含幺环,整环,域 6.格与布尔代数:格,对偶原理,子格,分配格,有界格,有补格,布尔代数,有限布尔代 数的表示定理 图论: 1.图的基本概念:无向图、有向图、关联与相邻、简单图、完全图、正则图、子图、 补图,握手定理,图的同构

离散数学期末试卷及答案

一.判断题(共10小题,每题1分,共10分) 在各题末尾的括号内画 表示正确,画 表示错误: 1.设p、q为任意命题公式,则(p∧q)∨p ? p ( ) 2.?x(F(y)→G(x)) ? F(y)→?xG(x)。( ) 3.初级回路一定是简单回路。( ) 4.自然映射是双射。( ) 5.对于给定的集合及其上的二元运算,可逆元素的逆元是唯一的。( ) 6.群的运算是可交换的。( ) 7.自然数集关于数的加法和乘法构成环。( ) 8.若无向连通图G中有桥,则G的点连通度和边连通度皆为1。( ) 9.设A={a,b,c},则A上的关系R={,}是传递的。( ) 10.设A、B、C为任意集合,则A?(B?C)=(A?B)?C。( ) 二、填空题(共10题,每题3分,共30分) 11.设p:天气热。q:他去游泳。则命题“只有天气热,他才去游泳”可符号 化为。 12.设M(x):x是人。S(x):x到过月球。则命题“有人到过月球”可符号 化为。 13.p?q的主合取范式是。 14.完全二部图K r,s(r < s)的边连通度等于。 15.设A={a,b},,则A上共有个不同的偏序关系。 16.模6加群中,4是阶元。 17.设A={1,2,3,4,5}上的关系R={<1,3>,<1,5>,<2,5>,<3,3>,<4,5>},则R的传递闭包t(R) = 。. 18.已知有向图D的度数列为(2,3,2,3),出度列为(1,2,1,1),则有向图D的入度

列为。 19.n阶无向简单连通图G的生成树有条边。 20.7阶圈的点色数是。 三、运算题(共5小题,每小题8分,共40分) 21.求?xF(x)→?yG(x,y)的前束范式。 22.已知无向图G有11条边,2度和3度顶点各两个,其余为4度顶点,求G 的顶点数。 23.设A={a,b,c,d,e,f},R=I A?{,},则R是A上的等价关系。求等价类[a]R、[c]R及商集A/R。 24.求图示带权图中的最小生成树,并计算最小生成树的权。 25.设R*为正实数集,代数系统< R*,+>、< R*,·>、< R*,/>中的运算依次为普通加法、乘法和除法运算。试确定这三个代数系统是否为群?是群者,求其单位元及每个元素的逆元。 四、证明题(共3小题,共20分) 26 (8分)在自然推理系统P中构造下述推理的证明: 前题:p→(q∨r),?s→?q,p∧?s 结论:r 27 (6分)设是群,H={a| a∈G∧?g∈G,a*g=g*a},则是G的子群 28.(6分)设G是n(≥3)阶m条边、r个面的极大平面图,则r=2n-4。

自考离散数学02324真题含答案(2009.4-2016.4年整理版)

全国2009年4月自学考试离散数学试题(附答案) 课程代码:02324 一、单项选择题(本大题共15小题,每小题1分,共15分) 在每小题列出的四个备选项中只有一个是符合题目要求的,请将其代码填写在题后的括号内。错选、多选或未选均无分。 1.下列为两个命题变元P,Q的小项是() A.P∧Q∧? P B.? P∨Q C.? P∧Q D.? P∨P∨Q 2.下列语句中是真命题的是() A.我正在说谎B.严禁吸烟 C.如果1+2=3,那么雪是黑的D.如果1+2=5,那么雪是黑的 3.设P:我们划船,Q:我们跑步。命题“我们不能既划船又跑步”符号化为() A.? P∧? Q B.? P∨? Q C.?(P?Q)D.?(? P∨? Q) 4.命题公式(P∧(P→Q))→Q是() A.矛盾式B.蕴含式 C.重言式D.等价式 5.命题公式?(P∧Q)→R的成真指派是() A.000,001,110,B.001,011,101,110,111 C.全体指派D.无 6.在公式(x ?)F(x,y)→(?y)G(x,y)中变元x是() A.自由变元B.约束变元 C.既是自由变元,又是约束变元D.既不是自由变元,又不是约束变元 7.集合A={1,2,…,10}上的关系R={|x+y=10,x∈A,y∈A},则R的性质是() A.自反的B.对称的 C.传递的、对称的D.反自反的、传递的 8.若R和S是集合A上的两个关系,则下述结论正确的是() A.若R和S是自反的,则R∩S是自反的 B.若R和S是对称的,则R S是对称的 C.若R和S是反对称的,则R S是反对称的 D.若R和S是传递的,则R∪S是传递的 9.R={<1,4>,<2,3>,<3,1>,<4,3>},则下列不是 ..t(R)中元素的是() A.<1,1> B.<1,2> C.<1,3> D.<1,4>

02324离散数学201604

2016年4月高等教育自学考试全国统一命题考试 离散数学 试卷 (课程代码 02324) 第一部分 选择题 一、单项选择题(本大题共l5小题,每小题l 分,共15分) 在每小题列出的四个备选项中只有一个是符合题目要求的,请将其选出并将“答题卡” 的相应代码涂黑。未涂、错涂或多涂均无分。 1.下列命题公式为永假式的是 A .(P Q )?→ B .(P Q )Q ?→∧ C .(P Q )Q ?→∨ D. (P Q )P ?∧→ 2.偏序关系一定不是 A.自反的 B.传递的 C.反自反的 D.反对称的 3.下列语句为复合命题的是 A.今天天气凉爽 B.今天天气炎热,有雷阵雨 C.x+y > 16 D.今天天气多好呀,外面景色多美呀 4.设R(x): 是实数,L(x,y):xq B. q —> p C. ?p —> q D.q —> ?p 10.谓词公式中,变元y 属于 A.约束变元 B.既是自由变元,也是约束变元 C.自由变元 D.既不是自由变元,也不是约束变元 11.下列图对应的格是有补格的是

(完整word版)离散数学必备知识点总结.docx

总结离散数学知识点 第二章命题逻辑 1.→,前键为真,后键为假才为假;<—>,相同为真,不同为假; 2.主析取范式:极小项 (m) 之和;主合取范式:极大项(M)之积; 3.求极小项时,命题变元的肯定为1,否定为 0,求极大项时相反; 4.求极大极小项时,每个变元或变元的否定只能出现一次,求极小项 时变元不够合取真,求极大项时变元不够析取假; 5.求范式时,为保证编码不错,命题变元最好按P,Q,R 的顺序依次写; 6.真值表中值为 1 的项为极小项,值为0 的项为极大项; 7.n 个变元共有2n个极小项或极大项,这2n为(0~ 2n -1)刚好为化简完 后的主析取加主合取; 8.永真式没有主合取范式,永假式没有主析取范式; 9.推证蕴含式的方法 (=>) :真值表法;分析法 (假定前键为真推出后键 为真,假定前键为假推出后键也为假) 10.命题逻辑的推理演算方法:P 规则, T 规则 ①真值表法;②直接证法;③归谬法;④附加前提法; 第三章谓词逻辑 1.一元谓词:谓词只有一个个体,一元谓词描述命题的性质; 多元谓词:谓词有n 个个体,多元谓词描述个体之间的关系; 2.全称量词用蕴含→,存在量词用合取 ^;

3.既有存在又有全称量,先消存在量,再消全称量; 第四章集合 1.N ,表示自然数集, 1,2,3 ??,不包括 0; 2.基:集合 A 中不同元素的个数, |A|; 3.集:定集合 A,以集合 A 的所有子集元素成的集合,P(A) ; 4.若集合 A 有 n 个元素,集 P(A) 有2 n个元素, |P(A)|= 2| A| = 2 n; 5.集合的分划: (等价关系 ) ①每一个分划都是由集合 A 的几个子集构成的集合; ② 几个子集相交空,相并全(A); 6.集合的分划与覆盖的比: 分划:每个元素均出且出一次在子集中; 覆盖:只要求每个元素都出,没有要求只出一次; 第五章关系 1.若集合 A 有 m 个元素,集合 B 有 n 个元素,笛卡 A×B 的基数mn, A 到 B 上可以定2mn种不同的关系; 2.若集合 A 有 n 个元素, |A ×A|= n2,A 上有2n2个不同的关系; 3.全关系的性:自反性,称性,性; 空关系的性:反自反性,反称性,性;

离散数学试卷及答案

填空10% (每小题 2 分) 1、若P,Q,为二命题,P Q 真值为0 当且仅当。 2、命题“对于任意给定的正实数,都存在比它大的实数” 令F(x):x 为实数,L(x, y) : x y 则命题的逻辑谓词公式为。 3、谓词合式公式xP(x) xQ(x)的前束范式为。 4、将量词辖域中出现的和指导变元交换为另一变元符号,公式其余的部分不变,这种方法称为 换名规则。 5、设x 是谓词合式公式A的一个客体变元,A的论域为D,A(x)关于y 是自由的,则被称为存 在量词消去规则,记为ES。 选择25% (每小题分) 1、下列语句是命题的有()。 A、明年中秋节的晚上是晴天; C、xy 0 当且仅当x 和y 都大于0; D 、我正在说谎。 2、下列各命题中真值为真的命题有()。 A、2+2=4当且仅当3是奇数; B、2+2=4当且仅当 3 不是奇数; C、2+2≠4 当且仅当3是奇数; D、2+2≠4当且仅当 3 不是奇数; 3、下列符号串是合式公式的有() A、P Q ; B、P P Q; C、( P Q) (P Q); D、(P Q) 。 4、下列等价式成立的有( )。 A、P QQ P ; B、P(P R) R; C、P (P Q) Q; D 、P (Q R) (P Q) R。 5、若A1,A2 A n和B为 wff ,且A1 A2 A n B 则 ( )。 A、称A1 A2 A n 为 B 的前 件; B 、称 B 为A1,A2 A n 的有效结论

C 、 x(M (x) Mortal (x)) ; D 、 x(M(x) Mortal (x)) 8、公式 A x(P(x) Q(x))的解释 I 为:个体域 D={2} ,P(x) :x>3, Q(x) :x=4则 A 的 真 值为( ) 。 A 、 1; B 、 0; C 、 可满足式; D 、无法判定。 9、 下列等价关系正确的是( )。 A 、 x(P(x) Q(x)) xP(x) xQ(x); B 、 x(P(x) Q(x)) xP(x) xQ(x); C 、 x(P(x) Q) xP(x) Q ; D 、 x(P(x) Q) xP(x) Q 。 10 、 下列推理步骤错在( )。 ① x(F(x) G(x)) P ② F(y) G(y) US ① ③ xF(x) P ④ F(y) ES ③ ⑤G(y) T ②④I ⑥ xG(x) EG ⑤ A 、②; B 、④; C 、⑤; D 、⑥ 逻辑判断 30% 1、 用等值演算法和真值表法判断公式 A ((P Q) (Q P)) (P Q) 的类型。 C 、当且仅当 A 1 A 2 A n D 、当且仅当 A 1 A 2 A n B F 。 6、 A ,B 为二合式公式,且 B ,则( )。 7、 A 、 A C 、 A B 为重言式; B 、 B ; E 、 A B 为重言式。 人总是要死的”谓词公式表示为( )。 论域为全总个体域) M (x ) : x 是人; Mortal(x) x 是要死的。 A 、 M (x) Mortal (x) ; B M (x) Mortal (x)

7月全国自考离散数学试题及答案解析

全国2018年7月自学考试离散数学试题 课程代码:02324 一、单项选择题(本大题共15小题,每小题1分,共15分) 在每小题列出的四个备选项中只有一个是符合题目要求的,请将其代码填写在题后的括号内。错选、多选或未选均无分。 1.下列句子不是 ..命题的是() A.中华人民共和国的首都是北京B.张三是学生 C.雪是黑色的D.太好了! 2.下列式子不是 ..谓词合式公式的是() A.(?x)P(x)→R(y) B.(?x) ┐P(x)?(?x)(P(x)→Q(x)) C.(?x)(?y)(P(x)∧Q(y))→(?x)R(x) D.(?x)(P(x,y)→Q(x,z))∨(?z)R(x,z) 3.下列式子为重言式的是() A.(┐P∧R)→Q B.P∨Q∧R→┐R C.P∨(P∧Q) D.(┐P∨Q)?(P→Q) 4.在指定的解释下,下列公式为真的是() A.(?x)(P(x)∨Q(x)),P(x):x=1,Q(x):x=2,论域:{1,2} B.(?x)(P(x)∧Q(x)),P(x):x=1,Q(x):x=2,论域: {1,2} C.(?x)(P(x) →Q(x)),P(x):x>2,Q(x):x=0,论域:{3,4} D.(?x)(P(x)→Q(x)),P(x):x>2,Q(x):x=0,论域:{3,4} 5.对于公式(?x) (?y)(P(x)∧Q(y))→(?x)R(x,y),下列说法正确的是() A.y是自由变元B.y是约束变元 C.(?x)的辖域是R(x, y) D.(?x)的辖域是(?y)(P(x)∧Q(y))→(?x)R(x,y) 6.设论域为{1,2},与公式(?x)A(x)等价的是() A.A(1)∨A(2) B.A(1)→A(2) C.A(1)∧A(2) D.A(2)→A(1) 7.设Z+是正整数集,R是实数集,f:Z+→R, f(n)=log2n ,则f() 1

02324离散数学201207

2012年7月高等教育自学考试全国统一命题考试 离散数学试卷 课程代码:02324 本试卷满分100分,考试时间150分钟。 考生答题注意事项: 1.本卷所有试卷必须在答题卡上作答。答在试卷和草稿纸上的无效。 2.第一部分为选择题。必须对应试卷上的题号使用2B铅笔将“答题卡”的相应代码涂黑。 3.第二部分为非选择题。必须注明大、小题号,使用0.5毫米黑色字迹签字笔作答。 4.合理安排答题空间,超出答题区域无效。 第一部分选择题 一、单项选择题(本大题共15小题,每小题1分,共15分) 在每小题列出的四个备选项中只有一个是符合题目要求的,请将其选出并将“答题卡’的相应代码涂黑。未涂、错涂或多涂均无分。 1.设P:他看电影,Q:他学习,将命题“他在学习或在看电影”符号化正确的是 2.下列命题公式不是永真式的是 3.下列等价式正确的是 4.,“有的鸟不会飞”符号化为 5.设,则下列陈述正确的是 6.设A ∩ B=B,则有 7.设,则其幂集P(A)的元素总个数为

A 3 8.4 C.6 D.8 8.在整数集z上,下列定义的运算满足结合律的是 9.设是群,则下列陈述不正确的是 10.设是函数,则下列陈述正确的是 A.若不是入射的,则不是入射的 B.若是入射的,则也是入射的 C.若是入射的,则也是入射的 D.若不是入射的,则,也不是入射的11.设简单图G所有结点的度数之和为36,则G的边数为 A.6 B.9 C.12 D.18 12.下列无向图不一定是树的是 A.结点数比边数多l的连通图 B.每对结点之间都有通路的图 C.无回路但添加一条边则有回路的图 D.无回路的连通图 13.设是A上的两个关系,s为对称闭包,t为传递闭包,则下列描述正确的是 14.下列必为欧拉图的是 A.有回路的连通图 B.不可以一笔画的图 C.有l个奇数度结点的连通图 D.无奇数度结点的连通图 15.设x={O},下列关于代数系统的陈述正确的是 A.0是幺元 B.是幺元 C.{O}是幺元 D.没有幺元 第二部分非选择题 二、填空题(本大题共l0小题,每小题2分,共20分) 请在答题卡上作答。 16.命题公式P→Q的成真指派为________,成假指派为________. 17.设A={1,a,b},B={1,2},贝4A B=________,A A=________. 18.公式的约束变元为________,自由变元为________ 19.整数集Z中的运算*定义如下:a*b=a+b+3ab,则*运算的幺元为________;设a有逆元,则其逆元为________.

【离散数学】知识点典型例题整理

【半群】G非空,·为G上的二元代数运算,满足结合律。 【群】(非空,封闭,结合律,单位元,逆元)恰有一个元素1适合1·a=a·1=a,恰有一个元素a-1适合a·a-1=a-1·a=1。 【Abel群/交换群】·适合交换律。可能不只有两个元素适合x2=1 【置换】n元置换的全体作成的集合Sn对置换的乘法作成n 次对称群。 【子群】按照G中的乘法运算·,子集H仍是一个群。单位子群{1}和G称为平凡子群。 【循环群】G可以由它的某元素a生成,即G=(a)。a所有幂的集合an,n=0,±1,±2,…做成G的一个子群,由a生成的子群。若G的元数是一个质数,则G必是循环群。 n元循环群(a)中,元素ak是(a)的生成元的充要条件是(n,k)=1。共有?(n)个。【三次对称群】{I(12)(13)(23)(123)(132)} 【陪集】a,b∈G,若有h∈H,使得a =bh,则称a合同于b(右模H),a≡b(右mod H)。H有限,则H的任意右陪集aH的元数皆等于H的元数。任意两个右陪集aH和bH或者相等或者不相交。 求右陪集:H本身是一个;任取a?H而求aH又得到一个;任取b?H∪aH而求bH又一个。G=H∪aH∪bH∪… 【正规子群】G中任意g,gH=Hg。(H=gHg-1对任意g∈G都成立) Lagrange定理G为有限群,则任意子群H的元数整除群G的元数。 1有限群G的元数除以H的元数所得的商,记为(G:H),叫做H在G中的指数,H的指数也就是H的右(左)陪集的个数。 2设G为有限群,元数为n,对任意a∈G,有an=1。 3若H在G中的指数是2,则H必然是G的正规子群。证明:此时对H的左陪集aH,右陪集Ha,都是G中元去掉H的所余部分。故Ha=aH。 4G的任意多个子群的交集是G的子群。并且,G的任意多个正规子群的交集仍是G的正规子群。 5 H是G的子群。N是G的正规子群。命HN为H的元素乘N的元素所得的所有元素的集合,则HN是G的子群。 【同态映射】K是乘法系统,G到K的一个映射σ(ab)=σ(a)σ(b)。 设(G,*),(K,+)是两个群,令σ:x→e,?x∈G,其中e是K的单位元。则σ是G到K 内的映射,且对a,b∈G,有σ(a*b)=e=σ(a)+ σ(b)。即,σ是G到K的同态映射,G~σ(G)。σ(G)={e}是K的一个子群。这个同态映射是任意两个群之间都有的。 【同构映射】K是乘法系统,σ是G到σ(G)上的1-1映射。称G与σ(G)同构,G?G′。同构的群或代数系统,抽象地来看可以说毫无差别。G和G′同态,则可以说G′是G的一个缩影。 【同态核】σ是G到G′上的同态映射,核N为G中所有变成G′中1′的元素g的集合,即N=σ-1(1′)={g∈G∣σ(g)=1′}。 N是G的一个正规子群。对于Gˊ的任意元素aˊ,σ-1(aˊ)={x|x∈G ,σ(x)= aˊ}是N在G 中的一个陪集。Gˊ的元素和N在G中的陪集一一对应。 设N是G的正规子群。若A,B是N的陪集,则AB也是N的陪集。 【环】R非空,有加、乘两种运算 a+b=b+a2)a+(b+c)=(a+b)+c, 3)R中有一个元素0,适合a+0=a, 4)对于R中任意a,有-a,适合a+(-a)=0, 5)a(bc)=(ab)c,

相关文档
最新文档