-
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
-
maximum function for the genetic algorithm source code Matlab
求解函数最大值的遗传算法Matlab源代码-maximum function for the genetic algorithm source code Matlab
- 2022-03-17 20:59:08下载
- 积分:1
-
科罗拉多大学开发的人脸识别系统,要在UNIX下运行.
科罗拉多大学开发的人脸识别系统,要在UNIX下运行.-developed at the University of Colorado, the face recognition system to run under UNIX.
- 2022-05-19 10:23:36下载
- 积分:1
-
这是个解决八码问题的程序,是外国人编的,用了图形处理技术,请大家参考...
这是个解决八码问题的程序,是外国人编的,用了图形处理技术,请大家参考-This is a solution of 8 yards procedures, the series is a foreigner, his use of graphics processing technology, please refer to
- 2023-04-12 03:15:02下载
- 积分:1
-
这是MATLAB的BP神经网络# 39。............
这个是matlab的BP 神经网络-This is matlab" s BP neural network. . . . . . . . . . . . .
- 2023-04-09 21:35:04下载
- 积分:1
-
This is a pattern recognition algorithm of the K
这是一个模式识别中的K均值算法的一个简单仿真分类实例,其中female.txt和male.txt是训练样本,test.txt是测试样本,分类效果非常好,对于模式学习的初学者将会有很大帮助。-This is a pattern recognition algorithm of the K-means classification of a simple simulation example is one of female.txt and male.txt training samples, test.txt is the measurement, classification effect is very good for beginners will be learning model has great help to me.
- 2023-02-13 05:25:03下载
- 积分:1
-
The code on this diskette has been organized by chapter. Each subdirectory
cont...
The code on this diskette has been organized by chapter. Each subdirectory
containing listing has a readme.txt describing program usage and any relevent
file formats. The readme will also describe how to compile the target
programs under IBM OS/2 (TM) using the using C Set++ compiler (TM). All programs on
this diskette have been compiled and tested in this environment. The majority
of programs on this diskette should port to other environments with only minor
adjustments. The exception to this are those programs which utilize
presentation manager for graphical display of program data. In particular,
the grid1 programs in chapt4ackprop and chapt3 fall into this latter category.
- 2022-08-09 11:53:45下载
- 积分:1
-
libview的libsvm程序,它的应用比较方便。
libview的libsvm程序,它的应用比较方便。-libview the libsvm procedure, its application more convenient.
- 2023-07-03 09:00:03下载
- 积分:1
-
停车诱导系统中车位预测模型的研究
摘 要 研究城市停车诱导系统的停车车位占有率预测问题。首先提出墓于B P神经网络的车位占有预测模型, 同时将自适应
学...
停车诱导系统中车位预测模型的研究
摘 要 研究城市停车诱导系统的停车车位占有率预测问题。首先提出墓于B P神经网络的车位占有预测模型, 同时将自适应
学习速率调整法和加入动量项方法用于改善基本B P神经网络, 优化了学习速率, 减少了训练过程的震荡趋势, 改善了网络的收效
隆。以此为基础实现了停车位的智能预测 0最后, 进行了多种方法比对实验-err
- 2023-04-04 02:10:03下载
- 积分:1
-
java编写的贝叶斯网络分类器(貌似没有模型构建和参数学习过程)...
java编写的贝叶斯网络分类器(貌似没有模型构建和参数学习过程)-java prepared by the Bayesian network classifier (seemingly no model of the learning process and parameters)
- 2023-03-28 23:10:03下载
- 积分:1