网友您好, 请在下方输入框内输入要搜索的题目:
设F(x):x是人,G(x):x去过火星。下列公式中哪个(些)是命题"没有人去过火星"的符号化形式?
A.Ⅰ和Ⅱ
B.Ⅱ和Ⅲ
C.只有Ⅲ
D.全部
设V1为无向连通图G的点割集,记G删除V1的连通分支个数为p(G- V1) = k,下列命题中一定为真的为
A.k≥2
B.k≥3
C.k≤2
D.k = 2
已知学生关系S(学生,姓名,班级,课程名称,成绩),学号由入学年份、专业编号和班内编号组成。则其候选关键字是( )。
A.(学号,姓名)
B.(学号,课程名称)
C.(姓名,成绩)
D.(学号,班级)
解析:关键字就是主码,在本题中,将学号和姓名可以作为关键字,因为这两个作为关键字,重复的可能性最小。
已知学生关系S(学号、姓名、班级、课程名称、成绩),学号由入学年份、系别、专业编号和班内编号组成。则其侯选关键字是( )。
A.(学号、姓名)
B.(学号、课程名称)
C.(姓名、成绩)
D.(学号、班级)
A.学习中心或函授站,一学期
B.学习中心或函授站,一学年
C.继续教育学院,一学期
D.继续教育学院,一学年
*蜜* 西南科技大学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.(学号、班级)
判断下列命题是真命题还是假命题,如果是假命题,举出一个反例。
(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型
已知学生关系S(学号、姓名、班级、课程名称、成绩),学号山入学年份、系别、专业编号和班内编号组成。则其侯选关键字是( )。
A.(学号、姓名)
B.(学号、课程名称)
C.(姓名、成绩)
D.(学号、班级)
更多 “20072008离散数学期末考试A卷” 相关考题
- 关于马斯洛的需要层次理论的说法,错误的是( ). A.未被满足的需要是行为的主要激励源 B。获得基本满足的需要具有强的激励作用 C。基本需要主要靠内部条件满足,高级需要主要靠外在条件满足 D.管理者在进行激励时,需要考虑每个员工的特殊需要以及占主导地位的需要层次 E。组织用于满足员工的低层次需要的投入效益是递减的
- 下面哪个概念不属于社会学习理论( )。A.观察学习B.自我效能C.自我实现D.替代学习
- 美国在冷战之后进行了三次大的战略调整,第一次克林顿政府提出了什么?下列选项错误的是A.“全球反恐战争B.“亚太再平衡C.“称霸战争D.“参与和扩展战略
- 信息化战争的本质,仍然是政治的继续,是流血的政治,是文明的战争。
- 单位活期存款的计息时间一般为每月末30日,结算出来的利息于次日入账。
- 本行为付款行,对方行为收款行的网内往来汇划业务是发出贷方报单业务。
- 商业银行吸收企事业单位或人人的存款是现金存款。
- 信息化战争涉及的内容包括:A. 信息是核心资源B. 信息化军队C. 信息化、智能化武器装备D. 多维信息化战场E. 信息化战争性质
- ( 难度:中等)MapReduce运行过程包含哪些阶段A.MapB.ReduceC.ShuffleD.Sort
- 贷款损失准备的计提,不论是本币资产还是外币资产,必须以人民币计提。
- 2019届高三一轮复习综合练习题-气候综合题专练(内附答案解析)
- 2019届高考地理二轮复习练习:题型 10区域能源、资源开发及可持续发展 Word版含答案
- 2019年4月浙江地理学考选考试题及答案-20220728.docx
- 2019年世界气象日网络知识竞赛试题及答案
- 2019年中考语文四川省南充市真题(含答案、解析)
- 2019年中考语文湖南省张家界市真题(含答案、解析)
- 2019年乌鲁木齐市八年级数学下期末一模试题(附答案)
- 2019年乌鲁木齐市米东区中考语文二模试题卷附答案详析
- 2019年健康管理师考试模拟试题(五套)-20220728.docx
- 2019年全国III卷英语高考真题-20220728.docx