这是cmu大学的一个研究小组编写的神经网络中反向传播算法的源代码，很有参考价值。...

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

不错的自组织神经网络算法，程序有注释。能运行，效果还行。-good self-organizing neural network algorithm, the procedure Notes. Can run, the results were OK.

新型模拟退火算法解决TSP优化问题。自能退火。可用于大多数情况下的优化问题。-New simulated annealing algorithm to solve TSP optimization problem. Zineng annealing. Can be used in most cases the optimization problem.

自己写的一个简单的神经网络(BP)算法，用来解决异或（XOR)问题,初学神经网络的人可以下来看！-Wrote it myself a simple neural network (BP) algorithm, to solve the exclusive-OR (XOR) problem, learning neural network can look at the next!

SVM分类器，由上海交通大学编写，软件使用方便、好用-SVM classifier, from the preparation of the Shanghai Jiaotong University, the software easy to use, handy

人工神经网络，利用matlab工具箱算法-Artificial neural network using matlab toolbox algorithm

堆排序适合于待排序文件中记录较多的情况，因为其主要的时间开销在于建堆和调整堆-HEAPSORT be suitable for sorting paper records more, because the main overhead is the time to build reactors and adjusting the heap

一个高人的VC实现NN的程序。很不错。先运行Matrixbase.dsw,again arithmetic.dsw, next nnbp.dsw,final neuralNetWork.dsw.-an expert in VC NN procedures. Very good. First running Matrixbase.dsw, again arithmetic.dsw. next nnbp.dsw, final neuralNetWork.dsw.

matlab中遗传算法的例子，希望对大家有用呀-Matlab genetic algorithm example, we hope to useful! !

神经网络预测程序代码 -Neural network code