题目内容
（请给出正确答案）
[单选题]
下列说法正确的是（）
A.归结原理是一种基于归纳法的自动定理证明技术
B.应用归结原理不能判定命题逻辑公式不成立
C.吴方法是一种基于代数计算的自动定理证明方法
D.（无）
如搜索结果不匹配，请 联系老师 获取答案
更多“下列说法正确的是（）”相关的问题
第1题
关于合同法的说法，下列说法正确的是（）。
A.合同法是为了保护合同当事人的正当权益B.合同法是为了保护合同当事人的合法权益C.合同法是为了保护合同当事人的经济利益D.合同法是为了保护合同当事人的合同权益
点击查看答案
第3题
设有两个事务T1、T2，其并发操作如下所示，下面评价正确的是( ) 。 T1 T2 ① 读A=100 ② 读A=100 ③ A=A-5写回 ④ A=A-8写回
A、该操作不存在问题
B、该操作丢失修改
C、该操作读“脏”数据
D、该操作不能重复读
第7题
下面一段代码的时间复杂度是？ if ( A > B ) { for ( i=0; i<n; i++ ) for ( j> i; j-- ) A += B; } else { for ( i=0; i <n*2; i++ ) for ( j> i; j-- ) A += B; } （1.0分）
A、O(n)
B、O(n
C、O(n
D、O(log2n)
第11题
当超声波由空气入射到皮肤表面时，由于反射波强远大于透射波强，无法有效进入人体内部，所以在超声诊断中需要在皮肤表面涂抹超声偶合剂，使大部分超声波进入人体。下列说法正确的是（ ）
A、超声偶合剂的声阻抗与人体皮肤声阻抗近似相等
B、超声偶合剂的声阻抗与人体皮肤声阻抗相差甚远
C、超声偶合剂的声阻抗与人体皮肤声阻抗相加等于1
D、超声偶合剂的声阻抗与人体皮肤声阻抗相减等于1
热门考试
全部 >
相关试卷
全部 >
