-
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
-
CMU的自主机器人的软件开发平台, 应用十分广泛, 基本上已经成为一种近似标准, 比较好用, 希望对开发机器人导航算法方面的人有用...
CMU的自主机器人的软件开发平台, 应用十分广泛, 基本上已经成为一种近似标准, 比较好用, 希望对开发机器人导航算法方面的人有用 -CMU autonomous robot software development platform for a wide range of applications, they have basically become a kind of similar to the standard, more useful, in the hope that the development of robot navigation algorithm useful side
- 2022-01-26 20:14:31下载
- 积分：1
-
遗传算法的一个例子：旅行商问题。C++源代码，适合初学者研究遗传算法与最优化等方面的知识。...
遗传算法的一个例子：旅行商问题。C++源代码，适合初学者研究遗传算法与最优化等方面的知识。-a genetic algorithm examples : the traveling salesman problem. C source code, suitable for beginners and genetic algorithm optimization and other kinds of knowledge.
- 2022-04-10 08:48:30下载
- 积分：1
-
这是一本粗糙集的数据挖掘经典书籍，书中不但介绍了粗糙集的相关知识，并给出了相关应用，同时介绍并比较了其他挖掘方法。...
这是一本粗糙集的数据挖掘经典书籍，书中不但介绍了粗糙集的相关知识，并给出了相关应用，同时介绍并比较了其他挖掘方法。-This is a rough set data mining classic books, the book not only introduced a rough set of relevant knowledge, and gives the related application, at the same time and compare the introduction of other mining methods.
- 2022-04-24 19:04:25下载
- 积分：1
-
基于java实现的遗传算法
神经网络 实数编码 交叉 选择 变异
基于java实现的遗传算法
神经网络 实数编码 交叉 选择 变异-achieve genetic neural network algorithm is coded cross-choice variant
- 2022-02-21 13:16:03下载
- 积分：1
-
BP algorithm differences or problems, use of the S
BP算法实现异或问题,采用S型函数的前向多层神经网络及其逆推学习算法-BP algorithm differences or problems, use of the S-Function to the multilayer neural networks and learning algorithms Backstepping
- 2022-04-12 02:14:53下载
- 积分：1
-
Simulated annealing algorithm the document on the simulated annealing algorithm...
模拟退火算法 该文档对模拟退火算法作了详细介绍，包括准确的MATLAB算法代码，相当适用-Simulated annealing algorithm the document on the simulated annealing algorithm described in detail, including accurate MATLAB algorithm code, rather the application of
- 2022-03-21 07:56:29下载
- 积分：1
-
支持向量机程序(2)Text Windows Svm
支持向量机程序(2)Text Windows Svm-A program of Text Windows Svm based on support vector machines.
- 2022-04-08 20:31:39下载
- 积分：1
-
请认真书写上传资料的详细功能、包含内容说明(至少要20个字)。尽量不要让站长把时间都花费在为您修正说明上。压缩包解压时不能有密码...
请认真书写上传资料的详细功能、包含内容说明(至少要20个字)。尽量不要让站长把时间都花费在为您修正说明上。压缩包解压时不能有密码-You can see from the above images that lower levels capture flow at center (small displacements), whereas higher levels capture flow at periphery (larger displacements).
- 2022-10-01 07:25:04下载
- 积分：1
-
通过C4.5 的实现可以进行构建决策树 来进行有效的分类
通过C4.5 的实现可以进行构建决策树 来进行有效的分类-Through the realization of C4.5 decision tree can be constructed to carry out an effective classification
- 2022-10-31 00:15:02下载
- 积分：1
