可学答题网 > 问答 > 人工智能题库,计算机科学技术题库
目录: 标题| 题干| 答案| 搜索| 相关
问题

用归结反演方法进行定理证明时,可采取的归结策略有()、()、()、()和()


用归结反演方法进行定理证明时,可采取的归结策略有()、()、()、()和()

参考答案
参考解析:
分类:人工智能题库,计算机科学技术题库
相关推荐

1、利用归结原理证明定理时,若得到的归结式为(),则结论成立。

利用归结原理证明定理时,若得到的归结式为(),则结论成立。

2、为防止用母联向空载的母线充电时发生谐振,可采取方法为()

为防止用母联向空载的母线充电时发生谐振,可采取方法为()A采取线路与母线一起充电B先断开电压互感器,母线充电正常后再投入电压互感器C改变运行方式D改用刀闸对母线充电

3、选案部门对案源信息进行筛选时,可采取的方法不包括()。

选案部门对案源信息进行筛选时,可采取的方法不包括()。AA、人机结合分析BB、随机抽查分析CC、计算机分析DD、人工分析

4、用经典性言论、科学上的公理、定理或生活中的常理作论据来证明论点的方法叫做(

用经典性言论、科学上的公理、定理或生活中的常理作论据来证明论点的方法叫做( )。A旁证法B引证法C例证法D反证法

5、在考评基层党组织和班子时,可采取()等方法进行。

在考评基层党组织和班子时,可采取()等方法进行。A述职报告B民主测评C领导评价D考核组评议

6、正弦定理现代主要用向量的方法证明。

正弦定理现代主要用向量的方法证明。A正确B错误