第一套
一、选择题 (每小题2分，共10分)
1. 下列对命题的判断正确的是（ ）。
（1）今天天晴真好啊！
（2）我正在说谎。
（3）如果今天不下雨，我就出去玩。
（4）明天我去看电影。
（5）x+y≥10。
（6）不存在最大的自然数。
A.（1）、（2）、（5）都不是命题。 B.（3）是简单命题。
C.（4）是真命题。 D.（6）是假命题。
2.用集合表示下图的阴影部分错误的是（ ）。
A. (～A∩B) ∪(～B∩A) B. ( A-B)∩(B-A)
C. (B-A)∪(A-B) D. (A∪B)-(A∩B)
3. 在下列从A到B的二元关系f中，满足f为双射函数的是（ ）。
A. A={a，b，c}，B={0，1，2，3}， f ={<a，0>，<b，2>，<c，1>}
B. A={x，y，z}，B={a，b}， f ={<x，a>，<y，b>，<z，a>}
C. A={-1，1，2}，B={1，2，4}， f (x)=x2
D. A={0，1，2}，B={1，3，5}， f (x)=2x+1
4. 下列说法中错误的是（ ）。
A. 广群是一个具有封闭二元运算的非空集合。
B. 半群是一个具有结合运算的广群。
C. 独异点是具有幺元的广群。
D. 群是每个元素都有逆元的独异点。
5. 在如下所示的四个图中，存在欧拉路（或单向欧拉路）的图是（ ）。
二、填空题 (每小题2分，共12分)
1. 设P、Q、R的真值如下表所示：
| P | Q | R |
| F | F | T |
则命题公式 (﹁P∧Q)∨(P→R)的真值是 。
2. 设个体域D={1，2，3}，消去谓词公式("x)(P(x)∨Q(x))的量词，得到与之等价的命题公式是 。
3. 设集合A={1，2，3}，集合B={2，3，4}，则|A×B|= ，从A到B上的大于关系R= 。
4. 设集合A={a，b，c，d}，B={1，2，3}，C={x，y，z}，f是集合A到集合B上的映射，g是集合B到集合C上的映射，f ={<a，1>，<b，2>，<c，1>，<d，3>}，g={<1，x>，<2，y>，<3，z>}，则复合函数g 。f = 。
5. 设P表示命题“她努力学习”，Q表示命题“她是三好学生”，则命题“虽然她努力学习，但她不是三好学生”可符号化为 。
6. 设代数系统<G，*>，G={a，b，c，d}，*是二元运算，其运算表如下所示：
| * | a | b | c | d |
| a | a | a | a | a |
| b | a | b | c | d |
| c | a | c | a | c |
| d | a | d | c | b |
则G中关于*的幺元是 ，零元是 。
三、计算题 (每小题8分，共24分)
1. 集合A={1，2，3}上的二元关系R的关系图如下所示，写出R对应的关系表达式和关系矩阵，并计算r(R)，s(R)和t(R)。
2. 设A={1，2，3，5}，H={A，∅}，在代数系统< H，⊕>中，⊕运算表示两个集合的对称差。
（1）画出在H上关于⊕运算的运算表，并求出H中每个元素的逆元。
（2）若A⊕X={2，3，6}，求X。
3. 在一棵无向树中，度数为2的结点有2个，度数为3的结点有4个，叶子结点8个，其他结点度数都为4，问度数为4的结点有多少个？
四、证明题 (每小题6分，共18分)
1. 设P、Q、R为命题变元，证明 (P→﹁Q)∨(P«R)⇔﹁P∨﹁Q∨R。
2. 设A、B、C为任意3个集合，证明 A﹣(B∪C) = (A﹣B)﹣C。
3. 在整数集Z上定义：a·b=a+b，证明<Z，·>是一个群。
五、作图题(每小题8分，共16分)
1. 设集合A = {1，2，3，6，12，24，36}，R是A上的整除关系，验证R是偏序关系并画出对应的哈斯图。
2. 有无向图G如下所示，判断G是否为平面图。若是，计算G各面的次数并画出其对偶图。
六、应用题 (每小题10分，共20分)
1. 每个计算机专业的学生都有一台个人计算机，所有拥有个人计算机的人都会使用主流的操作系统。王明不会使用主流的操作系统，所以王明不是计算机专业的学生。
（1）符号化以上语句。
（2）验证结论是否有效。（要求：利用谓词推理理论）
2. 某班有音乐、舞蹈、书法、乐器、主持和英语6个兴趣小组。音乐小组有张三、李丽和王鹏；舞蹈小组有李伟和王明；书法小组有张三、王立和莉莉；乐器小组有周晓和李伟；主持小组有张三和大卫；英语小组有周晓、王明和王立。现要召集所有小组开会，每组半天。
（1）在没有人同时参加两个会的前提下，所有小组都开完一次组会至少需要几天？
（2）给出一套会议安排方案。（要求：利用图的结点着色求解）
第二套
一、选择题
1. 用集合表达下图阴影部分正确的是（ ）。
A、A∩B∩C B、(A∪B)∩C C、A∪(B∩C) D、A∪B∪C
2. 下列函数中，属于双射函数的是（ ）。（注：N、Z、R分别表示自然集、整数集和实数集）
A、f: N–N，f(x)=x2+1
B、f: N–N，f(x)=3x
C、f: R–R，f(x)=x+1
D、f: Z–Z，f(x)=|x|
3. 对于代数系统<N4,⊕4>，N4 ={0,1,2,3}，“⊕4”为模4加法，其运算表如下：
则下列说法错误的是（ ）。
A、代数系统<N4,⊕4>是一个独异点
B、代数系统<N4,⊕4>是一个群
C、代数系统<N4,⊕4>是一个阿贝尔群
D、代数系统<N4,⊕4>不是一个循环群
4. 在下图所示的无向图中，其生成树的边有（ ）条。
A、4 B、5 C、6 D、7
5. 设集合A={a,b,c,d,e}，下列选项中哪一个集合不是A的划分（ ）。
A、{{a}，{b,c}，{d}，{e}}
B、{{a,b}，{c,d,e}}
C、{{a,b,c}，{d}，{e}}
D、{{a}，{b,d}，{a,d}，{b,e}}
二、填空题
1. 设P表示命题“今天放假”，Q表示命题“我去公园玩”，则命题P→Q所表示的中文含义是 。
2. 若P、Q表示命题变元，则命题公式 (﹁P∧Q)∨P∨﹁Q的真值是 。
3. 设个体域D={a,b}，消除谓词公式("x) ( P(x)∨Q(x) )中的量词后，得到与之等价的命题公式
是 。
4. 设P(x)表示x=2x2，x的个体域为正整数集合Z+，谓词公式(存在x)P(x)的真值是 。
5. 设集合P = {a, b, c}，R为P上的二元关系且R={<a , b>，<a , c>，<b , c>} ，则关系R的对称闭包为 。
6.设集合A={1,2,3}，B={u,v,w}，C={a,b,c}，f是集合A到集合B上的映射，g是集合B到集合C上的映射，f={<1,u>, <2,w>, <3,v>}，g={<u,a><v,c><w,b>}，则复合函数g。f
。
三、计算题
1. 设有一代数系统<Z,#>，运算“#”定义为：对于任意的x, y∈Z，x#y=x+y-1。计算代数系统<Z, #>的幺元及任意元素的逆元。（注：Z为整数集）
2. 设有一棵无向树，树中度数为4的结点有2个，度数为2的结点有6个，叶子结点7个，其余结点度数为3，求树中度数为3的结点个数。
3.设集合A={a,b,c,d}上有自反关系R={<a,a>,<a,b>,<b,b>,<c,c>,<d,d>}，对称关系S={<a,a>,<a,b>,<b,a><b,c>,<c,b>}。写出R、S的关系矩阵，并求包含R和S的最小等价关系。
四、证明题
1. 设P、Q、R为命题变元，证明：( P→Q)→R⇔(P∨R)∧(﹁Q∨R)。
2. 设A、B、C为任意3个集合，证明：(A﹣C)∩(B∪C) = (A∩B)﹣C。
3. 设有五门课程安排在连续的五天考试，要求同一教师任课的两门课程不能连续考试。证明：若同一教师任课的课程数不多于3门，则总能有满足上述要求的考试安排。
五、作图题
1. 写出集合A = {2，3，4，6，8，9，12}上的整除关系R，验证R为偏序关系，给出其盖住关系COV A并画出对应的哈斯图。
2. 有一如下所示的地图，现需对图的各个区域进行着色，要求任意两个相邻的区域着不同颜色。画出此图的对偶图并利用韦尔奇·鲍威尔法用三种颜色对地图着色。
六、应用题
1.在一个岛上住着骑士和无赖两类人，骑士说真话，无赖说假话。某天，你在岛上碰到了A、B、C三人。A说：“我们三人都是无赖”，B说：“我们三人中只有一人是无赖”。请将以上问题符号化并推理出C为哪类人。
2. 自动车床是一种利用凸轮控制刀具进退来切削机械零件的机械设备，一般情况下，凸轮转一圈可加工一个零件。若刀具前进用二进制数“1”表示、刀具后退用二进制数“0”表示，凸轮示意如图所示。现有某零件要求刀具连续完成16个前进、后退的动作，且从第一个动作开始，任意连续的4个动作都和其他连续4个动作不一样。假定前4个动作为“进、进、退、进”，请设计一个符合要求的刀具进、退序列。
2938
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
