-
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
-
粒子群算法,这是一个标准粒子群优化算法源码
粒子群算法,这是一个标准粒子群优化算法源码-PSO
- 2022-03-12 05:22:00下载
- 积分:1
-
apriori算法是数据挖据中的经典关联规则挖掘算法,是由aggwal最早提出来的...
apriori算法是数据挖据中的经典关联规则挖掘算法,是由aggwal最早提出来的-apriori algorithm is data-dug, according to the classical association rule mining algorithm is put forward as early as aggwal
- 2022-03-03 07:50:43下载
- 积分:1
-
BP networksBP networksBP networksBP networksBP networks
神经网络算法 神经网络算法 -BP networksBP networksBP networksBP networksBP networks
- 2022-03-15 14:52:01下载
- 积分:1
-
fortran版 神经网络遗传算法
fortran版 神经网络遗传算法-fortran version of neural network genetic algorithm
- 2022-03-22 02:59:23下载
- 积分:1
-
一个牛人的神经网络支持向量机程序,对于搞神经网络的朋友强烈推荐.第二部分...
一个牛人的神经网络支持向量机程序,对于搞神经网络的朋友强烈推荐.第二部分-A wonderful program of svm code coming from a superman,and strong recommendation to someone who learn about pattern-recognition .The second part.
- 2022-03-29 09:06:56下载
- 积分:1
-
人工神经网络BPN,人工神经网络BP算法源代码
人工神经网络BPN,人工神经网络BP算法源代码-Artificial neural network BPN, artificial neural network BP algorithm source code
- 2022-03-05 03:52:20下载
- 积分:1
-
genetic algorithm optimization calculation of the MATLAB program.
遗传算法在工程优化计算上的应用的MATLAB程序。-genetic algorithm optimization calculation of the MATLAB program.
- 2022-02-26 08:43:17下载
- 积分:1
-
本程序是使用APRIORI算法搜索相关联的项目,在搜索前需要用户先对项目的个数和最低支持度进行设置,然后程序就会在指定的项目是找出满足最低支持度的相关联的频繁项...
本程序是使用APRIORI算法搜索相关联的项目,在搜索前需要用户先对项目的个数和最低支持度进行设置,然后程序就会在指定的项目是找出满足最低支持度的相关联的频繁项目集-This procedure is to use search algorithms APRIORI associated projects, the needs of users in the search before the first number of the project and set the minimum degree of support, and then the procedure will be in the designated project is to identify a minimum degree of support to meet the frequently associated itemsets
- 2022-01-31 15:32:31下载
- 积分:1
-
用MATLAB语言编写。三十三座城市的蚂蚁算法。解决TSP问题。
用MATLAB语言编写。三十三座城市的蚂蚁算法。解决TSP问题。-Used MATLAB language. 33 cities in the ant algorithm. Solve the TSP problem.
- 2022-03-30 14:35:35下载
- 积分:1