很好用的一个适用程序，由Visual C＋＋编程，有收藏价值

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

模式识别分类 内有聚类算法.分段线性算法-Categorization of pattern recongnization includes clustering algorithm and segmentation linear algorithm.

中文分词

我收集整理的有关于系统辨识的资料和一些方法的优缺点-I have collated the information on the system identification and the advantages and disadvantages of some methods

LS-SVM_UserGuide是LS-SVM使用方法介绍的一篇文章，竟对我们学习支持向量机有很大的帮助。-LS-SVM_UserGuide is the use of LS-SVM method described in an article we had on the support vector machine learning of great help.

包分类算法Hypercuts算法，包分类算法Hypercuts算法-Hypercuts

几篇关于混合遗传算法方面的好文章。-few mixed genetic algorithm on the excellent article.

此为蚂蚁算法求解TSP的源代码，希望对大家有所帮助-This is the ant algorithm to solve TSP source code, and they hope to help everyone

对股票走势的仿真，基于agent的设计思路-The trend of the stock simulation, agent-based design ideas

图像分割的实例程序，其中的CDib类可以直接应用于其他的图像处理程序。-examples of image segmentation procedures, which the CDib categories can be directly applied to other image processing.