从计算的本质到编程语言，所谓计算，是构建在一套公理体系上的，并且在此基础上不断向上演化。
两大类型：数值计算-数值计算包括实数和函数的加减乘除、幂运算、开方运算、方程的求解等；符号推导-符号推导包括代数与各种函数的恒等式、不等式的证明，几何命题的证明等；
两种范式：计算理论的研究：侧重于从数学角度证明表达能力和正确性，比较典型的图灵机、lambda演算、pi演算这些都属于这个范畴。计算模型的研究：侧重于对真实系统的建模和刻画；...
分类：
编程语言 时间：
2014-04-30 22:31:39
阅读次数：
571
艾伦·麦席森·图灵，OBE，FRS（英语：Alan Mathison
Turing，又译阿兰·图灵，Turing也常翻译成涂林或者杜林，1912年6月23日－1954年6月7日），是英国数学家、逻辑学家，他被视为计算机科学之父。
1931年图灵进入剑桥大学国王学院，毕业后到美国普林斯顿大学攻读...
分类：
其他好文 时间：
2014-04-29 14:33:23
阅读次数：
578
