-
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
-
Genetic algorithm to initialize the network weights and threshold parameters imp...
遗传算法初始化网络权值及其阈值参数 提高控制性能-Genetic algorithm to initialize the network weights and threshold parameters improve control performance
- 2023-05-29 23:05:03下载
- 积分：1
-
股票期权遗传算法
股票选择的遗传算法-stock options Genetic Algorithm
- 2022-05-25 09:13:55下载
- 积分：1
-
该程序是指纹识别比较全面的软件，为博士点开发的有较高技术含量的代码，质量高，不容错过。...
该程序是指纹识别比较全面的软件，为博士点开发的有较高技术含量的代码，质量高，不容错过。-The program is more comprehensive fingerprint recognition software for the development of doctoral programs have a higher technological content of the code, high quality, should not be missed.
- 2022-06-02 04:34:39下载
- 积分：1
-
一个用C++实现的bp网络算法程序，供大家参考
一个用C++实现的bp网络算法程序，供大家参考-a C realized bp network algorithm, for your reference
- 2022-03-14 11:49:46下载
- 积分：1
-
FP-GROWTH算法的源代码(JAVA)-FP-Growth code and algrithem
- 2022-03-23 05:17:20下载
- 积分：1
-
有关优化的遗传算法
有关优化的遗传算法-the genetic algorithm optimization
- 2022-03-14 03:01:56下载
- 积分：1
-
这个程序是个神经网络提供学习能力的实例，是前一个simpleann的功能加强版。...
这个程序是个神经网络提供学习能力的实例，是前一个simpleann的功能加强版。-this procedure is a neural network learning ability example is the former simpleann an enhanced version of the function.
- 2023-03-20 08:20:03下载
- 积分：1
-
Using immune algorithm for solving TSP problems can be accurately calculated 50...
利用 免疫算法求解TSP问题
可以精确求出50个城市-Using immune algorithm for solving TSP problems can be accurately calculated 50 cities
- 2022-03-13 10:35:05下载
- 积分：1
-
介绍人工神经网络的模型及其应用。张立明编著，复旦大学出版社出版。...
介绍人工神经网络的模型及其应用。张立明编著，复旦大学出版社出版。-Introduction of artificial neural network model and its application. Edited by Zhang Liming, Fudan University Publishing House.
- 2022-03-16 07:36:08下载
- 积分：1
