用遗传算法求解TSP问题。。。matlab编写，并附带有城市坐标用于检验。...

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

基于svm的机器学习文本分类方法，具有很好的借鉴意义-Svm-based machine learning text classification methods, with a good reference

这是一个神经网络开发包。目录ann下是专门针对神经网络的代码，外部目录是一些公用的代码，与神经网络无关，但是神经网络的代码用到了它们。 ann目录下有一个目录demo，里面存放了一些示例程序，请参照它们进行编程。 ann/prj/vs7下是编译整个库的Visual Stdudio 2003工程文件-This a neural network development kit. Ann directory under specific neural network code, external directory is some common code, has nothing to do with the neural network, but neural networks use of their code. Ann directory is a directory demo, stored inside a sample program, please refer to their program. Ann/prj/vs7 under compiler for the entire 2003 Visual Stdudio engineering documents

这是一个很好的关于BP神经网络的程序,用于两类数据的分类.-This is a very good network of BP procedures for the two types of data classification.

游戏编程AI源码，包括A*等findpath的算法-AI game programming source code, including the A* algorithm, such as findpath

基于matlab的指纹识别系统，采用基于细节点对比，输入图像必须是256×256，8－bit灰度值，500dip的指纹。-Matlab-based fingerprint identification system based on Minutiae contrast, imported images must be 256 x 256.8-bit gray scale values 500dip fingerprints.

FAST apriori.cpp 基于数组和为运算的apriori算法实现,采用为运算来测试子集的存在性，把测试子集存在性的复杂度由O(n^2)降低为O(n)-FAST apriori.cpp array-based computing and for the apriori algorithm, adopted as the operator to test the existence of a subset to test the existence of a subset of the complexity from O (n ^ 2) reduced to O (n)

模式识别中的几个经典算法，有详细的实现过程，配有实验报告 -Several classic pattern recognition algorithms, has detailed the process to achieve with the experimental report

BP神经网络预测-BP neural network prediction

遗传算法的C语言计算，同时以文本的方式输出和图形的方式输出。-genetic algorithm in C language, while the text and graphic output of the output.