【单选题】
设Z(x):x是整数，N(x):x是负数，S(x,y):y是x的平方，则“任何整数的平方非负”可表示为下述谓词公式：___。
A. ( x) ( y) ( Z(x) S(x,y)→﹁N(y ))
B. ( x) ( y) ( Z(x) S(x,y)→﹁N(y ))
C. ( x) ( y) ( Z(x)→S(x,y) ﹁N(y ))
D. ( x) ( Z(x) S(x,y)→﹁N(y ))
查看试卷，进入试卷练习
微信扫一扫，开始刷题
答案
A
解析
暂无解析
相关试题
【单选题】
令F(x):x是火车，G(y):y是汽车，H(x,y):x比y快。则语句“某些汽车比所有的火车慢”可表示为：___。
A. ( y) (G(y)→( x) (F(x) H(x,y )))
B. ( y) (G(y) ( x) (F(x)→H(x,y )))
C. ( x) ( y) (G(y)→(F(x) H(x,y )))
D. ( y) (G(y)→( x) (F(x)→H(x,y )))
【单选题】
设个体域A={a,b}，公式 ( x)P(x) ( x)S(x) 在A中消去量词后应为___。
A. P(x) S(x)
B. P(a) P(b) (S(a) S(b))
C. P(a) S(b)
D. P(a) P(b) S(a) S(b)
【单选题】
在谓词演算中：P(a)是( x)P(x)的有效结论，其理论根据是___。
A. 全称规定规则（US）
B. 全称推广规则（UG）
C. 存在规定规则（ES）
D. 存在推广规则（EG）
【单选题】
设A={x|x3-x=0}, B={x|x2-4<0,x∈Z}, C={x|y=2x-1}, D={x|x+y=5,xy=6}，则有___。
A. A=B
B. A=C
C. C=D
D. C=A
【单选题】
幂集(P(P(P(Φ)))为___。
A. {{Φ},{Φ,{Φ}}}
B. {Φ,{Φ,{Φ}},{Φ}}
C. {Φ,{Φ,{Φ}},{{Φ}},{Φ}}
D. {Φ,{Φ,{Φ}}}
【单选题】
集合A={1,2,…,10}上的关系R={<x,y> | x+y=10, x∈A, y∈A}，则R的性质为 ___。
A. 自反的
B. 对称的
C. 传递的，对称的
D. 反自反的，传递的
【单选题】
设集合A={a,b,c}，R是A上的二元关系，R={<a,a>,<a,b>,<a,c>,<c,a>}，那么R是___。
A. 反自反的
B. 反对称的
C. 可传递的
D. 不可传递的
【单选题】
下列代数系统<S，*>中，哪个是群？___。
A. S={0,1,3,5}，* 是模7加法
B. S=Q（有理数集合），* 是一般乘法
C. S=Z（整数集合），* 是一般减法
D. S={1,3,4,5,9}，* 是模11乘法
【单选题】
具有如下定义的代数系统<G，*>，哪个不构成群？___
A. G={1,10}，* 是模11乘法
B. G={1,3,4,5,9}，* 是模11乘法]
C. G=Q，* 是普通加法
D. G=Q，* 是普通乘法
【单选题】
设Z是整数集合，＋是一般加法，则下述函数中哪一个不是群<Z，＋>的自同态？ ___
A. f(x)=2x
B. f(x)=1000x
C. f(x)=| x |
D. f(x)=0
【单选题】
下面哪个集合关于指定的运算构成环？ ___
A. ，关于数的加法和乘法
B. {n阶实数矩阵}，关于矩阵的加法和乘法
C. ，关于数的加法和乘法
D. ，关于矩阵的加法和乘法
推荐试题
【多选题】
根据《危险化学品输送管道安全管理规定》，施工单位实施___的作业，应当在开工前履行通知程序，与管道单位共同制定应急预案并采取相应的安全防护措施，管道单位应当指派专人到现场进行管道安全保护指导。
A. 在管道附属设施上方架设通信线路
B. 穿越管道施工
C. 在管道线路中心线一侧 30 米处扩建公路
D. 在管道线路中心线一侧 30 米处设置避雷接地体
E. 在管道附属设施周边 300 米处爆破
【多选题】
根据《特种设备安全法》，关于特种设备的说法，正确的有___。
A. 特种设备使用单位可以在特种设备投入使用后三十日内，向负责特种设备安全监管的部门办理使用登记，取得使用登记证书
B. 特种设备使用单位应当使用取得许可生产并经检验合格的特种设备
C. 进口特种设备，应当向使用地负责特种设备安全监管的部门履行提前告知义务
D. 达到设计使用年限的特种设备即使按照安全技术规范要求检验或评估合格，也必须强制报废
E. 特种设备出厂时，应当随附安全技术要求的设计文件等相关技术资料和文件
【单选题】
设数据结构A=(D，R)，其中D={1，2，3，4}，R={r}，r={<1，2>，<2，3>，<3，4>}，则数据结构A是___
A. 线性结构
B. 树型结构
C. 图型结构
D. 集合
【单选题】
带头结点的单链表first为空的判定条件是 ___
A. first == NULL
B. first->next == NULL
C. first->next == first
D. first != NULL
【单选题】
在一个单链表中，若删除p所指结点的后续结点，则执行___
A. p—＞next= p—＞next—＞next；
B. p= p—＞next; p—＞next= p—＞next—＞next；
C. p—＞next= p—＞next
D. p= p—＞next—＞next；
【单选题】
在一个单链表中，若p所指结点不是最后结点，在p之后插入s所指结点，则执行___
A. s—＞next=p; p—＞next=s
B. s—＞next=p—＞next; p—＞next=s
C. s—＞next=p—＞next; p=s
D. p—＞next=s; s—＞next=p
【单选题】
在一个单链表中,若q所指结点是p所指结点的前驱结点,若在q与p之间插入一个s所指的结点,则执行 ___
A. s→next=p→next; p→next=s
B. p→next=s; s→next=q
C. p→next=s→next; s→next=p
D. q→next=s; s→next=p
【单选题】
下面关于线性表的叙述错误的是___。
A. 线性表采用顺序存储必须占用一片连续的存储空间
B. 线性表采用链式存储不必占用一片连续的存储空间
C. 线性表采用链式存储便于插入和删除操作的实现
D. 线性表采用顺序存储便于插入和删除操作的实现
【单选题】
在一个长度为n 的顺序表中，向第i个元素（1≤i≤n＋１）之前插入一个新元素时，需要向后移动________个元素。___
A. n-i
B. n-i+1
C. n-i-1
D. i
【单选题】
顺序表和链表相比存储密度较大，这是因为 ___。
A. 顺序表的存储空间是预先分配的
B. 顺序表不需要增加指针来表示元素之间的逻辑关系
C. 链表中所有节点的地址是不连续的
D. 顺序表中所有元素的存储地址是连续的
【单选题】
判定一个循环队列Q（最多有MAXQSIZE个元素空间）为空的条件为 ___
A. Q.front==Q.rear
B. Q.front!=Q.rear
C. Q.front==(Q.rear+1)%MAXQSIZE
D. Q.front!=(Q.rear+1)%MAXQSIZE
【单选题】
判定一个循环队列Q（最多有MAXQSIZE个元素空间）为满的条件 ___
A. Q->front==Q->rear
B. Q->front!=Q->rear
C. Q->front==(Q->rear+1)%MAXQSIZE
D. Q->front!=(Q->rear+1)%MAXQSIZE
【单选题】
在循环队列中用数组A[0..m-1] 存放队列元素，其队头和队尾指针分别为front和rear，则当前队列中的元素个数是___
A. ( front - rear + 1) % m
B. ( rear - front + 1) % m
C. ( front - rear + m) % m
D. ( rear - front + m) % m
【单选题】
若用一个大小为6的数组来实现循环队列，且当前rear和front的值分别为0和3。当从队列中删除一个元素，再加入两个元素后，rear和front的值分别为 ___
A. 1和5
B. 2和4
C. 4和2
D. 5和1
【单选题】
数组M[1..4，1..5]的每个元素占5个单元，按行优先次序存储在起始地址为1000的连续的内存单元中，则最后一个元素M[4,5] 的地址为 _________
A. 1005
B. 1015
C. 1100
D. 1095
