-
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
-
用人工神经网络的bp的方法解决异或问题
用人工神经网络的bp的方法解决异或问题-Using artificial neural network bp means to solve the XOR problem
- 2022-08-14 18:23:21下载
- 积分：1
-
针对TSP问题，用类神经网路的方法去求解！
针对TSP问题，用类神经网路的方法去求解！-against TSP, and the neural network approach to solving!
- 2022-03-31 15:13:44下载
- 积分：1
-
是用遗传算法求函数：f(x1,x2)=100(x1*x1
是用遗传算法求函数：f(x1,x2)=100(x1*x1-x2*x2) (x1*x1-x2*x2)+(1-x1)(1-x1)
约束：-2.048
- 2022-03-15 00:10:59下载
- 积分：1
-
MATLAB编写的一种模式识别里的重要的模糊聚类方法K
MATLAB编写的一种模式识别里的重要的模糊聚类方法K-means算法的matlab程序.-MATLAB prepare a Pattern Recognition"s important Fuzzy clustering methods K-means algorithm Matlab procedures.
- 2022-03-26 07:30:26下载
- 积分：1
-
调用过程 CM = Confusion_matrix(train_predicts, train_targets) [combining_predicts, e...
调用过程 CM = Confusion_matrix(train_predicts, train_targets) [combining_predicts, errorrate] = combining_NB(DP, test_targets, CM) DP，三维数组，(i,j,k)为第k个样本的DP矩阵 targets 为 0 1 2 -process called CM = Confusion_matrix (train_predicts, train_targets) [combining_predicts, errorrate] = combining_NB (DP, test_targets, CM) DP, three-dimensional array (i, j, k) for the k samples of DP matrix targets for 0 1 2
- 2022-03-21 02:55:16下载
- 积分：1
-
- 2022-07-03 12:27:47下载
- 积分：1
-
Tsinghua University, uncertainty in the planning of teaching materials fuzzy pro...
清华大学不确定规划教材中的模糊规划求解算法1-Tsinghua University, uncertainty in the planning of teaching materials fuzzy programming algorithm 1
- 2022-04-21 09:29:40下载
- 积分：1
-
该工具包提供七种神经网络的C语言实现方式，对那些真正学习神经网络的人有一定的帮助和指导意义。...
该工具包提供七种神经网络的C语言实现方式，对那些真正学习神经网络的人有一定的帮助和指导意义。-The kit provides seven neural networks realize the C language by means of neural networks to learn who the real people who have a certain degree of help and guidance.
- 2022-07-22 01:57:33下载
- 积分：1
-
matlab神经网络应用设计
matlab神经网络应用设计-Matlab neural network application design
- 2022-02-06 00:26:56下载
- 积分：1
