20072008离散数学期末考试A卷

设F(x)：x是人，G(x)：x去过火星。下列公式中哪个（些）是命题"没有人去过火星"的符号化形式？

A．Ⅰ和Ⅱ

B．Ⅱ和Ⅲ

C．只有Ⅲ

D．全部


正确答案：B

设V1为无向连通图G的点割集，记G删除V1的连通分支个数为p(G- V1) = k，下列命题中一定为真的为

A．k≥2

B．k≥3

C．k≤2

D．k = 2


正确答案：A

已知学生关系S(学生，姓名，班级，课程名称，成绩)，学号由入学年份、专业编号和班内编号组成。则其候选关键字是( )。

A．(学号，姓名)

B．(学号，课程名称)

C．(姓名，成绩)

D．(学号，班级)


正确答案：A
解析：关键字就是主码，在本题中，将学号和姓名可以作为关键字，因为这两个作为关键字，重复的可能性最小。

已知学生关系S(学号、姓名、班级、课程名称、成绩)，学号由入学年份、系别、专业编号和班内编号组成。则其侯选关键字是( )。

A．(学号、姓名)

B．(学号、课程名称)

C．(姓名、成绩)

D．(学号、班级)


正确答案：B

学生在学院在线教育平台的学生空间里姓名、身份证号、照片等重要信息有误,联系学生所属的(),学生重要信息的修改在学生入学后第()。

A.学习中心或函授站，一学期

B.学习中心或函授站，一学年

C.继续教育学院，一学期

D.继续教育学院，一学年


正确答案：A

*蜜* 西南科技大学20072008学年第 2 学期 离散数学 期末考试试卷（A卷）课程代码143140320命题单位计算机学院：信息教研室学院:_班级:_姓名:_学号:_一、 (10分) 符号化下列命题：（1） 如果G是长方形, 那么G的四个角都是直角。设R：G是长方形，S：G的四个角都是直角。（2）如果明天上午八点不是刮风下雨，则我将去打球。设P：明天上午八点刮风；Q：明天上午八点下雨；R：我将去打球。（3）我明天或后天去苏州的说法是谣传。设P：我明天去苏州；Q：我后天去苏州（4）长鼻子的动物不都是大象。设G(x)：x长鼻子的动物，L(x) ：x是大象（5）并非所有的老师都是学者；设A（x）：x是老师，B（x）：x是学者。二、 (7分)化简命题公式： (PQ)(P(PQ)三、 (10分)求命题公式：P(QR) 的主析取范式和主合取范式。四、 (16分)用推理规则证明：（1） (8分) (PQ)，QR，RP（2） (8分) x(P(x)Q(x)，xP(x)xQ(x)五、 (10分)对谓词公式：x$yP(x,y) 先消去量词后再求真值。其中，个体域D=1，2，P(1,1)P(2,1)F，P(1,2)P(2,2)T。六、 (7分)对于任意集合A、B和C，证明：A-(BC)=(A-B)(A-C)七、 （10分）设R是集合A上的二元关系，证明：（1） (4分)若R对称，则r(R)对称。（2） (6分)ts(R)st(R)西南科技大学20072008学年第 2 学期 离散数学 期末考试试卷（A卷）八、 (10分)定义实数集合A上的二元关系R=(x-y)/2z，z为整数集合。（1） (6分)证明：R是A上的等价关系。（2） (4分)求由等价关系R所产生的1的等价类1R。九、 (10分) (10分)设集合A=1，2，3，4，图G给出了A上的一个偏序关系，试画出它的哈斯图，并求该偏序集的最小元、最大元、极小元、极大元。十、 （10分）有向图G如下图所示。 图G（1） (3分)写出G的邻接矩阵。（2） (2分)求v2结点的出度和入度。西南科技大学20072008学年第 2 学期 离散数学 期末考试试卷（A卷）（3） (5分)利用邻接矩阵求G中长度为2的路径的总数，并写出v1至v2长度为2的路径。第 3 页 共 3 页

已知学生关系S(学生、姓名、班级、课程名称、成绩)，学号由入学年份、系别、专业编号和班内编号组成。则其侯选关键字是( )。

A．(学号、姓名)

B．(学号、课程名称)

C．(姓名、成绩)

D．(学号、班级)


正确答案：A

判断下列命题是真命题还是假命题，如果是假命题，举出一个反例。

（1）两个锐角的和是锐角；

（2）邻补角是互补的角；

（3）同旁内角互补。


（1）假命题（∠A=40°,∠B=50°， ∠A+∠B=90°）

（2）真命题

（3）假命题（作图可知）


下列各命题都成立，写出它们的逆命题。这些逆命题成立吗？(1)同旁内角互补，两直线平行；(2)如果两个角是直角，那么它们相等；(3)全等三角形的对应边相等；(4)如果两个实数相等，那么它们的平方相等。


(1)两直线平行，同旁内角互补。                               逆命题成立

(2)如果两个角是相等，那么它们是直角。                     逆命题不成立

(3)如果两个三角形的对应边相等，那么这两个三角形全等         逆命题成立

(4)如果两个实数的平方相等，那么它们相等                   逆命题不成立


一个命题的可判定性是指：存在一种算法能给出该命题成立与否的结论。给定文法 G，只有当G为(26)时，命题“L(G)是空集、有限集或无限集”才是可判定的，当给出两个不同文法G1和G2，只有当G1，G2都是(27)时命题“L(G1)＝L(G2)”才是可判定的。

A．1型

B．2型

C．3型

D．0型

E．2型或3型


正确答案：E

已知学生关系S(学号、姓名、班级、课程名称、成绩)，学号山入学年份、系别、专业编号和班内编号组成。则其侯选关键字是( )。

A．(学号、姓名)

B．(学号、课程名称)

C．(姓名、成绩)

D．(学号、班级)


正确答案：B

相关考题：

考题 已知学生关系S(学生，姓名，班级，课程名称，成绩)，学号由入学年份、专业编号和班内编号组成，则其候选关键字是( )。A．(学号，姓名)B．(学号，课程名称)C．(姓名，成绩)D．(学号，班级) 正确答案：A
查看答案
考题 问答题指出下列语句哪些是命题，哪些不是命题。如果是命题，请指出其真值。　　（1）离散数学是计算机科学科学系的一门必修课。　　（2）π＞2吗？　　（3）明天我去看电影。　　（4）请勿随地吐痰！　　（5）不存在最大质数。　　（6）如果我掌握了英语、法语，那么学习其他欧洲的语言就容易多了。　　（7）9＋5＜12。　　（8）x＜3。　　（9）月球上有水　　（10）我正在说假话。正确答案： 判断命题的简单方法:对一件事情作出判断的语句叫命题,疑问句、感叹句等不是命题。 (1)是命题,因为是真命题,故真值为1。 (2)不是命题,因为它是疑问句,没有明确的做出判断。 (3)是命题,真值视具体情况而定。 (4)不是命题,因为它是感叹句。 (5)是命题,因为是真命题,故真值为1。 (6)是命题,因为是真命题,故真值为1。 (7)是命题,因为是假命题,故真值为0。 (8)不是命题,因为x的值不确定,故无法做出判断。 (9)是命题,真值视具体情况而定。 (10)不是命题,因为无法做出明确的判断。解析： 暂无解析
查看答案
考题 设命题公式G=(P→4Q)，H=P→()，则G与H的关系是(65)。A．B．C．G=HD．以上都不是 正确答案：B解析：利用合取，析取等布尔运算的定义，应该选择选项B
查看答案
考题 单选题在“学生选修课程信息库.mdb”中包含三个表，第1个是“学生信息表”，描述学生的学号、姓名、性别、班级等；第2个是“课程信息表”，描述课程的课程号、课程名、课时数等；第3个表是“课程选修信息表”。为了方便各表之间的联系，第3个表中应包含的最少信息是（）。A姓名、课程名B学号、姓名、课程号C学号、课程号D课程号、课程名、学号正确答案： C解析： 暂无解析
查看答案
考题 设学生关系模型Stu（学号，姓名，性别，学院）的主码是学号，成绩关系模型SC（学号，课程号，成绩）的主码为（学号，课程号），若关系模型R（学号，姓名，性别，学院，课程号，成绩）的主码为（学号，课程号），则R满足（ ）A.1NFB.2NFC.3NFD.BCNE答案：A解析：
查看答案
考题 关系模型SC（学号，姓名，学院，学院领导，课程号，课程名，成绩），函数依赖集F＝｛学号→（姓名，学院，学院领导），学院→学院领导，课程号→课程名，（学号，课程号）→成绩｝，则关系SC中（请作答此空），要满足第二范式，应将SC分解为（ ）。A.只存在部分依赖B.只存在传递依赖C.只存在多值依赖D.存在部分依赖和传递依赖答案：D解析：
查看答案
考题 存在关系Student：Student(学号，姓名，年龄，所在学院，学院地点，学院电话)且有：(学号)→(姓名，年龄，所在学院，学院地点，学院电话)(所在学院)→(学院地点，学院电话)关系Student最高达到哪级范式?A) 不满足B) 1NFC) 2NFD) 3NFA．B．C．D． 正确答案：C解析：在2NF中不存在非主属性对码的部分函数依赖。第三范式是在第二范式的基础上对关系又增加了一个约束，就是关系中的每一个非主属性必须只依赖于主码。换句话说，就是在第二范式的基础上，消除非主属性对主码的传递函数依赖可达到3NF。本题中这个数据关系是符合2NF的，但是不符合3NF，因为存在如下决定关系：(学号)→(所在学院)→(学院地点，学院电话)即存在非关键字段“学院地点”、“学院电话”对关键字段“学号”的传递函数依赖。所以本题的答案为C。
查看答案
考题 如何在通过网站查询个人学期的课程表？（）A、登录西南交大网络学院网站后点击“我的教务”在左侧菜单栏中点击“本学期课程”即可B、登录西南交大网络学院网站后点击“学习园地”在左侧菜单栏中点击“本学期课程”即可C、登录西南交大网络学院网站后点击“信息中心”在左侧菜单栏中点击“本学期课程”即可D、登录西南交大网络学院网站后点击“我的教务”在左侧菜单栏中点击“已修课记录”即可正确答案:A
查看答案
考题 单选题在“学生选修课程信息库.mdb”中包含三个表，第1个是“学生信息表”，描述学生的学号、姓名、性别、班级等；第2个是“课程信息表”，描述课程的课程号、课程名、课时数等；第3个表是“课程选修信息表”。为了方便各表之间的联系，第3个表中应包含的最少信息是（）。A姓名、课程名B学号、姓名、课程号C学号、课程号D课程号、课程名、学号正确答案： C解析： 暂无解析
查看答案
考题 试例示具有下列命题形式和推理形式的命题或推理. 1．所有S都不是P。 2．要么r，要么s。 3．如果p，那么q；非q；所以非p。 4．所有M都是P，S都是M，所以S都是P。正确答案: 1.所有乌鸦都不是白的。 2.定居在海外的华人要么保留中国国籍，要么取得外国国籍。 3.如果一个国家是法制国家，那么它在制度上是人人平等的；它在制度上不是人人平等的；所以它不是法制国家。 4.所有民主国家都是非常关注民生的，法国是民主国家，法国是非常关注民生的。
查看答案
热门标签
最新考题
最新试卷
热门试卷