摘要： 机器定理证明 - 正文[回目录]把人证明数学定理和日常生活中的演绎推理变成一系列能在计算机上自动实现的符号演算的过程和技术，又称自动定理证明和自动演绎。机器定理证明是人工智能的重要研究领域，它的成果可应用于问题求解、自然语言理解、程序验证和自动程序设计等方面。数学定理证明的过程尽管每一步都很严格有据，但决定采取什么样的证明步骤，却依赖于经验、直觉、想象力和洞察力，需要人的智能。因此，数学定理的机器证明和其他类型的问题求解,就成为人工智能研究的起点。早在17世纪中叶，莱布尼兹就提出过用机器实现定理证明的思想。19世纪后期G.弗雷格的“思想语言”的形式系统，即后来的谓词演算，奠定了符号逻辑的基础， 阅读全文

摘要： Demo Java to C# Converter.exe已下载到F:\SoftWare-new\java\Java_to_CSharp_Converter.rar 阅读全文

摘要： http://blog.csdn.net/ganghust/article/details/1532203一、什么是编程语言？编程语言是用来表达机器指令的工具吗？是程序员之间交流的桥梁吗？是表达高层设计的载体吗？是算法的符号吗？是表达概念之间关系的途径吗?是实验用的器材吗？是控制计算设备的方法吗？我的结论是，一个多用途（general-purpose）编程语言在上述这些问题的回答都应该为“是”，以满足不同用户的需要。编程语言不能成为——仅仅一些“优雅”特性的集合(a mere collection of “neat” features)。-Stroustrup [1994], commenti 阅读全文