摘要: 形式化运算系统的研究: 图灵:提出图灵机形式系统,通过0,1运算系统来解决复杂问题; 冯诺依曼:提出了冯诺依曼体系;即通过修改内存反映运算结果; 阿隆左.丘奇:提出新的运算范型Lambda演算,计算机运算才是本质,修改内存只不过是这种运算规则的副作用; 后出现函数式语言的鼻祖:LISP; 函数式语言 阅读全文
posted @ 2014-11-09 20:00 JinksPeng 阅读(219) 评论(0) 推荐(0) 编辑