吉林大学2011级离散数学I(A卷)
2011级《离散数学I 》期末考试试题(A 卷)
一、简答题（本大题共20小题，每小题2分，共40分；不必写计算或证明过程） 1.
设A={a,b,c,d,e,f}, A 上的一个划分C={{a}{b,c}{d,e,f}}，那么C 所对应的等价关系R C 的元素个数是多少？
2. 设A={a,b,c}，B={1,2,3}，R 、S 是A 与B 上的关系，且R={(a,1),(b,2),(b,3)}，S={(a,1),(b,1),(c,1)}，那么R 和S 可定义为A 到B 内映射吗？
3. 设集合A={1,2,3,4}，则集合A 上既是对称又是反对称的关系有多少个？
4. 请问公式Q ∨(?Q ∧P)是恒真？恒假？还是可满足的？
5. 公式P ∧? (P →Q)∧Q 的主析取范式是什么？
6. 设公式G= P →Q ，H= (R →P)→Q ，则H 是否蕴含G?
7. 设个体域D={-2,3,6}，谓词P(x):x ≤3，Q(x):x>5，R(x):x ≤7。试判断下列公式为真还是为假？
(1) ?x(P(x) ∨Q(x)) (2) ?x(R(x) →P(x)) ∨Q(3)
8. 设谓词公式G 的Skolem 范式为S ，若解释I 满足G ，则I 一定满足S 吗？G 与S 可满足性等价吗？
9. 设图G 中有n 个点m 条边，每个点的度不是k 就是k+1,求具有k 度点的个数。
10. 判断下面两个邻接矩阵所表示的简单图是否同构？ 01011001000111
10???????????? , 0111100110011110???????????? 11. 确定下面权图中从点a 到z 的最短路及其长度。
b d f
a
c e z 6555
12.请指出下面(a)、(b)、(c)三个有向图中哪些是欧拉图。
(a) (b) (c)
13.欧拉图中每一个点都是根吗？恰有一个根且无回路的有向图一定是有向树吗？
14.在完全图K5中最多有多少个不同（非同构）的支撑树？
15.一个有11个点的树，其补图有多少条边？
16.
,请问该图是哈密顿图吗？
17.任意整数整除0吗？整数集合上的整除关系是部分序关系吗？
18.29-1与214-1互质吗？
19.写出模9的一个完全剩余系。
20.同余式ax≡1（Mod m）什么情况下有解？什么情况下无解？
二、解答题（本大题共2小题，每小题10分，共20分）
21.设命题公式集合S={?P, Q, ? (P∧Q), P→Q, P∧Q, P∨Q, 1, 0 }，“?”为S上蕴含
关系，则(S, ?)为部分序集，请画出(S, ?)的Hasse（哈塞）图，指出其中的最大元、最小元、极大元、极小元；并求B={?P, Q, P∨Q }的上界、下界、上确界、下确界。
22.解同余式126x≡6（Mod 303）
三、证明题（本大题共4小题，每小题10分，共40分）
23.设R是集合A上的等价关系，证明：R2=R。
24.用形式演绎法证明{P→(Q∨R)，Q→?P，M→?R}?P→?M
25.证明：?xA(x)→?x B(x) ??x(A(x)→B(x))
26.若有限图G中恰有两个奇数度点，证明这两个奇数度点必然相连。
离散数学(第五版)清华大学出版社第2章习题解答
离散数学（第五版）清华大学出版社第2章习题解答 2.1 本题没有给出个体域,因而使用全总个体域. (1) 令F(x):x是鸟 G(x):x会飞翔. 命题符号化为 ?x(F(x)→G(x)). (2)令F(x):x为人. G(x):x爱吃糖 命题符号化为 ??x(F(x)→G(x)) 或者 ?x(F(x)∧?G(x)) (3)令F(x):x为人. G(x):x爱看小说. 命题符号化为 ?x(F(x)∧G(x)). (4) F(x):x为人. G(x):x爱看电视. 命题符号化为 ??x(F(x)∧?G(x)). 分析1°如果没指出要求什么样的个体域，就使用全总个休域，使用全总个体域时，往往要使用特性谓词。（1）-（4）中的F(x)都是特性谓词。 2°初学者经常犯的错误是，将类似于（1）中的命题符号化为 27 ?x(F(x)∧G(x)) 即用合取联结词取代蕴含联结词，这是万万不可的。将（1）中命题叙述得更透彻些，是说“对于宇宙间的一切事物百言，如果它是鸟，则它会飞翔。”因而符号化应该使用联结词→而不能使用∧。若使用∧，使（1）中命题变成了“宇宙间的一切事物都是鸟并且都会飞翔。”这显然改变了原命题的意义。
3°（2）与（4）中两种符号化公式是等值的，请读者正确的使用量词否定等值式，证明（2），（4）中两公式各为等值的。 2.2 (1)d (a),(b),(c)中均符号化为 ?xF(x) 其中F(x):(x+1)2=x2+2x+1,此命题在(a),(b),(c)中均为真命题。 （2）在(a),(b),(c)中均符号化为 ?xG(x) 其中G(x):x+2=0，此命题在（a）中为假命题，在(b)(c)中均为真命题。 （3）在(a),(b),(c)中均符号化为 ?xH(x) 其中H(x):5x=1.此命题在(a),(b)中均为假命题，在(c)中为真命题。 分析1°命题的真值与个体域有关。 2°有的命题在不同个体域中，符号化的形式不同，考虑命题 “人都呼吸”。 在个体域为人类集合时，应符号化为 ?xF(x) 这里，F(x):x呼吸，没有引入特性谓词。 在个体域为全总个体域时，应符号化为 ?x(F(x)→G(x)) 这里，F(x):x为人，且F(x)为特性谓词。G(x):x呼吸。 28 2．3 因题目中未给出个体域，因而应采用全总个体域。 （1）令：F(x):x是大学生，G(x):x是文科生，H(x):x是理科生，命题符号化为?x(F(x)→(G(x)∨H(x)) （2）令F(x):x是人，G(y):y是化，H(x):x喜欢，命题符号化为 ?x(F(x)∧?y(G(y)→H(x,y))) （3）令F(x):x是人，G(x):x犯错误，命题符号化为 ??x(F(x)∧?G(x)), 或另一种等值的形式为 ?x(F(x)→G(x)
《离散数学》题库及答案
《离散数学》题库与答案 一、选择或填空 （数理逻辑部分） 1、下列哪些公式为永真蕴含式？( A ) (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）是假言推理，（3），（5），（6）都可以用蕴含等值式来证明出是永真蕴含式 4、公式x((A(x)B(y，x))z C(y，z))D(x)中，自由变元是( )，约束变元是( )。 答：x,y, x,z（考察定义在公式x A和x A中，称x为指导变元，A为量词的辖域。在x A和x A的辖域中，x的所有出现都称为约束出现，即称x为约束变元，A中不是约束出现的其他变项则称为自由变元。于是A(x)、B(y，x)和z C(y，z)中y为自由变元，x和z为约束变元，在D(x)中x为自由变元） 5、判断下列语句是不是命题。若是，给出命题的真值。( )
(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）P ?（注意“只有……才……”和“除非……就……”两者都是一个 Q→ 形式的）（2）Q P→ ? P? ?（4）Q P? →（3）Q 8、设个体域为整数集，则下列公式的意义是( )。 (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 (反证法：假若存在，则（x- 1）*y=0 对所有的x都成立，显然这个与前提条件相矛盾) （2）F （同理）（3）F （同理）（4）T（对任一整数x存在整数y满足条件y=2x 很明显是正确的）
离散数学期末试题及答案
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的补元( ). 5. 设G 是(7, 15)简单平面图，则G 一定是( )图，且其每个面恰由( )条边围成，G 的面数为( ).
《离散数学》清华大学出版社 前四章小测验
一、判断题 (正确的在括号内填写“√”，错误的写“×”) （ ）1、“只有天下大雨，他才乘班车上班”与“除非天下大雨，否则他不乘班车上班”所表达的逻辑关系是一样的。 （ ）2、公式B A ,含相同的命题变项,若B A ∨是重言式,则A 与B 都是重言式。 （ ）3、在命题逻辑中，任何命题公式的主合取范式都是存在的，并且是惟一的。 （ ）4、永真式的主合取范式是1，矛盾式的主析取范式是0。 （ ）5、同一个谓词公式，在不同个体域中，真值不一定相同。 二、单项选择题 1、下列命题是复合命题的是（ ） A 、黄色和蓝色可以调配成绿色； B 、李辛与李未是兄弟； C 、黄色和蓝色都是常用颜色； D 、张辉与王力是同学 ； 2、设p:天下大雨，q:小王乘公共汽车上班，命题“只有天下大雨，小王才乘公共汽车上班”的符号化形式为（ ） A 、p →q ； B 、q →p ； C 、p →┐q ； D 、┐p →q ； 3、公式()p q r ∧?∨的公式类型为（ ） A 、重言式； B 、矛盾式； C 、非重言式的可满足式； 4、下列联结词集是联结词完备集的是（ ） A 、{,,}∧∨→； B 、{,}?→； C 、{,,}∨→?； D 、{,,,}∧∨→?； 5、设解释I 如下：个体域D={a,b},F(a,a)=(b,b)=0,F(a,b)=F(b,a)=1，在解释I 下，下列公式中真值为1的是（ ） A 、(,)x yF x y ??； B 、(,)x yF x y ??； C 、(,)x yF x y ??； D 、(,)y xF x y ??； 三、填空题 1、公式)(q p ??与)()(q p q p ∧?∨?∧共同的成真赋值为 。 2、设命题公式A 为含命题变项,p q r ,的重言式，则公式(())A p q r ∨∧→的类型为 。
离散数学 第2章 习题解答
第2章习题解答 2.1 本题没有给出个体域,因而使用全总个体域. (1) 令x (是鸟 x F:) (会飞翔. G:) x x 命题符号化为 x F ?. G x→ ) ( )) ( (x (2)令x x (为人. F:) (爱吃糖 G:) x x 命题符号化为 x F x→ G ?? )) ( ) ( (x 或者 F x? x ∧ ? ) )) ( ( (x G (3)令x x (为人. F:) G:) (爱看小说. x x 命题符号化为 x F ?. G x∧ (x ( )) ( ) (4) x (为人. x F:) (爱看电视. G:) x x 命题符号化为 F x? ∧ ??. x G ( ) ( )) (x 分析 1°如果没指出要求什么样的个体域，就使用全总个休域，使用全总个体域时，往往要使用特性谓词。（1）-（4）中的) F都是特性谓词。 (x 2°初学者经常犯的错误是，将类似于（1）中的命题符号化为 F x ? G x∧ ( )) ( ) (x
即用合取联结词取代蕴含联结词，这是万万不可的。将（1）中命题叙述得更透彻些，是说“对于宇宙间的一切事物百言，如果它是鸟，则它会飞翔。”因而符号化应该使用联结词→而不能使用∧。若使用∧，使（1）中命题变成了“宇宙间的一切事物都是鸟并且都会飞翔。”这显然改变了原命题的意义。 3° （2）与（4）中两种符号化公式是等值的，请读者正确的使用量词否定等值式，证明（2），（4）中两公式各为等值的。 2.2 (1)d (a),(b),(c)中均符号化为 )(x xF ? 其中,12)1(:)(22++=+x x x x F 此命题在)(),(),(c b a 中均为真命题。 （2） 在)(),(),(c b a 中均符号化为 )(x xG ? 其中02:)(=+x x G ，此命题在（a ）中为假命题，在(b)(c)中均为真命题。 （3）在)(),(),(c b a 中均符号化为 )(x xH ? 其中.15:)(=x x H 此命题在)(),(b a 中均为假命题，在(c)中为真命题。 分析 1°命题的真值与个体域有关。 2° 有的命题在不同个体域中，符号化的形式不同，考虑命题 “人都呼吸”。 在个体域为人类集合时，应符号化为 )(x xF ? 这里，x x F :)(呼吸，没有引入特性谓词。 在个体域为全总个体域时，应符号化为 ))()((x G x F x →? 这里，x x F :)(为人，且)(x F 为特性谓词。x x G :)(呼吸。 2．3 因题目中未给出个体域，因而应采用全总个体域。
离散数学课后习题答案 (邱学绍)
第一章 命题逻辑 习题1.11．解 ⑴不是陈述句，所以不是命题。 ⑵x 取值不确定，所以不是命题。 ⑶问句，不是陈述句，所以不是命题。 ⑷惊叹句，不是陈述句，所以不是命题。 ⑸是命题，真值由具体情况确定。 ⑹是命题，真值由具体情况确定。 ⑺是真命题。 ⑻是悖论，所以不是命题。 ⑼是假命题。 2．解 ⑴是复合命题。设p ：他们明天去百货公司；q ：他们后天去百货公司。命题符号化为q p ∨。 ⑵是疑问句，所以不是命题。 ⑶是悖论，所以不是命题。 ⑷是原子命题。 ⑸是复合命题。设p ：王海在学习；q ：李春在学习。命题符号化为p ∧q 。 ⑹是复合命题。设p ：你努力学习；q ：你一定能取得优异成绩。p →q 。 ⑺不是命题。 ⑻不是命题 ⑼。是复合命题。设p ：王海是女孩子。命题符号化为：?p 。 3．解 ⑴如果李春迟到了，那么他错过考试。 ⑵要么李春迟到了，要么李春错过了考试，要么李春通过了考试。 ⑶李春错过考试当且仅当他迟到了。 ⑷如果李春迟到了并且错过了考试，那么他没有通过考试。 4．解 ⑴?p →(q ∨r )。⑵p →q 。⑶q →p 。⑷q → p 。 习题1.2 1．解 ⑴是1层公式。 ⑵不是公式。 ⑶一层： p ∨q ，?p 二层：?p ?q 所以，)()(q p q p ??→∨是3层公式。 ⑷不是公式。 ⑸(p →q )∧?(?q ?( q →?r ))是5层公式，这是因为 一层：p →q ，?q ，?r 二层：q →?r 三层：?q ?( q →?r ) 四层：?(?q ?( q →?r )) 2．解 ⑴A =(p ∨q )∧q 是2层公式。真值表如表2-1所示： 表2-1 ⑵p q p q A →→∧= )(是3层公式。真值表如表2-2所示：
应用离散数学-集合与关系
集合与关系《应用离散数学》 第3章 21世纪高等教育计算机规划教材
目录 3.1 集合及其运算 3.2 二元关系及其运算3.3 二元关系的性质与闭包3.4 等价关系与划分 3.5 偏序关系与拓扑排序3.6 函 数 3.7 集合的等势与基数3.8 多元关系及其应用
集合是现代数学中最重要的基本概念之一，数学概念的建立由于使用了集合而变得完善并且统一起来。集合论已成为现代各个数学分支的基础，同时还渗透到各个科学技术领域，成为不可缺少的数学工具和表达语言。对于计算机科学工作者来说，集合论也是必备的基础知识，它在开关理论、形式语言、编译原理等领域中有着广泛的应用。 本章首先介绍集合及其运算，然后介绍二元关系及其关系矩阵和关系图，二元关系的运算、二元关系的性质、二元关系的闭包，等价关系与划分、函数，最后介绍多元关系及其在数据库中的应用等。
3.1 集合及其运算 3.1.1 基本概念 集合是数学中最基本的概念之一，如同几何中的点、线、面等概念一样，是不能用其他概念精确定义的原始概念。集合是什么呢？直观地说，把一些东西汇集到一起组成一个整体就叫做集合，而这些东西就是这个集合的元素或叫成员。 例3.1 （1）一个班级里的全体学生构成一个集合。 （2）平面上的所有点构成一个集合。 （3）方程 的实数解构成一个集合。 （4）自然数的全体（包含0）构成一个集合，用N表示。 （5）整数的全体构成一个集合，用Z表示。 （6）有理数的全体构成一个集合，用Q表示。 （7）实数的全体构成一个集合，用R表示。
（8）复数的全体构成一个集合，用C表示。 （9）正整数集合Z+，正有理数集合Q+，正实数集合R+。（10）非零整数集合Z*，非零有理数集合Q*，非零实数集合R*。（11）所有n 阶(n≥2)实矩阵构成一个集合，用M n(R)表示，即
离散数学课后习题答案_屈婉玲(高等教育出版社)
第一章部分课后习题参考答案 16 设p、q的真值为0；r、s的真值为1，求下列各命题公式的真值。 （1）p∨(q∧r)?0∨(0∧1) ?0 （2）（p?r）∧(﹁q∨s) ?（0?1）∧(1∨1) ?0∧1?0. （3）（?p∧?q∧r）?(p∧q∧﹁r) ?（1∧1∧1）? (0∧0∧0)?0 (4)（?r∧s）→(p∧?q) ?（0∧1）→(1∧0) ?0→0?1 17．判断下面一段论述是否为真：“π是无理数。并且，如果3是无理数，则2也是无理数。另外6能被2整除，6才能被4整除。” 答：p: π是无理数 1 q: 3是无理数0 r: 2是无理数 1 s:6能被2整除 1 t: 6能被4整除0 命题符号化为：p∧(q→r)∧(t→s)的真值为1，所以这一段的论述为真。19．用真值表判断下列公式的类型： （4）(p→q) →(?q→?p) （5）(p∧r) ?(?p∧?q) （6）((p→q) ∧(q→r)) →(p→r) 答：（4） p q p→q ?q ?p ?q→?p (p→q)→(?q→?p) 0 0 1 1 1 1 1 0 1 1 0 1 1 1 1 0 0 1 0 0 1 1 1 1 0 0 1 1 所以公式类型为永真式 （5）公式类型为可满足式（方法如上例） （6）公式类型为永真式（方法如上例） 第二章部分课后习题参考答案 3.用等值演算法判断下列公式的类型，对不是重言式的可满足式，再用真值表法求出成真赋值.
(1) ?(p∧q→q) (2)(p→(p∨q))∨(p→r) (3)(p∨q)→(p∧r) 答：(2)（p→(p∨q)）∨(p→r)?(?p∨(p∨q))∨(?p∨r)??p∨p∨q∨r?1所以公式类型为永真式 (3)P q r p∨q p∧r （p∨q）→(p∧r) 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 1 1 1 0 0 1 0 0 1 0 0 1 0 1 1 1 1 1 1 0 1 0 0 1 1 1 1 1 1 所以公式类型为可满足式 4.用等值演算法证明下面等值式： (2)(p→q)∧(p→r)?(p→(q∧r)) (4)(p∧?q)∨(?p∧q)?(p∨q) ∧?(p∧q) 证明（2）(p→q)∧(p→r) ? (?p∨q)∧(?p∨r) ??p∨(q∧r)) ?p→(q∧r) （4）(p∧?q)∨(?p∧q)?(p∨(?p∧q)) ∧(?q∨(?p∧q) ?(p∨?p)∧(p∨q)∧(?q∨?p) ∧(?q∨q) ?1∧(p∨q)∧?(p∧q)∧1 ?(p∨q)∧?(p∧q) 5.求下列公式的主析取范式与主合取范式，并求成真赋值 (1)(?p→q)→(?q∨p) (2)?(p→q)∧q∧r (3)(p∨(q∧r))→(p∨q∨r) 解： （1）主析取范式 (?p→q)→(?q∨p)
离散数学试题(2006)_A(答案)
一、填空题（每小题3分，共15分） 1.设F(x)：x是苹果，H(x，y)：x与y完全相同，L(x，y)：x=y， 则命题“没有完全相同的苹果”的符号化（利用全称量词）为?x?y(F(x)∧F(y)∧?L(x，y)→?H(x，y))． 2.命题“设L是有补格，在L中求补元运算‘′’是L中的一元 运算”的真值是0． 3.设G={e，a，b，c}是Klein四元群，H=?a?是G的子群，则商 群G/H={?a?，{b，c}}={{e，a}，{b，c}}． 4.设群G=?P({a，b，c})，⊕?，其中⊕为集合的对称差运算，则 由集合{a，b}生成的子群?{a，b}? ={?，{a，b}}． 5.已知n阶无向简单图G有m条边，则G的补图有n(n-1)/2-m 条边． 二、选择题（每小题3分，共15分） 1.命题“只要别人有困难(p)，小王就会帮助他(q)，除非困难已 经解决了(r)”的符号化为【B】A．?(p∧r)→q．B．(?r∧p)→q． C．?r→(p∧q)．D．?r→(q→ p)． 2.设N为自然数集合，“≤”为通常意义上的小于等于关系，则 偏序集?N，≤?是【C】 A．有界格．B．有补格． C．分配格．D．布尔代数． 3.设n (n≥3) 阶无向图G=?V，E?是哈密尔顿图，则下列结论中 不成立的是【D】A．?V1?V，p(G-V1)≤|V1|．B．|E|≥n． C．无1度顶点．D．δ(G)≥n/2． 4.设A={a，b，c}，在A上可以定义个二元运算，其 中有个是可交换的，有个是幂等的．【A】A．39，36，36．B．39，36，33． C．36，36，33．D．39，36，39． 5.下列图中是欧拉图的有【C】 A．K4，3．B．K6． C．K5．D．K3，3． 三、计算与简答题（每小题8分，共40分） 1.利用等值演算方法求命题公式(p∨q) → (q→p)的主合取范式； 利用该主合取范式求公式的主析取范式，并指出该公式的成真赋值和成假赋值． (p∨q) → (q→p) ??(p∨q)∨(?q∨p) ?(?p∧?q)∨(?q∨p) ?(?p∨?q∨p)∧(?q∨?q∨p) ??q∨p?p∨?q ?M1 此为公式的主合取范式． 该公式的主析取范式是m0∨m2∨m3． 公式的成真赋值为00，10，11． 公式的成假赋值为01． 哈尔滨工程大学试卷 考试科目：离散数学（041121，041131-32） 考试时间：14:00-16:30 1
离散数学期末试题及答案完整版
离散数学期末试题及答 案 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的补元( ).
清华大学-计算机专业-培养计划
一、培养目标 信息科学技术学院(以下简称信息学院)本科培养方案面向电子信息科学与技术、计算机科学与技术、自动化、微电子学、示范性软件学院的计算机软件等五个专业，从2003级开始实行多学科交叉背景下、通识教育基础上的宽口径专业教育，构建具有各专业共性基础的学院平台课程体系以及具有一定特长的专业核心课程体系，强调对学生进行基本理论、基础知识、基本能力(技能)以及健全人格、综合素质和创新精神培养，为学生提供增强基础、选择专业的机制，培养基础厚、专业面宽、具有自主学习能力的复合型人才。 从2011级开始，信息学院对培养方案进行了全面修订，进一步将学科交叉范围扩大到专业核心课程体系，为学生提供更加灵活的选课机制和更加宽广的专业空间；并将继续深入研究和不断改进课程内容和教学方法，加强实践环节，更好地培养适应时代要求的信息科学技术专业人才。 信息学院致力于为学生全面参与教育教学、科学研究、文化艺术、社会服务等活动创造条件，提倡学生在参与中发现自己的能力和兴趣，最大限度地发展自己的智力和潜能，鼓励学生敢于面对挑战、不断探索、努力创造、追求卓越，并提供一种基础和环境，促使学生养成独立工作的能力和终身学习的习惯。 二、基本要求 信息学院各专业通过各种教育教学活动发展学生个性，培养学生具有健全人格；具有成为高素质、高层次、多样化、创造性人才所具备的人文精神以及人文、社科方面的背景知识；具有国际化视野；具有创新精神；具有提出、解决带有挑战性问题的能力。具有进行有效的交流与团队合作的能力；在信息科学技术领域掌握扎实的基础理论、相关领域基础理论和专门知识及基本技能，具有在相关领域跟踪、发展新理论、新知识、新技术的能力，能从事相关领域的科学研究、技术开发、教育和管理等工作。 电子信息科学与技术专业的本科生运用所掌握的理论知识和技能，从事信号获取、处理和应用，通信及系统和网络，模拟及数字集成电路设计和应用，微波及电磁技术理论、信号与信息处理的新型电子材料、器件和系统，包括信息光电子和光子器件、微纳电子器件、微光机电系统、大规模集成电路和电子信息系统芯片的理论和应用等方面的科研、开发与教育工作。 微电子学专业的本科生运用所掌握的理论知识和技能，从事大规模模拟及数字集成电路设计和应用，工艺开发，EDA工具开发，新型电子材料、微纳电子器件和系统，量子信息和电子信息系统的理论和应用等方面的科研、开发与教育工作。培养基础扎实，创新能力突出，有国际视野的微纳电子专业人才。 计算机科学与技术专业的本科生运用所掌握的理论知识和技能，从事计算机科学理论、计算机系统结构、计算机网络、计算机软件及计算机应用技术等方面的科研、开发与教育工作。 自动化专业的本科生运用所掌握的理论知识和技能，从事国民经济、国防和科研各部门的运动控制、过程控制、机器人智能控制、导航制导与控制，现代集成制造系统、模式识别与智能系统、生物信息学、人工智能与神经网络、系统工程理论与实践、新型传感器、电子与自动检测系统、复杂网络与计算机应用系统等领域的科学研究、技术开发、教育及管理等工作。 计算机软件专业的本科毕业生应该具备扎实的软件理论和软件工程专业基础知识，具有良好的工具使用与实验能力、软件分析与开发能力、过程控制与管理能力、团队协作与沟通能力。 三、学制与学位授予
离散数学 第2章 习题解答
习题 2.1 1．将下列命题符号化。 (1) 4不是奇数。 解：设A(x)：x是奇数。a：4。 “4不是奇数。”符号化为：?A(a) (2) 2是偶数且是质数。 解：设A(x)：x是偶数。B(x)：x是质数。a：2。 “2是偶数且是质数。”符号化为：A(a)∧B(a) (3) 老王是山东人或河北人。 解：设A(x)：x是山东人。B(x)：x是河北人。a：老王。 “老王是山东人或河北人。”符号化为：A(a)∨B(a) (4) 2与3都是偶数。 解：设A(x)：x是偶数。a：2，b：3。 “2与3都是偶数。”符号化为：A(a)∧A(b) (5) 5大于3。 解：设G(x,y)：x大于y。a：5。b：3。 “5大于3。”符号化为：G(a,b) (6) 若m是奇数，则2m不是奇数。 解：设A(x)：x是奇数。a：m。b：2m。 “若m是奇数，则2m不是奇数。”符号化为：A(a)→A(b) (7) 直线A平行于直线B当且仅当直线A不相交于直线B。 解：设C(x,y)：直线x平行于直线y。设D(x,y)：直线x相交于直线y。a：直线A。b：直线B。 “直线A平行于直线B当且仅当直线A不相交于直线B。”符号化为：C(a,b)??D(x,y) (8) 小王既聪明又用功，但身体不好。 解：设A(x)：x聪明。B(x)：x用功。C(x)：x身体好。a：小王。 “小王既聪明又用功，但身体不好。”符号化为：A(a)∧B(a)∧?C(a) (9) 秦岭隔开了渭水和汉水。 解：设A(x,y,z)：x隔开了y和z。a：秦岭。b：渭水。c：汉水。 “秦岭隔开了渭水和汉水。”符号化为：A(a,b,c) (10) 除非小李是东北人，否则她一定怕冷。 解：设A(x)：x是东北人。B(x)：x怕冷。a：小李。 “除非小李是东北人，否则她一定怕冷。”符号化为：B(a)→?A(a) 2．将下列命题符号化。并讨论它们的真值。 (1) 有些实数是有理数。 解：设R(x)：x是实数。Q(x)：x是有理数。 “有些实数是有理数。”符号化为：(?x)(R(x)∧Q(x))
离散数学试卷A答案
第1学期 《离散数学》试卷 A （试卷共6页，答题时间120分钟） 一、选择题（每小题 2分，共 20 分。请将答案填在下面的表格内） 1、从集合分类的角度看,命题公式可分为( ) A.永真式、矛盾式 B. 永真式、可满足式、矛盾式 C. 可满足式、矛盾式 D. 永真式、可满足式 2、设B 不含有x ，))((B x A x →?等值于 ( ) A. B x xA →?)( B.))((B x A x ∨? C.B x xA →?)( D.))((B x A x ∧? 3、设S,T,M 是集合，下列结论正确的是（ ） A ．如果S ∪T=S ∪M ，则T=M B ．如果S-T=Φ，则S=T C ．S S S =⊕ D ．)(~T S T S I =- 4、设R 是集合A 上的偏序关系，则R 不一定是( ) A.自反的 B. 对称的 C. 反对称的 D. 传递的
5 设R 为实数集，定义R 上4个二元运算，不满足结合律的是（ ）。 A. f 1(x,y)= x+y B. f 2(x,y)=x-y C. f 3(x,y)=xy D. f 4(x,y)=max{x,y} 6、设
离散数学期末测验试题(有几套带答案1)
离散数学期末测验试题（有几套带答案1)
————————————————————————————————作者: ————————————————————————————————日期: ?
离散数学试题(A卷及答案） 一、证明题（10分） １)(?P∧(?Q∧Ｒ)）∨(Q∧R）∨(P∧R）?Ｒ 证明：左端?(?P∧?Q∧R)∨（(Q∨Ｐ)∧R)?（(?P∧?Q)∧R))∨((Ｑ∨Ｐ)∧R） ?(?(P∨Q）∧R)∨((Q∨P)∧Ｒ)?(?(P∨Q)∨(Ｑ∨Ｐ))∧R ?(?(P∨Q)∨(Ｐ∨Ｑ))∧R?T∧R(置换）?R 2）?x(Ａ（ｘ)→B(x)）??xＡ(x）→?xB(x) 证明:?x(A(x)→Ｂ(x））??x（?A（x)∨B(x))??x?A(x)∨?xB(x)???xA（x)∨?xB(x)??xA(x)→?xＢ(ｘ） 二、求命题公式(P∨(Q∧Ｒ))→(Ｐ∧Q∧R）的主析取范式和主合取范式(１０分) 证明:(P∨（Ｑ∧Ｒ））→(P∧Q∧R)??(P∨(Ｑ∧Ｒ）)∨（P∧Q∧R)) ?（?P∧（?Q∨?R)）∨(Ｐ∧Q∧Ｒ） ?(?P∧?Ｑ)∨(?P∧?R)）∨(Ｐ∧Q∧R) ?(?P∧?Q∧R)∨(?P∧?Ｑ∧?R）∨(?Ｐ∧Q∧?R)）∨(?P∧?Q∧?R)）∨(Ｐ∧Ｑ∧R) ?m0∨ｍ1∨m2∨ｍ７ ?Ｍ3∨M4∨M5∨M6 三、推理证明题(10分) 1）Ｃ∨D， (C∨D)→?E, ?Ｅ→(A∧?B), (A∧?B)→(R ∨S)?R∨S 证明:(1) (C∨D）→?E (２) ?E→（A∧?Ｂ) ?? (3）（C∨D）→（A∧?Ｂ) （４) （Ａ∧?B)→(R∨Ｓ) ?? (5) （C∨D）→（R∨Ｓ) ? (6) C∨Ｄ?? (7) R∨S 2) ?x(P(ｘ)→Q(ｙ）∧R(x)），?xP(x)?Q(y）∧?x（P(x)∧R(x)) 证明（1)?xP(ｘ) (2）P(a) （3)?ｘ(P(x)→Q(y）∧R(x)) (4）P（a)→Q(y)∧R(a) (５)Q(y)∧Ｒ(a) (6)Q(y) （７)R(a） (8)P(a) (9)P(ａ)∧R(a) （10)?x(Ｐ(x)∧R(ｘ)) (11)Q（ｙ)∧?x(P（x）∧R(x)） 五、已知Ａ、B、C是三个集合,证明A-(B∪C)=(A-B)∩(A-C) （１5分) 证明∵x∈A-（Ｂ∪C)?x∈A∧x?（Ｂ∪C)?x∈A∧(x?Ｂ∧ｘ?C）?(x∈A∧x?B)∧（x∈A∧x?C）?x∈（Ａ-B)∧ｘ∈(A－C）?x∈(A－B）∩（A-Ｃ)∴A-(B∪Ｃ）=（A-B)∩(A-C） 六、已知R、S是N上的关系，其定义如下：Ｒ=｛＜x，ｙ>| x，y∈N∧y=x2｝，Ｓ={
离散数学复习题
选择题 1.设P :他在听音乐，Q :他学习，将命题“他在学习或在听音乐”符号化正确的是（ ） A.P →Q B.P ∧Q C.P ∨Q D.Q →?P 2.下列命题公式不是．． 永真式的是( ) A.()P Q P →→ B.()P Q →∨P C.P ?∨()Q P → D.()P Q P →→ 3.下列等价式正确的是（ ） A.()()()()x A x x A x ????? B.()()()(())A x B x x A B x →???→ C.()(())()()x A x B x A x B ?→??→ D.()(())()()x A x B x A x B ?→??→ 4.设A(x):x 是鸟，B(x):x 会飞，命题“有的鸟不会飞”符号化为（ ） A.()(()x A x ??∧())B x B.()(()x A x ??∧())B x C.()(()())x A x B x ??→ D.()(()())x A x B x ??→ 5.设X ={,{},{,}}a a ??，则下列陈述正确的是（ ） A.a X ∈ B.{,}a X ?? C.{{,}}a X ?? D.{}X ?∈ 6.设A B B = ,则有（ ） A.A B A = B.A B -=? C.A B B = D.A B ? 7.设A =｛a ,{b , c }｝,则其幂集P （A ）的元素总个数为（ ） A.3 B.4 C.6 D.8 8.在整数集Z 上，下列定义的运算满足结合律的是（ ） A.1a b b *=+ B.1a b a *=- C.1a b ab *=- D.1a b a b *=++ 9.设
离散数学答案第二章习题解答
习题与解答 1. 将下列命题符号化： (1) 所有的火车都比某些汽车快。 (2) 任何金属都可以溶解在某种液体中。 (3) 至少有一种金属可以溶解在所有液体中。 (4) 每个人都有自己喜欢的职业。 (5) 有些职业是所有的人都喜欢的。 解 (1) 取论域为所有交通工具的集合。令 x x T :)(是火车， x x C :)(是汽车， x y x F :),(比y 跑得快。 “所有的火车都比某些汽车快”可以符号化为))),()(()((y x F y C y x T x ∧?→?。 (2) 取论域为所有物质的集合。令 x x M :)(是金属， x x L :)(是液体， x y x D :),(可以溶解在y 中。 “任何金属都可以溶解在某种液体中” 可以符号化为))),()(()((y x D y L y x M x ∧?→?。 (3) 论域和谓词与(2)同。“至少有一种金属可以溶解在所有液体中” 可以符号化为))),()(()((y x D y L y x M x →?∧?。 (4) 取论域为所有事物的集合。令 x x M :)(是人， x x J :)(是职业， x y x L :),(喜欢y 。 “每个人都有自己喜欢的职业” 可以符号化为))),()(()((y x L y J y x M x ∧?→? (5)论域和谓词与(4)同。“有些职业是所有的人都喜欢的”可以符号化为))),()(()((x y L y M y x J x →?∧?。 2. 取论域为正整数集，用函数+（加法），?（乘法）和谓词<，=将下列命题符号化： (1) 没有既是奇数，又是偶数的正整数。 (2) 任何两个正整数都有最小公倍数。 (3) 没有最大的素数。 (4) 并非所有的素数都不是偶数。 解 先引进一些谓词如下： x y x D :),(能被y 整除，),(y x D 可表示为)(x y v v =??。 x x J :)(是奇数，)(x J 可表示为)2(x v v =???。 x x E :)(是偶数，)(x E 可表示为)2(x v v =??。 x x P :)(是素数，)(x P 可表示为)1)(()1(x u u x u v v u x =∨=?=???∧=?。
离散数学习题答案
离散数学习题答案 习题二及答案：（P38） 5、求下列公式的主析取范式，并求成真赋值： （2）()()p q q r ?→∧∧ 解：原式()p q q r ?∨∧∧q r ?∧()p p q r ??∨∧∧ ()()p q r p q r ??∧∧∨∧∧37m m ?∨，此即公式的主析取范式， 所以成真赋值为011，111。 6、求下列公式的主合取范式，并求成假赋值： （2）()()p q p r ∧∨?∨ 解：原式()()p p r p q r ?∨?∨∧?∨∨()p q r ??∨∨4M ?，此即公式的主合取范式， 所以成假赋值为100。 7、求下列公式的主析取范式，再用主析取范式求主合取范式： （1）()p q r ∧∨ 解：原式()(()())p q r r p p q q r ?∧∧?∨∨?∨∧?∨∧ ()()()()()()p q r p q r p q r p q r p q r p q r ?∧∧?∨∧∧∨?∧?∧∨?∧∧∨∧?∧∨∧∧ ()()()()()p q r p q r p q r p q r p q r ??∧?∧∨?∧∧∨∧?∧∨∧∧?∨∧∧ 13567m m m m m ? ∨∨∨∨，此即主析取范式。 主析取范式中没出现的极小项为0m ，2m ，4m ，所以主合取范式中含有三个极大项0M ，2M ，4M ，故原式的主合取范式024M M M ?∧∧。 9、用真值表法求下面公式的主析取范式： （1）()()p q p r ∨∨?∧ 解：公式的真值表如下：
由真值表可以看出成真赋值的情况有7种，此7种成真赋值所对应的极小项的析取即为主析取范式，故主析取范式 1234567m m m m m m m ?∨∨∨∨∨∨ 习题三及答案：（P52-54） 11、填充下面推理证明中没有写出的推理规则。 前提：,,,p q q r r s p ?∨?∨→ 结论：s 证明： ① p 前提引入 ② p q ?∨ 前提引入 ③ q ①②析取三段论 ④ q r ?∨ 前提引入 ⑤ r ③④析取三段论 ⑥ r s → 前提引入 ⑦ s ⑤⑥假言推理
最新离散数学期末考试试题配答案
精品文档院术师范学广东技模拟试题 科目：离散数学 120 分钟考试时间: 考试形式：闭卷 姓名：学号：系别、班级： 2分，共10分）一．填空题（每小题__________。?x?y?P(x)∨Q(y) 1. 谓词公式的前束范式是 __)xxQ(?xP(x)????????____，，2. 设全集A?_{4,5}B =__则A∩ {2}__,,?E?1,2,3,4,55,A?21,,32,B_____ __ {1,3,4,5}??BA????b,c}} __________，则3. 设__ ， b?,c,b,a,A?Ba???B(A)?)(_____Φ_______。???)(AB()?4. 在代数系统（N，+）中，其单位元是0，仅有_1___ 有逆元。 ne条边，则G有___e+2-n____个面。5．如果连通平面图G有个顶点，二．选择题（每小题2分，共10分） P?(Q?R)等价的公式是（1. 与命题公式） （A）（B）（C）（D）R?P?Q)()?R)R?(QPP?(Q?R?Q)(P??????b?b,?a,aA??a,b,cR?,不具备关系( 2. 设集合上的二元关系,A)性质 （A）(A)传递性(B)反对称性(C)对称性(D)自反性 G??V,E?中,结点总度数与边数的关系是3. 在图( ) ??E?Edeg(v)deg(v)?2deg(v)?Evdeg()?2E(A)(C)(B) (D) iiiiVv?Vv?4. 设D是有n个结点的有向完全图,则图D的边数为( ) n(n?1)n(n?1)n(n?1)/2n(n?1)/2(A)(B)(D)(C) 5. 无向图G是欧拉图,当且仅当( ) (A)G的所有结点的度数都是偶数(B)G的所有结点的度数都是奇数 精品文档． 精品文档 (C)G连通且所有结点的度数都是偶数(D) G连通且G的所有结点度数都是奇数。 三．计算题（共43分） p?q?r的主合取范式与主析取范式。（1. 求命题公式6分） 解：主合取方式：p∧q∨r?(p∨q∨r)∧(p∨?q∨r)∧(?p∨q∨r)= ∏0.2.4 主析取范式：p∧q∨r?(p∧q∧r) ∨(p∧q∧?r)∨(?p∧q∧r) ∨(?p∧?q∧r) ∨(p∧?q∧r)=∑1.3.5.6.7 1000????0111?????Md,A?a,b,c,的上的二元关集2. 设合系R关系矩阵为求 ??R0000????1000??)tR(),(RsRr()(),(),(rRsRtR),的关系图。R的关系矩阵，并画出分）10（，