判定法：其基本思想是依据推理规则，从前提和公理中可以推出许多定理，如果待证明的定理恰好在其中，则定理得证。()_计算机科学与技术_全学科试题题库

当前学科：计算机科学与技术

题目：未知类型
判定法：其基本思想是依据推理规则，从前提和公理中可以推出许多定理，如果待证明的定理恰好在其中，则定理得证。()
答案： <查看本题扣1积分>

查看答案

答案不对？请尝试站内搜索

推荐知识点:

以下关于政府危机管理体系的概念，哪些不正确（）？

狄德罗所倡导的严肃剧应有哪些基本要求？

某大型管沟开挖，工作面比较狭小，最适宜的土方施工机械是()。

电视广播中，为了远距离传送图像，必须先将图像光信号转换成（）

提高医疗质量的思想保障是( )

胃短动脉位于（）。

量子力学的矩阵形式的理论体系是（）开创的。

杜甫《蜀相》：“丞相祠堂何处寻，锦官城外柏森森。”中的“锦官城”是重庆市的别称。

每个采区（盘区，矿块），均应有（）个便于行人的安全出口，并经上下巷道与通往地面的安全出口想通，安全出口稳固，并根据需要设置梯子。

以下事项中，不属于集团项目组对组成部分财务信息拟执行工作的是（）。