-
Propositional logic in the inference rule can be used to prove that a propositio...
命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论，这些还有赖于人的经验技巧和才能。1960年王浩提出的算法，可以完全脱离人的经验和技巧，机械地构造每一步推导，证明一个命题逻辑定理的成立。
-Propositional logic in the inference rule can be used to prove that a propositional formula has been expressed as the theorem, but it is not easy to implement mechanization. Because the rules did not specify what steps in the derivation of what should be the introduction of the premise or intermediate conclusions, which also depends on the person s experience of the skills and talent. Wang Hao in 1960 proposed algorithm can be completely divorced from the person s experience and skills, a mechanical structure is derived for each step to prove that a propositional logic theorem establishment.
- 2022-03-07 22:04:02下载
- 积分：1
-
遗传模拟退火算法在弹药装载中的应用研究
PDF文挡，相当经典，供大家分享...
遗传模拟退火算法在弹药装载中的应用研究
PDF文挡，相当经典，供大家分享-Genetic simulated annealing algorithm in ammunition loaded in the Applied Research PDF text block, very classic for everyone to share
- 2022-06-26 20:42:17下载
- 积分：1
-
介绍了神经 网络中的HOPFIELD算法的C语言实现.
介绍了神经 网络中的HOPFIELD算法的C语言实现.-Introduce a neural network algorithm HOPFIELD realize the C language.
- 2022-02-02 02:12:00下载
- 积分：1
-
B-P算法对函数的拟合程序-B-P algorithm to function fitting procedures
- 2022-03-02 08:53:19下载
- 积分：1
-
classical apriori algorithm and an improved algorithm for the procedure, there a...
apriori经典算法及一个改进算法的程序,里面有具体的解析与操作-classical apriori algorithm and an improved algorithm for the procedure, there are specific analytical and operational
- 2022-02-20 23:32:53下载
- 积分：1
-
自适应线性神经网路应用实例
自适应线性神经网路应用实例- Auto-adapted linear nerve network application example
- 2023-03-30 13:25:04下载
- 积分：1
-
清华仿真机器人2002年源码.rar。可以从下面这个网址找到更详细的内容。 http://www.lits.tsinghua.edu.cn/robocup...
清华仿真机器人2002年源码.rar。可以从下面这个网址找到更详细的内容。 http://www.lits.tsinghua.edu.cn/robocup-Qinghua robot simulation source code in 2002. Rar. From below the site to find more details. Http://www.lits.tsinghua.edu.cn/robocup
- 2022-01-24 16:55:58下载
- 积分：1
-
Classical decision tree classification algorithm ID3 and C4.5 code public packet...
决策树分类中经典算法的ID3和Ｃ４．５代码公共包！-Classical decision tree classification algorithm ID3 and C4.5 code public packet!
- 2023-08-27 03:10:04下载
- 积分：1
-
神经网络模式识别及其实现，第三章。为大家提供参考。
神经网络模式识别及其实现，第三章。为大家提供参考。-pattern recognition and neural network to achieve, the third chapter. To provide a reference.
- 2022-03-02 01:19:20下载
- 积分：1
-
用GAlib库实现的解决0/1背包问题的遗传算法程序源代码。
用GAlib库实现的解决0/1背包问题的遗传算法程序源代码。- Solution 0/1 knapsack question heredity algorithm procedure
source code realizes which with the GAlib storehouse.
- 2022-01-22 12:22:53下载
- 积分：1
