感知器神经元解决较复杂输入向量的分类问题

神 经 网 络 的 资 料-neural network data

神经网络中的tsp的模拟退火算法的matlab实现-neural network tsp of the simulated annealing algorithm to achieve the Matlab

神经网络中的竞争网络聚类-neural network competition in the network clustering

B-P算法对函数的拟合程序-B-P algorithm to function fitting procedures

雅可比(Jacobi)迭代算法的C++实现，供研究设计使用-Jacobi (Jacobi) iteration algorithm for C++ implementation for research designed to use

命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论，这些还有赖于人的经验技巧和才能。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.

科罗拉多大学开发的人脸识别系统,要在UNIX下运行.-developed at the University of Colorado, the face recognition system to run under UNIX.

A star 算法类的实现(算法接口，针对迷宫问题设计)-algorithm to achieve the category (algorithm interface design issues against maze)

我做的的八数码游戏！！学人工智能的用vc编写的-the eight digital game! ! Using artificial intelligence study prepared by the vc

遗传算法的人工生命模拟源程序-Genetic algorithm source artificial life simulation