《离散数学》(集合论部分)自测试题
第 1 页 共 4 页
2015 - 2016学年第一学期 《离散数学》（集合论部分）自测试题
一、单项选择题(本大题共8小题，每小题2分，共16分)
在每小题列出的四个备选项中只有一个是最符合题目要求的，请将其代码填写在题后的括号内。错选、多选或漏选均不得分。 1）等价关系一定不是．．【 】 A. 对称的 B. 自反的 C. 可传递的
D. 反自反的
2）设{,{1}}A a =，则下列描述中正确．．的是【 】 A. {1}A ∈ B. {1}A ? C. {a}A ∈
D. A ?∈
3）设A 、B 是两个任意集合，则A B -=??【 】 A. A B = B. A B ? C. A B ?
D. B =?
4）设{{},{},{}}X a b =?，则其幂集()P X 的元素总个数为【 】 A. 4
B. 8
C. 16
D. 32
5）设R 是实数集合，:f R R →,()21f x x =+，则f 【 】 A. 是关系，但不是函数 B. 仅是满射函数 C. 仅是单射函数
D. 是双射函数
6）设R 是A 上的二元关系，r 、s 、t 分别指关系的自反闭包、对称闭包、传递闭包、则下列描述不正确．．．的是【 】 A. ()A r R R I =
B. 2()t R R R =
C. 1
()s R R R -=
D.
-1-1
R
R =（） 7）如果R 1和R 2是集合A 上的自反关系，则R 1∪R 2, R 1∩R 2, R 1―R 2中自反关系有【 】个 A. 0 B. 1 C. 2
D. 3
8）设集合A=｛a,b,c ｝，B=｛1,2,3,4｝，作f ：A →B ，则不同的函数个数为【 】个 A. 12 B. 81
C. 64
D. 以上均不正确
二、填空题(本大题共12空，每空2分，共24分)
请在每小题的空格中填上正确答案。错填、漏填均不得分。 7）设集合A={1,2,3,4}，则A 中的划分有_____________个.
8）设=<1,2>,<1,3>,<2,4>,<4,3>R ｛｝，那么fld R =_____________. 9）设集合A =｛1，2，3，4｝，则A A ⊕= _____________.
10）设关系F ={<3,3>,<6,2>},G ={<2,3>}，则F G = _____________.
----------------------------------------第-------------------1---------------------装--------------------------------线---------------------------------------
11）设集合A={0,1,2,3}，B={2,3,4,5}，R是A到B上的二元关系，其中R={
则R的有序对集合为_____________.
12）设集合A=｛a, b, c, d｝，A上的二元关系R={
_____________，则新得到的关系就具有对称性．
13）设A={1,2}上的二元关系为R={
14）设R、S是定义在集合P上的二元关系，其中P是所有人的集合.
R=｛
S=｛
（1）R o R表示的关系是：_____________.
（2）S-1o R表示的关系是：_____________.
（3）S o R-1表示的关系是：_____________.
（4）关系｛
三、计算题(本大题共3小题，共30分)
15）（8分）某班级有25名学生，已知期中考试与期末考试得优的人数相等并且仅在一次考试中得优的人数是4人，在两次考试中均没有得到优的人数是15人.试求期中考试、期末考试和两次考试中得优人数各是多少？（要求：应用包含排斥原理求解）16）（13分）设集合A={2,3,6,8},在集合A上定义整除关系R≤，偏序集
（1）画出关系R的关系图.
（2）求关系R的传递闭包t(R)（要求：应用沃舍尔算法求解）.
（3）求集合A的最大元、极小元、上界、下确界.
第 2 页共4 页
17）（9分）设A，B为非空集合，|A|=n,|B|=m，请计算：
（1）能够构造从集合A到B，具有单射性质的函数共有多少种？并讨论此时n与m的关系. （2）能够构造从集合A到B，具有满射性质的函数共有多少种？并讨论此时n与m的关系. （3）能够构造从集合A到B，具有双射性质的函数共有多少种？并讨论此时n与m的关系.
四、证明题(本大题共2小题，每小题6分，共12分)
18）设A,B为任意集合，P(A)、P(B)分别表示集合A、B的幂集.
证明：P(A)∩P(B) = P(A∩B). 19）设R是集合A上的自反和传递关系，如下定义A上的关系T，使得对于任意的x,y∈A，均有
证明：T是集合A上的等价关系.
第 3 页共4 页
第 4 页 共 4 页
121,,,0,i i i m
k k j =??=???
…，否则
五、综合应用题(本大题共2小题，每小题9分，共18分)
20）设全集为n 元集，按照某种给定顺序排列为E={x 1，x 2，…, x n }. 在计算机中可以用长为n 的0,1串表示E 的子集.令m 元子集A={ },则A 对应的0,1串为j 1j 2…j n ，
其中
例如，E={1,2,…，8}，则A={1,2,5,6}和B={3,7}对应的0,1,串分别为11001100和00100010. （1）设A 对应的0，1串为10110010，则~A 对应的0,1串是什么？ （2）设A 与B 对应的0,1串分别为i 1i 2…i n 和
j 1j 2…j n ,且A ∪B ，A ∩B ，A-B ，A ⊕B
对应0,1串分别为a 1a 2…a n ，b 1b 2…b n ，c 1c 2…c n ，d 1d 2…d n ，求a k ，b k ，c k ，d k ，k=1,2,…，n.
21）一个计算机公司开发的项目需要完成7个任务，其中的某些任务只能在其他任务结束之后才能开始.考虑如下建立任务上的偏序，如果任务Y 在任务X 结束之后才能开始，则任务X<任务Y.这7个任务关
于该偏序的哈斯图如右图所示，求一个全序使得可以按
照此全序执行这些任务，以完成这个项目.（要求：有具体分析过程）
1
2
m
,,x x x i i
i
…，
自测试题五及参考答案
单片机自测试卷五 一、填空题（每空1分，共10分） 1.单片机内有组成微机的主要功能部件、 和。 2.堆栈的特性是，8051的堆栈一般开辟在，其堆栈指针是。 232C是总线标准。 是接口。 有一个全双工的步串行口，有种工作方式。 二、简述题（每题5分，共25分） 1.单片机的特性主要有哪些 、8051、8751有何异同 的位存储区在哪里寻址范围是多少 的定时器/计数器有几个是多少位的有几种工作方式其工作原理如何 有哪几个中断源哪些是内部中断源哪些是外部中断源 三、判断题（20分） 1.判断以下各条指令是否正确（LL1和PROC为标号）（10分） （1）MOVX @R0，B （2）MOV A，30H （3）MOVX A，30H （4）ADDC A，R7 （5）SUB A，R2 （6）ANL #99H ，36H （7）MOV C， （8）ORL ， （9）JBC P0，LL1 （10）ACALL PROC 2.判断以下说法是否正确，不正确予以改正。（10分） （1）单片机是面向数据处理的。 （2）定时器与计数器的工作原理均是对输入脉冲进行计数。 （3）由于MCS-51的串行口的数据发送和接收缓冲器都是SBUF，所以其串行口不能同
时发送和接收数据，即不是全双工的串行口。 （4）END表示指令执行到此结束。 （5）ADC0809是8位逐次逼近式模/数转换接口。 四、阅读程序（20分） 1.下列各条指令其源操作数的寻址方式是什么各条指令单独执行后，A中的结果是什么（5分）设（60H）=35H，（A）=19H，（R0）=30H，（30H）=0FH。 （1）MOV A，#48H ；寻址方式： （A）= （2）ADD A，60H ；寻址方式： （A）= （3）ANL A，@R0 ；寻址方式： （A）= 2.阅读下列程序段，写出每条指令执行后的结果，并说明此程序段完成什么功能（15分） MOV R1，#30H ；（R1）= MOV A，#64H ；（A）= ADD A，#47H ；（A）= ，（CY）= ， （AC）= DA A ；（A）= ，（CY）= ， （AC）= MOV @R1，A ；（R1）= ，（30H）= 此程序段完成的功能： 五、计算（画图）题（10分） 若8051的晶振频率f osc为6MHz，定时器/计数器T0工作在工作方式1，要求产生10ms 定时，写出定时器的方式控制字和计数初值（分别写出TH0与TL0值）。 六、编程题（15分） 1.阅读程序并填空，形成完整的程序以实现如下功能。（5分） 有一长度为10字节的字符串存放在8031单片机内部RAM中，其首地址为40H。要求将该字符串中每一个字符加偶校验位。（以调用子程序的方法来实现。） 源程序如下： ORG 1000H
电子科技大学研究生试题《图论及其应用》(参考答案)
电子科技大学研究生试题 《图论及其应用》(参考答案) 考试时间：120分钟 一．填空题(每题3分，共18分) 1．4个顶点的不同构的简单图共有__11___个； 2．设无向图G 中有12条边，已知G 中3度顶点有6个，其余顶点的度数均小于3。则G 中顶点数至少有__9___个； 3．设n 阶无向图是由k(k ?2)棵树构成的森林，则图G 的边数m= _n-k____; 4．下图G 是否是平面图？答__是___; 是否可1-因子分解？答__是_. 5．下图G 的点色数=)(G χ______, 边色数=')(G χ__5____。 图G 二．单项选择(每题3分，共21分) 1．下面给出的序列中，是某简单图的度序列的是( A ) (A) (11123); (B) (233445); (C) (23445); (D) (1333). 2．已知图G 如图所示，则它的同构图是（ D ） 3． 下列图中，是欧拉图的是（ D ） 4． 下列图中，不是哈密尔顿图的是（B ） 5． 下列图中，是可平面图的图的是（B ） A C D A B C D
6．下列图中，不是偶图的是（ B ） 7．下列图中，存在完美匹配的图是（B ） 三．作图(6分) 1．画出一个有欧拉闭迹和哈密尔顿圈的图； 2．画出一个有欧拉闭迹但没有哈密尔顿圈的图； 3．画出一个没有欧拉闭迹但有哈密尔顿圈的图； 解： 四．(10分)求下图的最小生成树，并求其最小生成树的权值之和。 解：由克鲁斯克尔算法的其一最小生成树如下图： 权和为：20. 五．(8分)求下图G 的色多项式P k (G). 解：用公式 (G P k -G 的色多项式： )3)(3)()(45-++=k k k G P k 。 六．(10分) 22，n 3个顶点的度数为3，…，n k 个顶点的度数为k ，而其余顶点的度数为1，求1度顶点的个数。 解：设该树有n 1个1度顶点，树的边数为m. 一方面：2m=n 1+2n 2+…+kn k 另一方面：m= n 1+n 2+…+n k -1 v v 1 3 图G
离散数学模拟题一套及答案
离散数学考试（试题及答案） 一、（10分）某项工作需要派A、B、C和D4个人中的2个人去完成，按下面3个条件，有几种派法？如何派？ (1)若A去，则C和D中要去1个人； (2)B和C不能都去； (3)若C去，则D留下。 解设A：A去工作；B：B去工作；C：C去工作；D：D去工作。则根据题意应有：ACD，(B∧C)，CD必须同时成立。因此 (ACD)∧(B∧C)∧(CD) (A∨(C∧ D)∨(C∧D))∧(B∨C)∧(C∨D) (A∨(C∧ D)∨(C∧D))∧((B∧C)∨(B∧D)∨C∨(C∧D)) (A∧B∧C)∨(A∧B∧D)∨(A∧C)∨(A∧C∧D) ∨(C∧D∧B∧C)∨(C∧D∧B∧D)∨(C∧D∧C)∨(C∧ D∧C∧D) ∨(C∧D∧B∧C)∨(C∧D∧B∧D)∨(C∧D∧C)∨(C∧D F∨F∨(A∧C)∨F∨F∨(C∧ D∧B)∨F∨F∨(C∧D∧B)∨F∨(C∧D)∨F (A∧C)∨(B∧C∧ D)∨(C∧D∧B)∨(C∧D) (A∧C)∨(B∧C∧ D)∨(C∧D) T 故有三种派法：B∧D，A∧C，A∧D。 二、（15分）在谓词逻辑中构造下面推理的证明：某学术会议的每个成员都是专家并且是工人，有些成员是青年人，所以，有些成员是青年专家。 解：论域：所有人的集合。()：是专家；()：是工人；()：是青年人；则推理化形式为： (()∧())，()(()∧())
下面给出证明： (1)() P (2)(c) T(1)，ES (3)(()∧()) P (4)( c)∧( c) T(3)，US (5)( c) T(4)，I (6)( c)∧(c) T(2)(5)，I (7)(()∧()) T(6) ，EG 三、（10分）设A、B和C是三个集合，则AB(BA)。 证明：ABx(x∈A→x∈B)∧x(x∈B∧xA)x(xA∨x∈B)∧x(x∈B∧xA) x(x∈A∧xB)∧x(xB∨x∈A)x(x∈A∧xB)∨x(x∈A∨xB) (x(x∈A∧xB)∧x(x∈A∨xB))(x(x∈A∧xB)∧x(x∈B→x∈A)) (BA)。 四、（15分）设A＝{1，2，3，4，5}，R是A上的二元关系，且R＝{<2，1>，<2，5>，<2，4>，<3，4>，<4，4>，<5，2>}，求r(R)、s(R)和t(R)。 解 r(R)＝R∪I A＝{<2，1>，<2，5>，<2，4>，<3，4>，<4，4>，<5，2>，<1，1>，<2，2>，<3，3>，<4，4>，<5，5>} s(R)＝R∪R－1＝{<2，1>，<2，5>，<2，4>，<3，4>，<4，4>， <5，2>，<1，2>，<4，2>，<4，3>} R2＝{<2，2>，<2，4>，<3，4>，<4，4>，<5，1>，<5，5>，<5，4>} R3＝{<2，1>，<2，5>，<2，4>，<3，4>，<4，4>，<5，2>，<5，4>} R4＝{<2，2>，<2，4>，<3，4>，<4，4>，<5，1>，<5，5>，<5，4>}＝R2 t(R)＝R i＝{<2，1>，<2，5>，<2，4>，<3，4>，<4，4>，<5，2>，<2，2>，<5，1>，<5，4>，<5，5>}。
成人高考《高起专语文》自测试题及参考答案
2016年成人高考《高起专语文》自测试题及参考答案 一、基础知识(18分，每小题3分) 1.下列词语中带横线的字，读音全部相同的一组是( )。 A.驱使腐蚀始料不及 B.魅力联袂梦寐以求 C.赦免摄取舍本逐末 D.萦怀聪颖义愤填鹰 2.下列词语中没有错别字的一项是( )。 A.天涯海角先法治人多愁善感 B.抑扬顿措横征暴敛风驰电掣 C.脍炙人口礼上往来患得患失 D.虎视眈眈扑朔迷离无懈可击 3.下列词语中加横线字的意义全都不相同的一组是( )。 A.名不副实名至实归名列前茅名闻遐迩 B.分门别类于差万别别有洞天离情别绪 C.改弦更张改邪归正改天换地改过自新 D.老羞成怒老当益壮老气横秋老调重弹 4.下列句子没有语病的一项是( )。 A.这个小区里的居民都能和睦相处，难怪新老住户都不想离开这里外迁他处。
B.作为一个单人独车作环球采访的摄影记者。我真是经历了不少危险。 C.群众的意见和建议，各级领导必须引起足够的重视，切不可置之不理。 D.对一切重大的责任事故，我们都必须严肃对待，一查到底，绝不纵容包庇。 5.跟下面的句子衔接最恰当的一项是( )。 读者的“本钱”从何处积累呢?看来主要从生活中和书本上得来。 A.蒙童入学，未曾读过书，但他已在生活中认识了不少事物所以才能学懂浅近的课文。读书做学问都必然有一个从少到多、由浅入深的过程。两手空空而想在学术上成为“暴发户”，恐怕是不可能的。 B.读书做学问都必然有一个从少到多、由浅人深的过程。两手空空而想在学术上成为“暴发户”，恐怕是不可能的。蒙童入学，未曾读过书，但他已在生活中认识了不少事物，所以才能学懂浅近的课文。 C.蒙童入学，未曾读过书，但他已在生活中认识了不少事物，所以才能学懂浅近的课文。两手空空而想在学术上成为“暴发户”，恐怕是不可能的。读书做学问都必然有一个从少到多、由浅人深的过程。 D.读书、做学问都必然有一个从少到多、由浅入深的过程。蒙童入学，未曾读过书，但他在生活中认识了不少事物，所以才能学懂浅近的课文。两手空空而想在学术上成为“发户”，恐怕是不可能的。 6.下列句子的排列顺序，正确的一项是( )。 ①读书诮采用精读与渊读相结合的方法 ②因此这两种读书方法，不但不可以偏废，而且应该讲究巧妙的结合 ③如果对可以泛读的，采用精读的方法 ④又会浪费大量的时间，而只能吸收到司怜的一点点
图论期末考试整理复习资料
目录 第一章图的基本概念 (2) 二路和连通性 (4) 第二章树 (4) 第三章图的连通度 (6) 第四章欧拉图与哈密尔顿图 (8) 一，欧拉图 (8) 二．哈密尔顿图 (10) 第五章匹配与因子分解 (14) 一．匹配 (14) 二．偶图的覆盖于匹配 (15) 三．因子分解 (16) 第六章平面图 (20) 二．对偶图 (24) 三．平面图的判定 (25) 四．平面性算法 (28) 第七章图的着色 (34) 一．边着色 (34) 二．顶点着色 (35)
第九章 有向图 (40) 二 有向树 (41) 第一章 图的基本概念 1. 点集与边集均为有限集合的图称为有限图。 2. 只有一个顶点而无边的图称为平凡图。 3. 边集为空的图称为空图。 4. 既没有环也没有重边的图称为简单图。 5. 其他所有的图都称为复合图。 6. 具有二分类（X, Y ）的偶图（或二部图）：是指该图的点集可以分解为两个（非空）子 集 X 和 Y ，使得每条边的一个端点在 X 中，另一个端点在Y 中。 7. 完全偶图：是指具有二分类（X, Y ）的简单偶图，其中 X 的每个顶点与 Y 的每个顶点 相连，若 |X|=m ，|Y|=n ，则这样的偶图记为 Km,n 8. 定理1 若n 阶图G 是自补的（即 ），则 n = 0, 1（mod 4） 9. 图G 的顶点的最小度。 10. 图G 的顶点的最大度。 11. k-正则图: 每个点的度均为 k 的简单图。 例如,完全图和完全偶图Kn,n 均是正则图。 12. 推论1 任意图中，奇点的个数为偶数。 ()G δ()G ?
13. 14.频序列：定理4 一个简单图G的n个点的度数不能互不相同。 15.定理5 一个n阶图G相和它的补图有相同的频序列。 16. 17. 18.对称差：G1△G2 = (G1∪G2) - (G1∩G2) = (G1-G2)∪(G2-G1) 19.定义：联图在不相交的G1和G2的并图G1+G2中，把G1的每个顶点和G2的每个 顶点连接起来所得到的图称为G1和G2的联图，记为G1∨G2 20.积图：积图设G1= (V1, E1)，G2 = (V2, E2)，对点集V = V1×V2中的任意两个点u = (u1,u2)和v = (v1,v2)，当(u1 = v1和u2 adj v2) 或(u2 = v2 和u1 adj v1) 时就把u 和v 连接起来所得到的图G称为G1和G2积图。记为G = G1×G2 设G1= (V1, E1)，G2 = (V2, E2)，对点集V = V1×V2中的任意两个点u = (u1,u2)和v = (v1,v2)，当(u1 adj v1) 或(u1= v1 和u2 adj v2) 时就把u 和v 连接起来所得到的图G称为G1和G2的合成图。记为G=G1[G2]。
离散数学之集合论
第二篇集合与关系 集合论是现代各科数学的基础，它是德国数学家康托（Geog Cantor, 1845～1918）于1874年创立的，1876～1883年康托一系列有关集合论的文章，对任意元的集合进行了深入的探讨，提出了关于基数、序数和良序集等理论，奠定了集合论深厚的基础，19世纪90年代后逐渐为数学家们采用，成为分析数学、代数和几何的有力工具。 随着集合论的发展，以及它与数学哲学密切联系所作的讨论，在1900年前后出现了各种悖论，使集合的发展一度陷入僵滞的局面。1904～1908年，策墨罗（Zermelo）列出了第一个集合论的公理系统，它的公理，使数学哲学中产生的一些矛盾基本上得到了统一，在此基础上以后就逐渐形成了公理化集合论和抽象集合论，使该学科成为在数学中发展最为迅速的一个分支。 现在，集合论已经成为内容充实、实用广泛的一门学科，在近代数学中占据重要地位，它的观点已渗透到古典分析、泛函、概率、函数论、信息论、排队论等现代数学各个分支，正在影响着整个数学科学。集合论在计算机科学中也具有十分广泛的应用，计算机科学领域中的大多数基本概念和理论几乎均采用集合论的有关术语来描述和论证，成为计算机科学工作者必不可少的基础知识。集合论可作为数学学科的通用语言，一切必要的数据结构都可以利用集合这个原始数据结构而构造出来，计算机科学家或许也可以利用这种方法。 本篇介绍集合论的基础知识，主要内容包括集合及其运算、性质、序偶、关系、映射、函数、基数等。 第2-1章集合及其运算 §2-1-1 集合的概念及其表示 一、集合的概念 “集合”是集合论中的一个原始的概念，因此它不能被精确地定义出来。一般地说，把具有某种共同性质的许多事物，汇集成一个整体，就形成一个集合。构成这个集合的每一个事物称为这个集合的一个成员（或一个元素），构成集合的这些成员可以是具体东西，也可以是抽象东西。例如：教室内的桌椅；图书馆的藏书；全国的高等学校；自然数的全体；程序设计语言C的基本字符的全体等均分别构成一个集合。通常用大写的英文字母表示集合的名称；用小写的英文字母表示元素。若元素a属于集合A记作
离散数学模拟试题讲解
1 离散数学模拟试题Ⅰ 一、单项选择题(本大题共15小题,每题1分,共15分)在每小题列出的四个备选项中只有一个就是符合题目要求的,请将其代码填写在题后的括号内。错选、多选或未选均无分 1.设 }16{2<=x x x A 是整数且,下面哪个命题为假( A )。 A 、A ?}4,2,1,0{; B 、A ?---}1,2,3{; C 、A ?Φ; D 、A x x x ?<}4{是整数且。 2.设}}{,{,ΦΦ=Φ=B A ,则B －A 就是( C )。 A 、}}{{Φ; B 、}{Φ; C 、}}{,{ΦΦ; D 、Φ。 3.右图描述的偏序集中,子集},,{f e b 的上界为 ( B )。 A 、b,c; B 、a,b; C 、b; D 、a,b,c 。 4.设f 与g 都就是X 上的双射函数,则1)(-g f ο为( C )。 A 、11--g f ο; B 、1)(-f g ο; C 、11--f g ο; D 、1-f g ο。 5.下面集合( B )关于减法运算就是封闭的。 A 、N ; B 、}2{I x x ∈; C 、}12{I x x ∈+; D 、}{是质数x x 。 6.具有如下定义的代数系统>*<,G ,( D )不构成群。 A 、G={1,10},*就是模11乘 ; B 、G={1,3,4,5,9},*就是模11乘 ; C 、G=Q(有理数集),*就是普通加法; D 、G=Q(有理数集),*就是普通乘法。 7.设 },32{I n m G n m ∈?=,*为普通乘法。则代数系统>*<,G 的幺元为( B )。 f
2 A 、不存在 ; B 、0032?=e ; C 、32?=e ; D 、1132--?=e 。 8.下面集合( C )关于整除关系构成格。 A 、{2,3,6,12,24,36} ; B 、{1,2,3,4,6,8,12} ; C 、{1,2,3,5,6,15,30} ; D 、{3,6,9,12}。 9.设},,,,,{f e d c b a V =, },,,,,,,,,,,{><><><><><><=e f e d d a a c c b b a E ,则有向图 >= 浅谈数理逻辑在计算机科学中的应用 文章整理编辑---论文文库工作室（QQ1548927986） 摘要：数理逻辑是离散数学课程中研究推理的逻辑学科，它为确定一个给出的论证是否有效提供各种法则和技巧，在计算机科学里用来检验程序的正确性，也可以验证定理和推论，同时在计算机模型、计算机程序设计语言、计算机硬件系统等方面有着重要作用。研究数理逻辑在计算机科学领域中的应用，必须从研究数理逻辑的符号化开始讨论、加以分析、验证结论。 关键词：数理逻辑；命题逻辑；一阶逻辑；推理理论 离散数学是现代数学的重要分支，是研究离散量的结构及相互关系的学科，它在计算机理论研究及软、硬件开发的各个领域都有着广泛的应用。其内容大致包含数理逻辑、集合论、代数结构、组合数学、图论和初等数论6部分，这6部分从不同的角度出发，研究各种离散量之间数与形的关系。本文主要研究数理逻辑部分在计算机科学领域中的应用。 1.为计算机的可计算性研究提供依据 数理逻辑分为命题逻辑和一阶逻辑两部分，命题逻辑是一阶逻辑的特例。在研究某些推理问题时，一阶逻辑比命题逻辑更准确。数理逻辑中的可计算谓词和计算模型中的可计算函数是等价的,互相可以转化，计算可以用函数演算来表达，也可以用逻辑系统来表达。 某些自然语言的论证看上去很简单，直接就可以得出结论，但是通过数理逻辑中的两种符号化表达的结果却截然不同，让人们很难理解，这就为计算机的可计算性研究埋下伏笔。下面举一个简单例子加以说明。 例1 凡是偶数都能被2整除。6是偶数，所以6能被2整除。 可见，一个复杂的命题或者公式可以利用符号的形式来说明含义，来判断正确性，这使得计算机科学中的通过复杂文字验证的推理过程变得简单、明了了。 2.为计算机硬件系统的设计提供依据 数理逻辑部分在计算机硬件设计中的应用尤为突出，数字逻辑作为计算机科学的一个重要理论，在很大程度上起源于数理逻辑中的布尔运算。计算机的各种运算是通过数字逻辑技术实现的，而代数和布尔代数是数字逻辑的理论基础，布尔代数在形式演算方面虽然使用了代数的方法，但其内容的实质仍然是逻辑。范式正是基于布尔运算和真值表给出的一个典型公式。 下面以计算机科学中比较典型的开关电路的设计为实例说明数理逻辑中布尔代数和范式的应用。整个开关电路从功能上可以看做是一个开关，把电路接通的状态记为1（即结果为真），把电路断开的状态记为0（即结果为假），开关电路中的开关也要么处于接通状态，要么处于断开状态，这两种状态也可以用二值布尔代数来描述，对应的函数为布尔函数，也叫线路的布尔表达式。接通条件相同的线路称为等效线路，找等效线路的目的是化简线路，使线路中包含的节点尽可能地少。利用布尔代数可设计一些具有指定的节点线路，数学上既是按给定的真值表构造相应的布尔表达式，理论上涉及到的是范式理论，但形式上并不难构造。 例2 关于选派参赛选手，赵，钱，孙三人的意见分别是：赵：如果不选派甲，那么不选派乙。钱：如果不选派乙，那么选派甲；孙：要么选甲，要么选乙。以下诸项中，同时满足赵，钱，孙三人意见的方案是什么？ 解答：把赵，钱，孙三个人的意见看做三条不同的线路，对三条线路化简得到接通状态 离散数学图论部分综合练习 一、单项选择题 1．设图G 的邻接矩阵为 ??? ???? ? ????? ???0101 010******* 11100100110 则G 的边数为( )． A ．6 B ．5 C ．4 D ．3 2．已知图G 的邻接矩阵为 ， 则G 有（ ）． A ．5点，8边 B ．6点，7边 C ．6点，8边 D ．5点，7边 3．设图G ＝ 图三 7．设有向图（a ）、（b ）、（c ）与（d ）如图四所示，则下列结论成立的是 ( ) ． 图四 A ．（a ）是强连通的 B ．（b ）是强连通的 C ．（c ）是强连通的 D ．（d ）是强连通的 应该填写：D 8．设完全图K n 有n 个结点(n ≥2)，m 条边，当（ ）时，K n 中存在欧拉回路． A ．m 为奇数 B ．n 为偶数 C ．n 为奇数 D ．m 为偶数 9．设G 是连通平面图，有v 个结点，e 条边，r 个面，则r = ( )． A ．e －v ＋2 B ．v ＋e －2 C ．e －v －2 D ．e ＋v ＋2 10．无向图G 存在欧拉通路，当且仅当( )． A ．G 中所有结点的度数全为偶数 B ．G 中至多有两个奇数度结点 C ．G 连通且所有结点的度数全为偶数 D ．G 连通且至多有两个奇数度结点 11．设G 是有n 个结点，m 条边的连通图，必须删去G 的( )条边，才能确定G 的一棵生成树． A ．1m n -+ B ．m n - C ．1m n ++ D ．1n m -+ 12．无向简单图G 是棵树，当且仅当( )． A ．G 连通且边数比结点数少1 B ．G 连通且结点数比边数少1 C ．G 的边数比结点数少1 D ．G 中没有回路． 二、填空题 1．已知图G 中有1个1度结点，2个2度结点，3个3度结点，4个4度结 点，则G 的边数是 ． 2．设给定图G (如图四所示)，则图G 的点割 ο ο ο ο c a b f 北京语言大学网络教育学院 《离散数学》模拟试卷一 注意： 1.试卷保密，考生不得将试卷带出考场或撕页，否则成绩作废。请监考老师负责监督。 2.请各位考生注意考试纪律，考试作弊全部成绩以零分计算。 3.本试卷满分100分，答题时间为90分钟。 4.本试卷分为试题卷和答题卷，所有答案必须答在答题卷上，答在试题卷上不给分。 一、【单项选择题】(本大题共15小题，每小题3分，共45分)在每小题列出的四个选项中只有一个选项是符合题目要求的，请将正确选项前的字母填在答题卷相应题号处。 1、在由3个元素组成的集合上，可以有 ( ) 种不同的关系。 [A] 3 [B] 8 [C]9 [D]27 2、设{}{}1,2,3,5,8,1,2,5,7A B A B ==-=,则（ ）。 [A] 3,8 [B]{}3 [C]{}8 [D]{}3,8 3、若X 是Y 的子集，则一定有（ ）。 [A]X 不属于Y [B]X ∈Y [C]X 真包含于 Y [D]X∩Y=X 4、下列关系中是等价关系的是（ ）。 [A]不等关系 [B]空关系 [C]全关系 [D]偏序关系 5、对于一个从集合A 到集合B 的映射，下列表述中错误的是（ ）。 [A]对A 的每个元素都要有象 [B] 对A 的每个元素都只有一个象 [C]对B 的每个元素都有原象 [D] 对B 的元素可以有不止一个原象 6、设p:小李努力学习，q:小李取得好成绩，命题“除非小李努力学习，否则他不能取得好成绩”的符号化形式为（ ）。 [A]p→q [B]q→p [C]┐q→┐p [D]┐p→q 7、设A={a,b,c},则A 到A 的双射共有（ ）。 [A]3个 [B]6个 [C]8个 [D]9个 太原理工大学软件测试技术 适用专业：软件工程2011级考试日期：2014.1 时间：120 分钟 一、判断题 1. 测试是调试的一个部分（╳） 2. 软件测试的目的是尽可能多的找出软件的缺陷。（√） 3. 程序中隐藏错误的概率与其已发现的错误数成正比（√） 4. Beta 测试是验收测试的一种。（√） 5. 测试人员要坚持原则，缺陷未修复完坚决不予通过。（√） 6. 项目立项前测试人员不需要提交任何工件。（╳） 7. 单元测试能发现约80%的软件缺陷。（√） 8. 测试的目的是发现软件中的错误。（√） 9. 代码评审是检查源代码是否达到模块设计的要求。（√） 10. 自底向上集成需要测试员编写驱动程序。（√） 11. 测试是证明软件正确的方法。（╳） 12. 负载测试是验证要检验的系统的能力最高能达到什么程度。（√） 13. 测试中应该对有效和无效、期望和不期望的输入都要测试。（√）验收测试是由最 终用户来实施的。（√） 14. 测试人员要坚持原则，缺陷未修复完坚决不予通过。（√）黑盒测试也称为结构测试。（╳）集成测试计划在需求分析阶段末提交。（╳） 15. 软件测试的目的是尽可能多的找出软件的缺陷。(√) 16. 自底向上集成需要测试员编写驱动程序。(√) 17. 负载测试是验证要检验的系统的能力最高能达到什么程度。(╳) 18. 测试程序仅仅按预期方式运行就行了。(╳) 19. 不存在质量很高但可靠性很差的产品。(╳) 20. 软件测试员可以对产品说明书进行白盒测试。(╳) 21. 静态白盒测试可以找出遗漏之处和问题。(√) 22. 总是首先设计白盒测试用例。(╳) 23. 可以发布具有配置缺陷的软件产品。(√) 24. 所有软件必须进行某种程度的兼容性测试。(√) 25. 所有软件都有一个用户界面，因此必须测试易用性。(╳) 26. 测试组负责软件质量。(╳) 27. 按照测试实施组织划分，可将软件测试分为开发方测试、用户测试和第三方测试。(√) 28. 好的测试员不懈追求完美。(× ) 29. 测试程序仅仅按预期方式运行就行了。( × ) 30. 在没有产品说明书和需求文档的条件下可以进行动态黑盒测试。( √) 31. 静态白盒测试可以找出遗漏之处和问题。( √) 32. 测试错误提示信息不属于文档测试范围。( × ) 组合数学部分 第1章 排列与组合 例1： 1)、求小于10000的含1的正整数的个数； 2、)求小于10000的含0的正整数的个数； 解：1)、小于10000的不含1的正整数可看做4位数,但0000除外.故有9×9×9×9－1＝6560个.含1的有：9999－6560=3439个 2)、“含0”和“含1”不可直接套用。0019含1但不含0。在组合的习题中有许多类似的隐含的规定，要特别留神。不含0的1位数有19个，2位数有29个，3位数有39个，4位数有49个 不含0小于10000的正整数有() ()73801919999954321=--=+++个含0小于10000的正整数9999－7380=2619个。 例2： 从[1,300]中取3个不同的数，使这3个数的和能被3整除，有多少种方案？ 解：将[1,300]分成3类： A={i|i ≡1(mod 3)}={1,4,7,…,298}, B={i|i ≡2(mod 3)}={2,5,8,…,299}, C={i|i ≡0(mod 3)}={3,6,9,…,300}. 要满足条件，有四种解法： 1)、3个数同属于A; 2)、3个数同属于B ； 3)、3个数同属于C; 4)、A,B,C 各取一数；故共有3C(100,3)+1003=485100+1000000=1485100。 例3：（Cayley 定理：过n 个有标志顶点的数的数目等于2-n n ） 1）、写出右图所对应的序列； 2）、写出序列22314所对应的序列； 解： 1）、按照叶子节点从小到大的顺序依次去掉节点（包含与此叶子 节点相连接的线），而与这个去掉的叶子节点相邻的另外一个点值则记入序列。如上图所示，先去掉最小的叶子节点②，与其相邻的点为⑤，然后去掉叶子节点③，与其相邻的点为①，直到只剩下两个节点相邻为止，则最终序列为51155.。 2）、首先依据给定序列写出（序列长度+2）个递增序列，即1234567，再将给出序列按从小到大顺序依次排列并插入递增序列得到：7。我们再将给出序列22314写在第一行，插入后的递增序列写在第二行。如下图第一行所示： ??→????? ??--②⑤67112223344522314??→???? ? ??--②⑥11223344672314 ??→????? ??--③②11233447314??→???? ? ??--①③11344714 数理逻辑的心得 数理逻辑：是计算机科学的基础，应熟练掌握将现实生活中的条件化成逻辑公式，并能做适当的推理，这对程序设计等课程是极有用处的。是大四接触到的，现简单介绍一下数理逻辑的发展史，算是一点感悟吧 1数理逻辑的发展前期 ·前史时期——古典形式逻辑时期：亚里斯多德的直言三段论理论 ·初创时期——逻辑代数时期（17世纪末） ·资本主义生产力大发展，自然科学取得了长足的进步，数学在认识自然、发展技术方面起到了相当重要的作用。 ·人们希望使用数学的方法来研究思维，把思维过程转换为数学的计算。 ·莱布尼兹(Leibniz, 1646~1716)完善三段论，提出了建立数理逻辑或者说理性演算的思想： ·提出将推理的正确性化归于计算，这种演算能使人们的推理不依赖于对推理过程中的命题的含义内容的思考，将推理的规则变为演算的规则。 ·使用一种符号语言来代替自然语言对演算进行描述，将符号的形式和其含义分开。使得演算从很大程度上取决与符号的组合规律，而与其含义无关。 ·布尔(G. Boole, 1815~1864)代数：将有关数学运算的研究的代数系统推广到逻辑领域，布尔代数既是一种代数系统，也是一种逻辑演算。 数理逻辑的奠基时期 ·弗雷格(G. Frege, 1848~1925)：《概念语言——一种按算术的公式语言构成的纯思维公式语言》(1879)的出版标志着数理逻辑的基础部分——命题演算和谓词演算的正式建立。 ·皮亚诺(Giuseppe Peano, 1858~1932)：《用一种新的方法陈述的算术原理》(1889)提出了自然数算术的一个公理系统。 ·罗素(Bertrand Russell, 1872~1970)：《数学原理》(与怀特黑合著，1910, 1912, 1913)从命题演算和谓词演算开始，然后通过一元和二元命题函项定义了类和关系的概念，建立了抽象的类演算和关系演算。由此出发，在类型论的基础上用连续定义和证明的方式引出了数学（主要是算术）中的主要概念和定理。 ·逻辑演算的发展：甘岑(G. Gentzen)的自然推理系统(Natural Deduction System)，逻辑演算的元理论：公理的独立性、一致性、完全性等。 ·各种各样的非经典逻辑的发展：路易斯(Lewis, 1883~1964)的模态逻辑，实质蕴涵怪论和严格蕴涵、相干逻辑等，卢卡西维茨的多值逻辑等。 集合论的悖论使得人们觉得数学产生了第三次危机，提出了数学的基础到底是什么这样的问题。 ·罗素等的逻辑主义：数学的基础是逻辑，倡导一切数学可从逻辑符号推出，《数学原理》一书是他们这一思想的体现。为解决悖论产生了逻辑类型论。 ·布劳维尔(Brouwer, 1881~1966)的直觉主义：数学是心灵的构造，只承认可构造的数学，强调构造的能行性，与计算机科学有重要的联系。坚持潜无穷，强调排中律不能用于无穷集合。海丁(Heyting)的直觉主义逻辑。 ·希尔伯特(D. Hilbert)的形式主义：公理化方法与形式化方法，元数学和证明论，提倡将逻辑演算和数学证明本身形式化，把用普通的语言传达的内容上的数学科学变为用数学符号和逻辑符号按一定法则排列的一堆公式。为了消除悖论，要数学建立在公理化基础上，将 《离散数学》模拟试题 一、 填空题（每小题2分，共20分） 1. 已知集合A ={φ，1，2}，则A 得幂集合p （A ）=_____ _。 2. 设集合E ={a , b , c , d , e }, A = {a , b , c }, B = {a , d , e }, 则A ∪B =___ ___， A ∩ B =____ __，A －B =___ ___，～A ∩～B =____ ____。 3. 设A ，B 是两个集合，其中A = {1, 2, 3}, B = {1, 2}，则A －B =____ ___， ρ（A ）－ρ（B ）=_____ _ _。 4. 已知命题公式，则G 的析取范式为 。 5. 设P ：2＋2＝4，Q ：3是奇数；将命题“2＋2＝4，当且仅当3是奇数。”符号化 ，其真值为 。 二、单项选择题（选择一个正确答案的代号填入括号中，每小题4分，共16分。） 1. 设A 、B 是两个集合，A ＝{1,3,4}，B ＝{1,2}，则A －B 为（ ）. A. {1} B. {1, 3} C. {3,4} D. {1,2} 2. 下列式子中正确的有（ ）。 A. φ＝0 B. φ∈{φ} C. φ∈{a,b} D. φ∈φ 3. 设集合X ＝{x , y }，则ρ（X ）＝（ ）。 A. {{x },{y }} B. {φ,{x },{y }} C. {φ,{x },{y },{x , y }} D. {{x },{y },{x , y }} 4. 设集合 A ＝{1,2,3}，A 上的关系 R ＝ {(1,1),(2,2),(2,3),(3,3),(3,2)}， 则R 不具备（ ）. 三、计算题（共50分） R Q P G →∧?=)( 单片机自测试题三 一、单项选择题（30分） 1．在中断服务程序中至少应有一条（） A.传送指令 B.转移指令 C.加法指令 D.中断返回指令 2．当MCS-51复位时，下面说法准确的是（） A.PC=0000H B.SP=00H C.SBUF=00H D.（30H）=00H 3．要用传送指令访问MCS-51片外RAM，它的指令操作码助记符是（） A.MOV B.MOVX C.MOVC D.以上都行 4．ORG 2000H LACLL 3000H ORG 3000H RET 上边程序执行完RET指令后，PC=（） A.2000H B.3000H C.2003H D.3003H 5．要使MCS-51能响应定时器T1中断，串行接口中断，它的中断允许寄存器IE的容应是（） A.98H B.84H C.42H D.22H 6．JNZ REL指令的寻址方式是（） A.立即寻址 B.寄存器寻址 C.相对寻址 D.位寻址 7．执行LACLL 4000H指令时, MCS-51所完成的操作是( ) Ａ保护ＰＣＢ.4000H→PC C.保护现场 D.PC+3入栈, 4000H→PC 8.下面哪条指令产生WR信号( ) A.MOVX A,DPTR B.MOVC A,A+PC C.MOVC A,A+DPTR D.MOVX DPTR,A 9.若某存储器芯片地址线为12根,那么它的存储容量为( ) A. 1KB B. 2KB C.4KB D.8KB INT引脚上的一个正脉冲宽度,则TMOD的容应为( ) 10.要想测量0 A.09H B.87H C.00H D.80H 11.PSW=18H时,则当前工作寄存器是( ) A.0组 B. 1组 C. 2组 D. 3组 12.MOVX A,DPTR指令中源操作数的寻址方式是( ) A. 寄存器寻址 B. 寄存器间接寻址 C.直接寻址 D. 立即寻址 13. MCS-51有中断源( ) A.5 B. 2 C. 3 D. 6 14. MCS-51上电复位后,SP的容应为( ) A.00H B.07H C.60H D.70H https://www.360docs.net/doc/3d11633445.html, 0003H LJMP 2000H ORG 000BH LJMP 3000H 当CPU响应外部中断0后,PC的值是( ) A.0003H B.2000H C.000BH D.3000H 16.控制串行口工作方式的寄存器是( ) A.TCON B.PCON C.SCON D.TMOD 17.执行PUSH ACC指令, MCS-51完成的操作是( ) A.SP+1→SP, ACC→SP B. ACC→SP, SP-1→SP C. SP-1→SP, ACC→SP D. ACC→SP, SP+1→SP 18.P1口的每一位能驱动( ) A.2个TTL低电平负载 B. 4个TTL低电平负载 C.8个TTL低电平负载 D.10个TTL低电平负载 19.PC中存放的是( ) A.下一条指令的地址 B. 当前正在执行的指令 C.当前正在执行指令的地址 D.下一条要执行的指令 20.8031是( ) A.CPU B.微处理器 C.单片微机 D.控制器 21.要把P0口高4位变0,低4位不变,应使用指令( ) A.ORL P0,#0FH B.ORL P0,#0F0H C.ANL P0,#0F0H D.ANL P0,#0FH 22.下面哪种外设是输出设备( ) 數理邏輯與集合論作業二 1. 解：該題應該理解為此列表中每一句都是形如“i: 在這個列表中，恰有i條語句為假”的形式。 a)思路：考慮這100句裡可能有幾句為真。是否可能沒有一句為真？是否可能 祗有一句為真，是哪一句？是否可能多餘等於兩句為真？ b)思路：“至少i+1句為假”蘊含“至少i句為假”，若第i句為真，則1…… i-1句都為真，所以第 100, 99, 98, ……句都為假，一直到第50句為真 c) 思路同上，但是…… 2. 解答：如果我說右邊的路通往遺跡你將回答“是”，對嗎？ 3. 解答： ))))a q p b p q c q p d q p →∧→?→? 4. 也就是上述描述是否自相矛盾？ 5. 解答： 条件符号化 ::::(1)(2)(C G)(3)(G W)G W (4)G W G W S C G W S C G W S C C G W C C S C S →?∧=?∨???∧?=∨→?????男管家廚師園丁雜役假設為真，則由（2）得：再由（1）得：但無法判定的真假 假設為假，則由（3）得：再由（4）得：由（1）得：綜上所述：和說了假話，，的話真假未知 6. 四个朋友被认定为非法进入某计算机系统的嫌疑人。他们已对调查员作了陈述。 艾丽斯说“卡罗斯干的” 约翰说“我没幹。” 卡罗斯说“戴安娜干的。” 戴安娜说“卡罗斯说是我幹的，他说谎。” a）如果调查员知道四个嫌疑人中恰有一人说真话，那么准幹的？解释你的推理。 b）如果调查员知道恰有一人说谎，谁干的？解释你的推理。 解：前提符號化為 （1）A: C （2）J: ? J （3）C: D （4）D: ? (C: D) a) 祗有一句話為真，而（3）（4）有且僅有一句為真，分別討論（3）（4）為真的情況。 b）分析步驟同上。 7. 用真值表證明德摩根律和吸收律。 解答略 8. 使用等值演算證明下列命題公式為永真式（不得用真值表） 解答： a 1 2017年图论课程练习题 一．填空题 1.图1中顶点a 到顶点b 的距离d (a ,b )= 。 a b 9 图1 1 2.已知图G 的邻接矩阵0 11011 01001 1010001011001 0A = ，则G 中长度为2的途径总条数为 。 3.图2中最小生成树T 的权值W (T )= 。 4.图3的最优欧拉环游的权值为 。 12 图 2 2 图3 5.树叶带权分别为1,2,4,5,6,8的最优二元树权值为 。 二．单项选择 1．关于图的度序列，下列说法正确的是( ) (A) 对任意一个非负整数序列来说，它都是某图的度序列； (B) 若非负整数序列12(,,,)n d d d π= 满足1n i i d =∑为偶数，则它一定是图序 列； (C) 若图G 度弱于图H ，则图G 的边数小于等于图H 的边数； (D) 如果图G 的顶点总度数大于或等于图H 的顶点总度数，则图G 度优 于图H 。 2．关于图的割点与割边，下列说法正确的是（ ） (A) 有割边的图一定有割点； (B) 有割点的图一定有割边； (C) 有割边的简单图一定有割点； (D) 割边不在图的任一圈中。 3.设()k G ，()G λ，()G δ分别表示图G 的点连通度，边连通度和最小度。下面说法错误的是( ) 3 (A) 存在图G ，使得()k G =()G δ=()G λ； (B) 存在图G ，使得()()()k G G G λδ<<； (C) 设G 是n 阶简单图，若()2n G δ ≥ ，则G 连通，且()()G G λδ=； (D) 图G 是k 连通的，则G 的连通度为k 。 4.关于哈密尔顿图，下列命题错误的是( ) (A) 彼得森图是非哈密尔顿图； (B) 若图G 的闭包是哈密尔顿图，则其闭包一定是完全图； (C) 若图G 的阶数至少为3且闭包是完全图，则图G 是哈密尔顿图； (D) 设G 是三阶以上简单图，若G 中任意两个不邻接点u 与v ，满足 ()()d u d v n +≥，则G 是哈密尔顿图。 5.下列说法错误的是( ) (A) 有完美匹配的三正则图一定没有割边； (B) 没有割边的三正则图一定存在完美匹配； (C) 任意一个具有哈密尔顿圈的三正则图可以1因子分解； (D) 完全图21n K +是n 个哈密尔顿圈的和。 三、 设无向图G 有10条边，3度与4度顶点各2个，其余顶点度数均小于3，问G 中至少有几个顶点？在最少顶点数的情况下，写出G 的度序列，该度序列是一个图序列吗？。浅谈数理逻辑在计算机科学中的应用
离散数学图论部分经典试题及答案
离散数学模拟试卷和答案
(完整版)软件测试试题及答案
图论与组合数学期末复习题含答案
数理逻辑心得
离散数学模拟试题及答案
自测试题三及参考答案
数理逻辑与集合论作业二 - 参考解答
电子科技大学2017年图论期末试卷