logo - 刷刷题
下载APP
【判断题】

归结原理通过证明子句集不可满足性,来实现定理的证明

A.
正确
B.
错误
举报
参考答案:
参考解析:
.
刷刷题刷刷变学霸
举一反三

【多选题】在归结原理中,几种常见并具有完备性的有()。

A.
删除策略
B.
支持集策略
C.
非线性归结策略
D.
线性归结策略

【单选题】下面If语句统计满足性别为男、职称为副教授以上、年龄小于40岁条件的人数,不正语句是()。

A.
If sex="男"And age<40 And (duty="教授"Or duty="副教授")Then n=n+1
B.
If sex="男"And age<40 And InStr(duty,"教授")>0Then n=n+1
C.
If sex="男"And age<40 And Right(duty,2)="教授"Then n=n+1
D.
If sex="男"And age<40 And duty="教授"And duty="副教授"Then n=n+1