相关试题
【单选题】
谓词公式 ( x)(P(x)∨( y)R(y))→Q(x) 中量词 x的作用域是___。
A. ( x)(P(x)∨( y)R(y))
B. P(x)
C. P(x)∨( y)R(y)
D. P(x) ,Q(x)
【单选题】
谓词公式 ( x)(P(x)∨( y)R(y))→Q(x) 中变元x是___。
A. 自由变量
B. 约束变量
C. 既不是自由变量也不是约束变量
D. 既是自由变量也是约束变量
【单选题】
设谓词P(x):x是奇数,Q(x):x是偶数,谓词公式 ( x)(P(x) Q(x)) 在下面哪个论域中是可满足的?___
A. 自然数集
B. 整数集
C. 实数集
D. 以上均不成立
【单选题】
设C(x):x是运动员,G(x):x是强壮的。命题“没有一个运动员不是强壮的”可符号化为___。
A. ﹁( x)( C(x) ﹁G(x) )
B. ﹁( x)( C(x)→﹁G(x) )
C. ﹁( x)( C(x) ﹁G(x) )
D. ﹁( x)( C(x)→﹁G(x) )
【单选题】
设A(x):x是人,B(x):x犯错误,命题“没有不犯错误的人”符号化为___。
A. ( x)( A(x)
B. (x) ) B、﹁( x)( A(x)→﹁B(x) )
C. ﹁( x)( A(x) B(x) )
D. ﹁( x)( A(x) ﹁B(x) )
【单选题】
设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
推荐试题
【单选题】
道床面应低于轨枕承轨面___,道床面横向排水坡度不宜小于3%。
A. 20~25mm
B. 25~30mm
C. 30~40mm
D. 40~45mm
【单选题】
碎石道床砟肩宽度为轨枕端部至道砟顶面外侧的水平距离,一般不小于___。
A. 0.2m
B. 0.3m
C. 0.4m
D. 0.5m
【单选题】
线路中心线之间的垂直距离称为线间距,地面线的线间距一般为___。
A. 4.5~5m
B. 5~5.5m
C. 5.5~6m
D. 6~6.5m
【单选题】
混凝土枕碎石道床顶面应与轨枕中部顶面平齐,木枕碎石道床顶面应低于木枕顶面___。
A. 10mm
B. 20mm
C. 30mm
D. 40mm
【单选题】
排水沟的纵向坡度应与线路坡度一致,线路平坡地段,排水沟纵向坡度不宜小于___。
A. 0.02
B. 0.03
C. 0.04
D. 0.05
【单选题】
钢轨接头不宜设置在桥台挡砟墙间的长度为___及以下的明桥面上。
A. 20m
B. 25m
C. 30m
D. 35m
【单选题】
钢轨接头不宜设置在钢梁端部,拱桥温度伸缩缝和拱顶等处前后各___范围内。
【单选题】
桥梁上钢轨扣件失效率不得大于___,且不得有隔一或连二失效扣件。
A. 0.1
B. 0.15
C. 0.2
D. 0.25
【单选题】
不是25m钢轨曲线标准缩短轨的为___。
A. 24.96m
B. 24.92m
C. 24.88m
D. 24.84m
【单选题】
不是钢轨的主要功用的为___。
A. 支持引导机车车辆的车轮
B. 使列车按正确的方向运行
C. 固定轨枕形成框架结构
D. 将来自车辆的压力传送给轨枕
【单选题】
60kg/m钢轨高为___。
A. 152mm
B. 164mm
C. 176mm
D. 192mm
【单选题】
25m,60kg/m钢轨普通线路,10.9级螺栓扭力矩应达到___。
A. 600N•m
B. 700N•m
C. 800N•m
D. 900N•m
【单选题】
不同类型的钢轨互相联结时,应使用___。
A. 鱼尾型夹板
B. 平直夹板
C. 双头式夹板
D. 异型夹板
【单选题】
下列设备零件中,___尺寸对最大轨缝限制值(即构造轨缝)没有影响。
A. 钢轨
B. 接头夹板
C. 接头螺栓
D. 轨枕扣件
【单选题】
线路上的伤损钢轨应用白铅油做好标记,连续轻伤有发展的标记是___。
A. ▕←△→▏
B. ▕←△△→▏
C. ↑△
D. ↑△△
【单选题】
线路上的伤损钢轨应用白铅油做好标记,___的标记是↑△△△。
A. 连续重伤
B. 局部重伤
C. 连续轻伤
D. 局部轻伤
【单选题】
曲线正矢应用20m弦在钢轨踏面下___测量
A. 14mm处
B. 14mm范围内
C. 16mm处
D. 16mm范围内
【单选题】
个别更换夹板后放行列车___。
A. 不限速
B. 限速5km/h
C. 限速25km/h
D. 限速45km/h
【单选题】
在正线线路上个别插入短轨,其长度不得短于___。
A. 10m
B. 8m
C. 6m
D. 4.5m
【单选题】
曲线实设最大超高,在单线上不得大于___。
A. 125mm
B. 135mm
C. 145mm
D. 150mm
【单选题】
道岔护轨轮缘槽标准宽度为42mm,容许误差为___。
A. ﹢3,-1mm
B. ﹢3,-2mm
C. ±2mm
D. ±3mm
【单选题】
为平衡列车在曲线运行时产生的___,需要在曲线段将外轨抬高,使车体内倾。
A. 向心力
B. 离心力
C. 向心速度
D. 离心速度
【单选题】
不会引起线路爬行的为___。
A. 钢轨在车轮作用下的波浪形弯曲
B. 钢轨温度变化
C. 列车制动
D. 钢轨轨距误差超限
【单选题】
不能防止线路爬行的为___。
A. 增加轨撑
B. 拧紧螺栓
C. 夯实道床
D. 安装防爬设备
【单选题】
线路轨距超限或变化率不合要求,以及拨道后有个别碎弯,应进行___作业。
A. 起道
B. 改道
C. 拨道
D. 矫直钢轨
【单选题】
___是根据线路变化情况,在全年度和线路全长范围内进行的有计划、有重点的养护,以保持线路质量经常处于均匀状态。
A. 综合维修
B. 经常保养
C. 临时补修
D. 线路中修
【单选题】
下列混凝土枕伤损中,___为轨枕失效。
A. 纵向水平裂缝基本贯通(缝宽大于0.5mm)
B. 承轨槽压溃,深度超过2mm
C. 挡肩破损,接近失去支撑能力(破损长度超过挡肩长度的1/2)
D. 严重的网状龟裂和掉块。
【单选题】
使用新枕木要钻道钉孔,孔深有垫板时为___。
A. 100mm
B. 110mm
C. 120mm
D. 130mm
【单选题】
检查三角坑时的基长为___。
A. 4m
B. 4.5m
C. 6m
D. 6.25m
【单选题】
轨向偏差是用___测量的最大矢度值。
A. 1m尺
B. 5m弦
C. 10m弦
D. 20m弦
【单选题】
线路爬行量超过___时应对轨缝进行调整。
A. 15mm
B. 18mm
C. 20mm
D. 25mm
【单选题】
如列车用5s时间运行了100m,则列车速度为___。
A. 72km/h
B. 75km/h
C. 70km/h
D. 68km/h
【单选题】
线路曲线外轨实设最大超高度,在双线上不得大于___。
A. 125mm
B. 135mm
C. 145mm
D. 150mm
【单选题】
轨距尺由计量部门负责检定,周期为___。
A. 2个月
B. 3个月
C. 4个月
D. 5个月
【单选题】
曲线轨距加宽应在整个缓和曲线内递减,递减率一般不大于___。
A. 1‰
B. 1.5‰
C. 2‰
D. 3‰
【单选题】
曲线地段,未被平衡欠超高,一般应不大于___。
A. 50mm
B. 60mm
C. 75mm
D. 90mm
【单选题】
碎石道床地段的无缝线路在进行维修作业的地区应按需要备足___。
【单选题】
无缝线路在进行维修作业的地段,起道前应先___。
A. 拨正线路方向
B. 方正轨枕
C. 补充道砟
D. 矫直钢轨
【单选题】
无缝线路依处理钢轨___方式不同,分温度应力式和放散温度应力式两种。
A. 外部温度应力
B. 外部温度力
C. 内部温度力
D. 内部温度力
【单选题】
曲线钢轨磨耗是随着___。
A. 曲线长度增大而增大
B. 曲线的半径减小而增大
C. 曲线半径的增大而增大
D. 曲线的转角的增大而增大