-
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
-
实现自适应模糊控制的功能，大家 可以下载下来
实现自适应模糊控制的功能，大家 可以下载下来-adaptive fuzzy control
- 2022-03-20 12:45:33下载
- 积分：1
-
加了注释的c代码（complexNetwork）源代码，下载后就可以直接使用...
加了注释的c代码（complexNetwork）源代码，下载后就可以直接使用-Added a comment c code (complexNetwork) source code, downloads can be used directly after
- 2022-01-25 16:35:28下载
- 积分：1
-
严格按照BP网络计算公式来设计的一个matlab程序,对BP网络进行了优化设计...
严格按照BP网络计算公式来设计的一个matlab程序,对BP网络进行了优化设计-Neural Network――BP
- 2022-01-22 11:51:02下载
- 积分：1
-
开始：我已经编写了神经网络的程序，还没有…
新手上路：
自己编写的BP神经网络程序，还不是成熟，希望能够加入社区和高手们学习学习-Getting Started: I have written procedures for the BP neural network, is not yet mature, I hope you can join the community and learning to learn
- 2022-08-09 08:54:35下载
- 积分：1
-
GA sample program
遗传算法示例程序-GA sample program
- 2022-01-26 01:43:22下载
- 积分：1
-
GA Utility 5 (pascal)
遗传算法实用程序5（pascal)-GA Utility 5 (pascal)
- 2022-11-24 05:00:03下载
- 积分：1
-
支持向量机Windows Svm
支持向量机Windows Svm-Support Vector Machines of Windows Svm
- 2022-06-19 04:56:49下载
- 积分：1
-
matlab16neuro network
神经网络的相关资料
神经网络的基础知识及其在MATLAB中的实现-matlab16neuro network
- 2022-01-22 00:41:10下载
- 积分：1
-
PSO算法的VB源程序，可以自定义算法参数达到六…
粒子群算法的vb源程序，可以自定义算法参数，实现对6个非约束性测试函数极小值的全局优化，动态显示粒子的移动。低维下，优化效果很好。直接解压，无须密码。请多指正。-PSO algorithm vb source, the algorithm can define parameters to achieve the six non-binding function tests minimum of global optimization, dynamic display particle movement. Low-dimensional, optimize the results very good. Direct decompression without passwords. Please correct.
- 2022-08-08 13:45:01下载
- 积分：1
