这个程序主要提高了神经网络，遗传算法，聚类等多种人工智能算法，采样c++编程，，很精简...

这是一篇关于文本分类问题的综述，详细的介绍了文本分类的技术发展。-text category

无约束条件的模拟退火算法 -Unconstrained conditions of simulated annealing algorithm

本书介绍了一些关于机器人的识别技术，值得学习和借鉴，作为基础资料不错-The book introduced a number of robot recognition technology, it is worth to learn from, as a good basis for information

神经网络 MCP运算法-neural network algorithm

模式识别中isodata的 vc++实现-pattern recognition isodata achieve the vc

数据挖掘算法BIRCH源码 c语言版本。- Data mining algorithm BIRCH source code c language edition.

实现自适应模糊控制的功能，大家 可以下载下来-adaptive fuzzy control

c语言实现人工智能art1网络的算法实现 -c language art1 network artificial intelligence algorithms

产品设计时间智能预测方法的研究，值得借鉴一下-product design time intelligent prediction method of research, worth learning about

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