【单选题】
设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 ))
查看试卷,进入试卷练习
微信扫一扫,开始刷题
相关试题
【单选题】
令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
【单选题】
在0________Φ之间填上正确的符号。 ___
【单选题】
设M={x|f1(x)=0},N={x|f2(x)=0},则方程f1(x)·f2(x)=0的解为___。
【单选题】
幂集(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. 反自反的,传递的
【单选题】
设S={1,2,3},下图给出了S上的两个关系R1,R2,则复合关系 是___。
A. 自反的
B. 传递的
C. 对称的
D. 等价的
【单选题】
设A={1,2,3,4,5},ρ={<i,j>| i<j,i,j∈A},则 的性质是___。
A. 对称的
B. 自反的
C. 反对称的
D. 反自反、反对称、传递的
【单选题】
设集合A={a,b,c},R是A上的二元关系,R={<a,a>,<a,b>,<a,c>,<c,a>},那么R是___。
A. 反自反的
B. 反对称的
C. 可传递的
D. 不可传递的
【单选题】
设R和S是集合A上的等价关系,则R∪S的对称性___。
A. 一定成立
B. 一定不成立
C. 不一定成立
D. 不可能成立
【单选题】
设R和S是非空集合A上的等价关系,下述各式是等价关系的为___。
A. (A×A)-R
B. R2
C. R-S
D. r(R-S)
【单选题】
集合A上的关系R是相容关系的必要条件是___。
A. 自反、反对称的
B. 反自反、对称的
C. 传递、自反的
D. 自反、对称的
【单选题】
设R是集合A上的偏序关系, 是R的逆关系,则R∪ 是___。
A. 偏序关系
B. 等价关系
C. 相容关系
D. 都不是
【单选题】
设集合A中有4个元素,则A上的不同的等价关系的个数为___。
A. 11个
B. 14个
C. 15个
D. 17个
【单选题】
设A={a,b,c},B={1,2},令f: A→B,则不同的函数的个数为___。
A. 2+3个
B. 23个
C. 2×3个
D. 32个
【单选题】
函数的复合满足___。
A. 交换律
B. 结合律
C. 幂等律
D. 分配律
【单选题】
若f, g是满射,则复合函数 必是___。
【单选题】
若 是满射,则___。
A. f必是满射
B. f必是单射
C. g必是满射
D. g必是单射
【单选题】
f: Z→Z,对任意的i∈Z,有f(i)=i(mod8),则f是___。
A. 不是双射
B. 单射
C. 满射
D. 双射
【单选题】
Z是整数集合,函数f定义为:f:Z→Z,f(x)=| x |-2x,则f是___。
A. 单射
B. 满射
C. 双射
D. 非单射也非满射
【单选题】
设S={a,b},则S上总共可定义的二元运算的个数是___。
【单选题】
下列运算中,哪种运算关于整数集不能构成半群? ___
【单选题】
Q是有理数集,<Q,*>(其中*为普通乘法)不能构成___。
A. 群
B. 独异点
C. 半群
D. 交换半群
【单选题】
R为实数集,运算*定义为:a,b∈R, a*b=a·| b |,则代数系统<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,* 是普通乘法
【单选题】
任何一个有限群在同构的意义下可以看作是___。
A. 循环群
B. 置换群
C. 变换群
D. 阿贝尔群
【单选题】
设H,K是群<G, >的子群,下面哪个代数系统仍是<G, >的子群?___
A. <HK, >
B. <H∩K, >
C. <K-H, >
D. <H-K, >
【单选题】
任意一个具有多个等幂元的半群,它___。
A. 不能构成群
B. 不一定能构成群
C. 必能构成群
D. 能构成交换群
【单选题】
设Z是整数集合,+是一般加法,则下述函数中哪一个不是群<Z,+>的自同态? ___
A. f(x)=2x
B. f(x)=1000x
C. f(x)=| x |
D. f(x)=0
【单选题】
群<R,+>与<R-{0},×>之间的关系是___。
A. 同态
B. 同构
C. 后者是前者的子群
D. B,C均正确
【单选题】
若<H,*>是<G,*>的真子群,且| H |=n, | G |=m,则有___。
A. n整除m
B. m整除n
C. n整除m且m整除n
D. n不整除m且m不整除n
【单选题】
设Z是整数集,+,·分别是普通加法和乘法,则<Z,+,·>是___。
A. 域
B. 整环和域
C. 整环
D. 含零因子环
【单选题】
下面哪个集合关于指定的运算构成环? ___
A. ,关于数的加法和乘法
B. {n阶实数矩阵},关于矩阵的加法和乘法
C. ,关于数的加法和乘法
D. ,关于矩阵的加法和乘法
【单选题】
+,·为一般的加法和乘法,则下述代数系统<S, +,·>中哪一个是整环?___
推荐试题
【判断题】
自动闭塞区段,连续式机车信号机显示一个白色灯光,不复示地面上的信号显示,机车乘务人员应按地面信号机的显示运行。
【判断题】
自动闭塞区段,连续式机车信号机显示一个白色灯光,不复示地面上的信号显示,机车乘务人员应按机车信号的显示运行。
【判断题】
自动闭塞区段,连续式机车信号机显示一个红色灯光,表示列车接近的地面信号机显示红色灯光。
【判断题】
减速防护地段终端信号为表面有反光材料的黄色圆牌。
【判断题】
移动信号中减速信号背面就是减速防护地段终端信号。
【判断题】
旅客列车在到发线上进行车辆技术作业时,用红色信号旗(灯)进行防护,可不设脱轨器。
【判断题】
使用带有脱轨器的固定或移动信号牌(灯)进行防护时,前后两端的防护距离均应不小于20m;不足20m时,应将道岔锁闭在不能通往该线的位置。
【判断题】
司机在列车运行中听到响墩爆炸声,必须减速或停车。
【判断题】
通过手信号昼间为展开的绿色信号旗上下摇动,夜间为绿色灯光上下摇动。
【判断题】
列车夜间运行中无论是遇到黄色.白色或绿色灯光下压数次的显示,都应立即将列车降低到要求的速度运行。
【判断题】
调车手信号指挥机车向显示人反方向去的信号,昼间用展开的绿色信号旗上下摇动,夜间用绿色灯光上下摇动。
【判断题】
调车手信号指挥机车向显示人反方向稍行移动的信号,昼间为拢起的红色信号旗直立平举.再用展开的绿色旗上下小动,夜间用绿色灯光上下小动。
【判断题】
联系用的手信号中,夜间显示道岔开通信号时,用白色灯光高举头上。
【判断题】
联系用手信号显示股道号码时,昼间两臂左右平伸,表示开通一道。
【判断题】
联系用手信号显示股道号码时,夜间用白色灯光上下摇动,表示开通一道。
【判断题】
联系用手信号显示股道号码时,昼间左臂向左上方,右臂向右上方各斜伸45°角,表示开通四道。
【判断题】
联系用手信号显示股道号码时,夜间用白色灯光作圆形转动后,左右摇动,然后再从左下方向右上方高举,表示开通七道。
【判断题】
联系用手信号显示股道号码时,昼间右臂向右平伸,左臂下垂,表示开通七道。
【判断题】
联系用手信号显示股道号码时,昼间右臂向右上方,左臂向左下方各斜伸45°角,表示开通十道。
【判断题】
联系用手信号显示股道号码时,白色灯光左右摇动后,再上下摇动作成十字形,表示开通十道。
【判断题】
通知将前发信号取消时,夜间用红色灯光作圆形转动后,上下摇动。
【判断题】
机车出入段时昼间的道岔开通信号——拢起的黄色信号旗高举头上左右摇动。
【判断题】
联系用手信号显示十.五.三车距离信号中的“五车”(约55m)信号时,昼间的显示方式为展开的绿色信号旗单臂平伸连续下压三次。
【判断题】
联系用手信号显示连结手信号时,昼间显示方式为两臂高举头上,使拢起的手信号旗杆成水平末端相接。
【判断题】
在显示手信号时,凡昼间持有手信号旗的人员,应将信号旗展开。
【判断题】
试验列车自动制动机制动的手信号昼间为用检查锤高举头上。
【判断题】
试验列车自动制动机缓解的手信号夜间为白色灯光在下部左右小动。
【判断题】
试验列车自动制动机结束的手信号昼间用检查锤作圆形转动。
【判断题】
升弓手信号昼间的显示为:左臂垂直高举,右臂前伸并上下重复摇动。
【判断题】
道岔表示器昼间无显示表示道岔位置开通侧向。
【判断题】
道岔表示器昼间为中央划有一条鱼尾形黑线的黄色鱼尾形牌表示道岔位置开通直向。
【判断题】
脱轨表示器显示为带白边的红色长方牌及红色灯光时,表示线路在遮断状态。
【判断题】
进路表示器在其主体信号机开放时点亮,用于区别进路开通方向或双线区段反方向发车,不能独立构成信号显示。
【判断题】
不许发车的线路,所属该线路的发车线路表示器不能点亮。
【判断题】
发车表示器显示一个白色灯光,表示车站人员准许发车。
【判断题】
调车表示器向调车区方向显示一个白色灯光,准许机车车辆自调车区向牵出线运行。
【判断题】
车挡表示器设置在线路终端的车挡上,昼间一个红色方牌;夜间显示一个红色灯光。
【判断题】
在限鸣区域内,司机见司机鸣笛标应开启灯显示警设备,除遇危及行车安全等情况外,限制鸣笛。
【判断题】
减速地点标的正面表示列车应按规定限速通过地段的始点,背面表示列车应按规定限速通过地段的终点。