nuralnetwork using back propegation and genatic algorithm implementation

经典的SOM人工神经网络例子源码，经测试可用，可作入门学习用-SOM classic examples of artificial neural network source code

这是一个用遗传算法来解决异或问题的小程序。-This is a genetic algorithm to solve the problems or differences of small programs.

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

bp神经网络识别数字，可识别0-9的十个数字-the number of bp neural network can identify the ten figures 0-9

求解tsp问题的模拟退火源码，数据文件请仿照文件中的input.txt自行创建-the simulated annealing source, data files copied documents requested the creation of their own input.txt

汉语分词系统，对中文语句进行识别，然后分词，是很好的自然语言理解的例子-Chinese word segmentation system, the Chinese phrase for identification, then Word, is a very good natural language understanding examples

包括883分酒问题，图的遍历等人工智能基本算法-Including 883 hours of liquor problem, artificial intelligence, such as graph traversal algorithm

用于神经网络分析与设计-for Neural Network Analysis and Design

遗传算法的经典之作-Genetic Algorithm for the classics

神 经 网 络 资 料-neural network data