相关试题
【判断题】
(x)(P(x)→Q(x) )→((x)P(x)→(x)Q(x) )为真
【判断题】
对公式(z)(P(z)∧Q(x,z)∧M(z,y))∨R(z)中自由变量进行代入后，有(z)(P(z)∧Q(a,z)∧M(z,b))∨R(z)
【判断题】
(x) (y) (P(x)→Q(y) )(x)P(x)→(y)Q(y)
【判断题】
P(x)、Q(x)表示谓词，P表示命题，有(x) (P(x)→P)(x)P(x)→P
【判断题】
(x) (A(x)∧B(x) )(x)A(x)∧(x)B(x)
【判断题】
(x) (A(x)→B(x) )(x)A(x)∧(x)B(x)
【判断题】
公式(x)P(x)→(y)Q(x,y)的前束范式为(x) (y) (P(x)→Q(x,y) )
【判断题】
公式(x)(﹁(y)P(x,y)→((z)Q(z)→R(x)))的前束范式为(x) (y) (z) (P(x,y)∨﹁Q(z) ∨R(x))
【判断题】
对公式(z)(P(z)∧Q(x,z)∧M(z,y))∨R(z)中约束变量z改名后，得到的等价公式为：(t)(P(t)∧Q(x,t)∧M(t,y))∨R(t)
【判断题】
{Φ}∈{Φ,{Φ}}且{Φ}{Φ,{Φ}}
【判断题】
设A={Φ}，B=P(P(A))，则有{Φ}∈B，且{Φ}B
【判断题】
设A、B是集合，则命题AB 和A∈B可能同时成立
【判断题】
设A、B是任意集合，若{A∩B,B-A}是A∪B的一个划分，则有A-B=Φ
【判断题】
设A、B是两个非空集合，若{A-B,B-A}是A∪B的一个划分，则有A∩B=Φ
【判断题】
设A、B是任意集合，若{A∩B, A-B,B-A}是A∪B的一个划分，则有A∩B=Φ，A-B=Φ，B-A =Φ
【判断题】
设A、B是任意集合，若{A∩B }是A∪B的一个划分，则有A-B=B-A =Φ
【判断题】
集合A={1,2,3}的任何关系R都不可能既是对称的，又是反对称的
【判断题】
集合A={a,b,c}上的关系R={<a,b>,<a,c>}是不可传递的
【判断题】
若R和S是集合A上的任意两个自反关系，则RS也是自反的
【判断题】
若R和S是集合A上的任意两个反自反关系，则RS也是反自反的
【判断题】
若R和S是集合A上的任意两个对称关系，则RS也对称的
【判断题】
若R和S是集合A上的任意两个传递关系，则RS也是传递的
【判断题】
若R为是集合A上的反对称关系，则t(R)一定是反对称的
【判断题】
若R是集合A上的传递关系，则R2也是集合A上的传递关系
【判断题】
设R和S是集合A上的等价关系，则R∪S一定是等价的
【判断题】
设R和S是集合A上的两个相容关系，则RS与R∩S都是相容关系
【判断题】
设人的集合A上的朋友关系为R，则R是A上的相容关系
【判断题】
若集合A上的关系R是对称的，则Rc也是对称的
【判断题】
设<N,*>是代数系统，其中N为自然数集，*为二元运算，定义为：对任何的a,b∈N，有a*b=a，则*是可结合的
【判断题】
在一个代数系统中，若一个元素的逆元是惟一的，则运算必定是可结合的
【判断题】
设*是S上的可结合运算，若a∈S是可逆的，则a也是可约的
【判断题】
设*是S上的可结合运算，若a∈S是可约的，则a也是可逆的
推荐试题
【单选题】
基层营业机构应设置凭证库管理本机构重要空白凭证。基层营业机构凭证库应至少配备（ ）名凭证库操作员，每天同一类型的凭证库只允许（）名凭证库操作员管理。___
A. 1，1
B. 1，2
C. 2，1
D. 2，2
【单选题】
分行分管行长应至少每___组织并参加一次重要空白凭证库查库，并在系统中核查登记。
A. 一周
B. 一个月
C. 一季度
D. 半年
【单选题】
分行对重要空白凭证的发放、调拨、缴回应实行物流化配送管理，制定严格的配送流程，报总行营运管理部备案，同时必须做到___专车押运。
【单选题】
柜面购买或领用重要空白凭证时，必须核验客户的___；领用重要空白凭证时，还必须提交领用审批单，办理领用手续。
A. 公章
B. 私章
C. 预留印鉴
D. 公章+法人章
【单选题】
凭证的发放是指___
A. 分行库管员发给网点库管员
B. 分行库管员发给网点箱柜员
C. 网点库管员发给箱柜员
D. 网点库管员发给本网点箱柜员
【单选题】
业务处理中心营运业务经理、基层营业机构营运主管应至少每___检查一次重要空白凭证库存、保管情况和领用手续，核对账实，并在系统中登记查库记录
【单选题】
基层营业机构分管行长、业务处理中心负责人应至少每___检查一次重要空白凭证库存、保管情况，并在系统中核查登记。
【单选题】
分行营运管理部负责人应至少每___组织并参加一次全行重要空白凭证库查库，并在系统中核注
【单选题】
凭证库间凭证的调拨处理必须在（ ）天完成。___
A. T+1
B. T+2
C. T+3
D. T+4
【单选题】
人民币跨境支付系统是中国人民银行组织建设的用于跨境人民币业务办理的独立支付系统，由___负责系统日常运维、窗口服务及业务拓展。
A. 中国人民银行
B. 跨境银行间支付清算（上海）有限责任公司
C. 中国人民银行清算中心
D. 都不是
【单选题】
人民币跨境支付业务应优先选择___渠道进行处理。
A. 大额支付系统
B. 小额支付系统
C. 人民币跨境支付系统
D. SWIFT
【单选题】
人民币跨境支付系统普通工作日运行时间为___。
A. 9:00-第二天8:00
B. 9:00-20:00
C. 9:00-17:00
D. 以上均不是
【单选题】
人民币跨境支付系统我行每年需要向监管机构缴纳的费用为___。
A. 120万元/年
B. 50万元/年
C. 无固定费用，为按笔记收
D. 以上均不是
【单选题】
总行作为直接参与者一点接入人民币跨境支付系统，境内分行作为___通过总行进行一点清算。
A. 直接参与者
B. 间接参与者
C. 特许参与者
D. 以上均不是
【单选题】
___是指根据汇款人申请，通过交行内部业务网络传递汇款指示，实现境内分行与境外分行间汇款快速到达并解付入收款人账户的业务。
A. 快汇通
B. 通汇捷
C. 速汇金
D. 西联汇款
【单选题】
厅堂受理涉外汇款，对公客户需要提交___进行业务办理。
A. 结算业务申请书
B. 境外（内）汇款申请书
C. 转账支票
D. 都不是
【单选题】
531工程境内EUIF系统基于岗位的访问控制权限管理模式，来控制应用用户对具体功能操作的权限，引入了部门、产品/服务、岗位等要素，以（ ）的设置，来控制用户可操作功能的权限___
A. 用户-功能
B. 用户-角色
C. 用户-岗位
D. 用户-部门
【单选题】
境内非行编用户的初始密码获取方式为（ ）___
A. 短信
B. 邮箱
C. 系统打印
D. 系统查询
【单选题】
用户授权参数管理的级别为（ ）___
A. 1-3级
B. 1-4级
C. 1-7级
D. 1-9级
【单选题】
531工程境内EUIF系统的管理机构信息从（ ）系统获取。___
A. 机构信息管理系统
B. 核心账务系统
C. 人力资源部系统
D. 集中营运平台
【单选题】
531工程境内EUIF系统中，在权限维护方面，分行营运管理部需要维护的是（ ）信息。___
A. 用户岗位关系维护
B. 用户角色关系维护
C. 岗位角色关系维护
D. 角色功能关系
【单选题】
分行营运管理部需以（ ）为依据，为其他业务部门维护权限信息。___
A. 业务部门正式申请
B. 总行营运管理部批准
C. 总行业务部门批准
D. 分行营运管理部批准
【单选题】
分行业务部门认为岗位设置无法满足实际业务开展需求的情况下，需向（ ）提出申请，要求调整岗位设置。___
A. 金融服务中心
B. 总行营运管理部
C. 分行营运管理部
D. 总行条线业务部门
【单选题】
总分行营运部分别指定（ ）名知识信息管理系统对口联系人，以便于就日常维护事项与总行营运管理部及时、有效沟通___
A. 一
B. 二
C. 一名以上
D. 二名以上
【单选题】
以下（）不属于知识库的知识类别___
A. 规章制度
B. 数据字典
C. 业务信息
D. 产品手册
【单选题】
总行及子公司各部门需以一级部门为单位，指定（）名知识信息管理系统对口联系人，以便于就日常维护事项与总行营运管理部及时、有效沟通，并负责组织本部门落实具体管理工作。___
【单选题】
生产运维工单经过处理，已有解决方案时，流转至，可通过确认操作选择“不通过”，将该工单再次提交。___
A. 发起人
B. 处理人
C. 分行审批人
D. 任意人员
【单选题】
生产运维工单查询结果导出后，不包括如下内容：___
A. 工单号
B. 概要描述
C. 详细描述
D. 工单状态
【单选题】
目前生产运维平台仅支持查询（）内事件工单。___
A. 全行
B. 本分行
C. 任一指定分行
D. 本网点
【单选题】
查询功能界面内（）功能可提供“网点号”、“填报人”、“工单状态”以及“应用系统”等等维度进行事件工单搜索，___
A. 查询
B. 导出
C. 高级搜索
D. 全部工单
【单选题】
参数平台为（）应用系统提供所需公共基础参数的唯一、有效信息数据。___
A. 各部门
B. 各条线
C. 各公司
D. 各业务
【单选题】
参数平台定位于服务( )范围内共享应用的公共基础参数。___
A. 境内分行
B. 交银集团
C. 境外分行
D. 子公司
【单选题】
（）负责设计参数运维管理流程，并配套相关系统平台建设需求。___
A. 总行营运部
B. 总行个金部
C. 总行软件开发中心
D. 总行公司部
【单选题】
参数平台审批人审批任务时，认为任务不应维护需要删除的步骤，正确的是：___
A. 由审批人退回发起人，由发起人直接作废
B. 审批人直接作废
C. 由审批人退回发起人，由发起人使用删除任务按钮处理
D. 审批人使用删除任务按钮处理
【单选题】
参数申请人在参数维护请求上报时必须（）。___
A. 确保维护人员信息描述明晰，注明维护变动的内容，参数维护内容必须按字段控制要求及业务需要录入正确的维护要素或选择相应的业务选项。
B. 确保维护机构描述明晰，注明维护变动的内容，参数维护内容必须按字段控制要求及业务需要录入正确的维护要素或选择相应的业务选项。
C. 确保维护原因描述明晰，注明维护变动的内容，参数维护内容必须按字段控制要求及业务需要录入正确的维护要素或选择相应的业务选项。
D. 确保维护人员信息及机构描述明晰，注明维护变动的内容，参数维护内容必须按字段控制要求及业务需要录入正确的维护要素或选择相应的业务选项。
【单选题】
参数平台可针对每张参数表提供定制化的审批流程设置服务，满足各条线、各层级参数管理要求。参数审批流程配置由（）统一管理。___
A. 总行技术部门
B. 总行营运部
C. 分行营运部
D. 分行技术部门
【单选题】
对于_____需求,必须发起提交业务评审流程,同时可根据需要选择是否需同步发起技术评估流程。 ___
A. 业务批复类
B. 业务备案类
C. 业务报备类
D. 业务报批类
【单选题】
对于业务报备类需求,分行业务部门提交业务需求,经分行相关部门会签(若有)及___扎口审核后,至分行信息技术部评估开发,系统后台将生成备案阅知任务供后续转发总行业务部门阅知。 ___
A. 分行营运部
B. 分行个金部
C. 分行网渠部
D. 分行人资部
【单选题】
分行特色业务需求提交流程支持全流程跟踪,可_____查询总分行各节点的受理人员及处理时间。___
A. 次日
B. 实时
C. 隔日
D. 当日日切后
【单选题】
对于分行提交时选择可共享的需求,其他分行可通过 GUOP 系统“统计查询-信息科技-项目管理-共享产品查询”路径进行查看,对于需要获取详细需求信息或业务指导沟通的,可 通过点击“ ____”按钮发起互助流程。 ___
A. 申请需求
B. 申请查看
C. 申请互助
D. 申请协办
