【单选题】
在谓词演算中: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, +,·>中哪一个是整环?___
【单选题】
设D=<V,E>为有向图,则有___。
A. E V×V
B. E V×V
C. V×V E
D. V×V=E
【单选题】
设G=<V,E>为无环的无向图,|V|=6,|E|=16,则G是___
A. 完全图
B. 零图
C. 简单图
D. 多重图
【单选题】
含5个结点、3条边的不同构的简单图有___。
推荐试题
【多选题】
在严禁危及安全生产的违章作业行为中,必须严禁严重违反作业纪律的行为包括___。
A. 严禁本人或协助、允许他人,未经批准擅自制作、复制企业内部的钥匙、门禁卡等
B. 严禁将企业内部的钥匙、门禁卡、密码等提供或泄露给无关人员
C. 严禁饮酒后上岗作业
D. 严禁违反持证上岗规定无证上岗
【多选题】
在严禁危及安全生产的违章作业行为中,必须严禁严重损害企业形象的行为的有___。
A. 严禁使用侮辱性语言或肢体动作攻击、侮辱乘客;严禁在工作岗位上、公开场合或网络上,做出损害企业形象的行为
B. 严禁本人或协助他人盗窃、侵吞、侵占、挪用票款、票卡(证)或偷逃票款、票卡的
C. 严禁本人或协助他人故意私藏、侵占乘客遗失物品的
D. 在明知确实存在危险或者已经违章,工人的人身安全和国家、企业的财产
【多选题】
在严禁危及安全生产的违章作业行为中,必须严禁严重违反消防、保卫规章制度的行为的包括___。
A. 严禁在禁烟区或工作岗位上吸烟
B. 严禁未经批准或未在规定区域内,使用各类明令禁止的充电设备、加热设备、从事动用明火等特种作业
C. 严禁违反规定领用、储存和使用违禁危险品
D. 严禁未经批准或者不具备上岗资格无证擅自动用影响运营安全的设施设备
E. 严禁未经批准擅自进入或协助、允许无关人员进入直接影响运营安全的要害部位
【多选题】
以下属于严禁涉及安全生产的弄虚作假行为的有___。
A. 严禁涉及安全生产的情况应报不报、故意拖延报告或不如实报告
B. 严禁弄虚作假、隐瞒实情;严禁纵容、唆使、暗示或强迫下级弄虚作假、隐瞒实情
C. 严禁使用侮辱性语言或肢体动作攻击、侮辱乘客
D. 严禁本人或协助他人故意私藏、侵占乘客遗失物品的
【多选题】
以下选项中,必须严禁存在安全风险隐患而不作为的选项包括___。
A. 严禁对已经发现的严重违反安全管理规定的行为及安全风险隐患不作为
B. 严禁安排或指挥职工违反国家有关安全的法律、法规、规章制度、企业安全管理制度或操作规程进行作业的行为
C. 严禁在明知确实存在危险或者已经违章,工人的人身安全和国家、企业的财产安全没有保证,继续生产会发生严重后果的情况下,仍然不顾相关法律规定,强行命令或者胁迫下属冒险进行作业
D. 严禁在工作岗位上有与岗位职责无关、妨碍运营安全的行为
【多选题】
首次违反“三严禁”各项规定之一的,且造成运营事故、火灾事故、有责人身伤害事故、有重大社会影响的责任安全事件或严重影响企业形象事件[有责投诉、媒体曝光等]后果的,经调查核实,视情节可以予以包括___处分;未造成上述后果的,经调查核实,视情节可以予以警告或记过处分。
A. 记大过
B. 撤职
C. 留用察看
D. 开除(解除劳动合同)
【多选题】
再次违反“三严禁”各项规定之一的,经调查核实,视情节可以予以包括记___处分。
A. 记大过
B. 撤职
C. 留用察看
D. 开除(解除劳动合同)
【判断题】
依据《上海轨道交通车调联控作业规定》,车调联控指行车人员利用行车专用 600 兆无线对讲设备,确认行车要求、提示重要行车安全信息、确保行车安全的互控措施。
【判断题】
依据《上海轨道交通车调联控作业规定》,被呼叫人是指在车调联控工作中被呼叫后进行复诵应答的一方。
【判断题】
电话闭塞法的启用与取消应根据调度命令执行。
【判断题】
路票增添字句或涂改后应视为废票,废票的处置标准是正面对角划“╳”,反面手写“作废”字样并注明作废原因,从上部撕口后整理保存。
【判断题】
路票填写的日期以接车站承认闭塞的时间为准,零时前办理的闭塞,列车司机如在零时后收到路票仍视为有效。
【判断题】
依据《上海轨道交通检修施工管理规定》,除抢修施工、重大施工、临时施工外,其余施工均为日常检修施工。
【判断题】
电话闭塞法行车时,列车占用区间的凭证为路票。
【判断题】
列车退行作业时,车站只需进行列车退行广播,无需安排专人负责状态秩序的监护。
【判断题】
站前折返站的闭塞解除条件为列车整列到达并进入折返线。
【判断题】
依据《上海轨道交通检修施工管理规定》,入场信号机往正线方向的出入场线为车场生产区域。
【判断题】
电话闭塞法行车时,每个电话记录号码在一个循环中只准使用一次,号码一经发出没有生效,可重复使用。
【判断题】
依据《上海轨道交通检修施工管理规定》,涉及车场行车共用区域施工停电作业,无需完成施工平台接地线编号登记。
【判断题】
授权记录表与盯控记录表作为行车备品存放于行车作业场所,使用过的两份记录表的保存期为半年。
【判断题】
依据《上海轨道交通车调联控作业规定》,遇数字“2”应读“liang 两”。
【判断题】
依据《上海轨道交通检修施工管理规定》,绝缘分段位于入场信号机正线侧的,停电范围仅包含正线。
【判断题】
电话闭塞法作业,同意闭塞时的标准用语为电话记录 XX 号 X 时 X 分准许 XX站上[下]行 XX 次闭塞。
【判断题】
涉及车场行车共用区域封锁线路施工时,DCC 信号楼值班员设置行车防护措施后直接同意 DCC 设备值班员办理登记。
【判断题】
盯控人员为执行非正常行车作业的行车人员,负责非正常行车作业的具体操作、执行。
【判断题】
调车手信号的收回时机是列车至规定位置停稳。
【判断题】
手摇道岔的现场作业人员应位于来车方向首副道岔旁的安全位置向接近列车显示手信号。
【判断题】
依据《上海轨道交通检修施工管理规定》,不封锁线路施工是指需要固定占用特定线路区域,且对车场接、发车及调车作业不造成影响的施工。
【判断题】
《上海轨道交通车调联控作业规定》规定,列车由出[入]场线回库联控时机:请求入场时入场信号未开放:列车由正线进入出[入]场线时,由列车司机向信号楼值班员进行联控。
【判断题】
常用手信号包括发车手信、停车手信号、紧急停车信号和引导信号。
【判断题】
发车手信号的显示含义表示调车进路[含防护进路]准备妥当,道岔已至规定位置并锁闭,准许列车运行至调车作业终点停车位置。
【判断题】
车调联控作业是行车人员利用行车专用 800 兆无线对讲设备,确认行车要求、提高行车速度、确保行车安全的互控措施。
【判断题】
电话闭塞法行车作业中车调联控时机是列车司机收到路票发车后,由该站车站值班员向列车司机进行联控。
【判断题】
为保持道岔尖轨与滑床板的油润度,降低道岔的转换阻力,保证道岔的正常使用,需保持滑床板之滑床台的清洁与润滑。
【判断题】
路票填写不得擅自增添字句或涂改,否则应视为废票,须重新填写。
【判断题】
列车司机取得路票并确认正确后,遇在途中丢失时可继续运行至接车站,将情况报告接车站值班员和行车调度。
【判断题】
钩锁器是指将道岔锁闭固定位置的机械装置。
【判断题】
依据《上海轨道交通检修施工管理规定》,重大施工指造成关键运营设施设备功能发生变化或缺失、行车或客运安全/服务受到影响、运行效率降低、运营模式发生重大变化的施工。
【判断题】
手摇道岔的现场作业人员应位于来车方向首副道岔旁的安全位置向接近列车显示手信号。