【判断题】任何一个谓词公式,都可以通过等价关系及推理规则化成相应的子句集。子句集不可满足,不是谓词公式不可满足的充要条件。
【单选题】下面语句中不是死循环的是 _______ 。
A.
int i=100; while (1) {i=i%100+1; if(i==20) break; }
B.
int i,sum=0; for(i=1;;i++)sum++;
C.
int k=0; do {++k; } while (k>=0);
D.
int s=3379; while (s++%2+3%2)s++;
【多选题】中标单位应按规定提交履约担保,其形式包括
【简答题】非生产性因子的数值介于_________和_________,一般情况下选取_________。
【多选题】签订施工合同中,符合履约担保要求的有( )。
A.
中标后的承包商应保证其履约担保在建设单位颁发工程接收证书前一直有效
B.
中标单位不能按要求提交履约担保的,视为放弃中标,其投标保证金不予退还,给招标单位造成的损失超过投标保证金数额的,中标单位还应对超过部分予以赔偿
C.
建设单位应在工程接收证书颁发后28 d内将履约担保退还给承包商
D.
在签订合同前,中标单位以及联合体中标人应按招标文件规定的金额、担保形式和履约担保格式,向招标单位提交履约担保
E.
履约担保一般采用银行保函和履约担保书的形式,履约担保金额一般为中标价的30%
【简答题】三相异步电动机的定子绕组是如何组成的?按什么规律连接?有什么特点?
【单选题】砂烫醋淬增强入肝消积,质变酥脆,并能矫味,善于软坚散结的药物是( )