-
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
-
蚁群算法源程序 ,比较实用,有简要说明
蚁群算法源程序 ,比较实用,有简要说明-蚁群算法源程序 ,比较实用,有简要说明
- 2023-01-10 03:45:04下载
- 积分:1
-
基于Matlab的函数优化遗传算法程序 .
基于Matlab的函数优化遗传算法程序 .-based on Matlab function of genetic algorithm optimization procedures.
- 2022-03-25 22:02:17下载
- 积分:1
-
治疗基于代表点的聚类算法,一个数据挖掘算法…
数据挖掘算法之一,基于代表点的CURE聚类算法,该算法先把每个数据点看成一类,然后合并距离最近的类,直至类个数为所要求的个数为止。-CURE cluster algorithm based on representive point,one of data mining algorithms,classifies each data as a category firstly, then unifies categories with the nearest distance into one until the number of class is coincidence with the classes demanded.
- 2022-10-15 17:40:02下载
- 积分:1
-
Data mining concepts and techniques
数据挖掘概念和技术,电子书,英文版,300多页-Data mining concepts and techniques
- 2022-10-06 06:35:03下载
- 积分:1
-
有关遗传算法的源码
有关遗传算法的源码-the genetic algorithm source code
- 2022-07-25 23:43:21下载
- 积分:1
-
改进的神经网络在股票市场预测中的改进
1,改进BP神经网络在股市预测中的应用.2,基于MATLAB工具箱的开采煤层自燃危险性预测.3,基于改进的神经网络的电力系统负荷预报.4,基于神经网络的灌溉用水量预测.5,基于遗传算法改进BP网络的地表沉陷预计.6,利用遗传算法改进BP学习算法.7,模糊神经网络在电力市场短期负荷预测中的应用.8,神经网络学习算法存在的问题及对策.9,遗传神经网络在电力系统短期负荷预测中的应用.10,应用改进BP神经网络进行用水量预测.11,用遗传算法改进的BP模型在刹车系统诊断中的应用研究.12,遗传算法改进的BP神经网络对汛期三门峡水库泥沙冲淤量的计算13,基于遗传算法的人工神经网络学习算法14.自适应遗传算法优化管网状态估计神经网络模型.15,基于GA_RBF神经网络的电梯交通流模式识别的研究-Improved BP Neural Network in Stock Market Prediction
- 2022-01-27 10:15:29下载
- 积分:1
-
利用vb控制乐高机器人
利用vb控制乐高机器人-use vb robot control Sealock
- 2023-02-23 15:25:03下载
- 积分:1
-
Tutorial for Boosting algorithm by Schapire
Schapire 所著的Boosting算法的教程。
对目前物体识别和机器学习领域中广泛应用的Boosting算法展开了深入浅出的描述,还有很多Toy Examples。-Tutorial for Boosting algorithm by Schapire
- 2023-04-22 16:20:03下载
- 积分:1
-
模式识别下的ISODATA算法
例子为IRIS数据库数据
模式识别下的ISODATA算法
例子为IRIS数据库数据-ISODATA algorithm for pattern recognition under the examples for the IRIS database data
- 2022-03-26 08:44:44下载
- 积分:1