lambda演算 [资料收集]

对于任何一个发展变化的数学(或物理)系统,只要赋于它的状态以一定的语义,将它从一个状态变换到另一个状态,这个变化过程就是一个演算过程。强人工智能主义者认为:人类思考问题,也是在做某种演算。

 

在经典的计算理论中,演算的最重要的性质就是机械性,这是“演算”的强大威力所在,也是其局限性所在。但是如果把演算的概念扩展到物理世界中,有可能能突破机械性的局限(量子图灵机)。

 

Lambda 演算对函数式程序设计Functional Programming有巨大的影响,特别是Lisp语言的精髓。λ-演算可以说是最简单、最小的一个形式系统。它是在二十世纪三十年代由Alonzo Church Stephen Cole Kleene发明的。

 

Lambda 演算可以被称为最小的通用程序设计语言。它包括一条变换规则(变量替换)和一条函数定义方式,Lambda 演算之通用在于,任何一个可计算函数都能用这种形式来表达和求值。因而,它是等价于图灵机的。尽管如此,Lambda 演算强调的是变换规则的运用,而非实现它们的具体机器。可以认为这是一种更接近软件而非硬件的方式。 

 

http://lambda-the-ultimate.org/

 

http://okmij.org/ftp/Computation/lambda-calc.html

维基百科的介绍

http://zh.wikipedia.org/wiki/%CE%9B%E6%BC%94%E7%AE%97

http://en.wikipedia.org/wiki/Lambda_calculus

http://zh.wikipedia.org/wiki/%E7%AE%80%E5%8D%95%E7%B1%BB%E5%9E%8Blambda%E6%BC%94%E7%AE%97

 

 

mathworld的介绍

http://mathworld.wolfram.com/LambdaCalculus.html 

http://safalra.com/science/lambda-calculus/

 

 

good math  Lamda Calculus (Index)

http://goodmath.blogspot.com/2006/06/lamda-calculus-index.html

 

School of Computer Science and Software Engineering, Faculty of Information Technology, Monash University, Australia 3800

这个大学的FP课程中的Lambda演算相关部分

http://www.csse.monash.edu.au/~lloyd/tildeFP/Lambda/Ch/

wikipedialambda演算相关介绍

http://en.wikipedia.org/wiki/Lambda_calculus

《数理逻辑与集合论》第二版 清华大学出版社

 

An Introduction to Lambda Calculus and Scheme

http://www.jetcafe.org/jim/lambda.html

 

Lambda Calculus & A++
http://www.lambda-bound.com/book/lambdacalc/lcalconl.html

 

http://www.aplusplus.net/bookonl/node233.html

 

 

  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值