λ演算

原创 2017年01月03日 01:19:22

第一类对象原则

  • a 属于 Λ 空间
  • 对于任何 M 属于 Λ 空间,且 a 属于 Λ 空间,则 λ a. M 属于 Λ 空间
  • 对于 F、M 属于 Λ 空间,则 F M 属于 Λ 空间

使用 λ 表达式来描述即:
λ` 属于 Λ 空间

  1. λ λ`. λ`

  2. λ` λ`

这是一个递归定义,也就是说任何一条 lambda 表达式的参数以及返回值都可以是 lambda 表达式(该 lambda 表达式的参数以及返回值的 lambda 表达式的参数以及返回值也能是 lambda 表达式)。

由此我们可以定义 lambda 表达式版的 bool 值及其算子:

T = λ x y. x
F = λ x y. y

AND = λ x y. x y F
OR = λ x y. x T y
NOT = λ x. x F T
版权声明:本文为博主原创文章,未经博主允许不得转载。

你知道SQL,你了解元组演算吗?

我们学习一个知识点,必须要从一个最基本的定义出发,然后再慢慢剖析其内部潜在的规律,再而就是与生活结合起来分析,达到共鸣,那么这个知识点就算搞定了。那么我们这次来说说元组演算。我想说说“共鸣”:为什么你...
  • yi_zz
  • yi_zz
  • 2012年05月30日 22:55
  • 6784

lambda 演算

 λ演算维库,知识与思想的自由文库 Jump to: navigation, search页面分类(2): 计算理论 | 递归论λ演算是一套用于研究函数定义、函数应用和递归的形式系统。它由 Alonz...
  • Lu_ming
  • Lu_ming
  • 2006年12月03日 12:00
  • 4562

简单λ演算

 苦于Lambda演算的资料又少不完,上个星期在网上收集了资料以后汇集在一起,作为一个全一点的版本吧!基本上是结合这篇文章,Wiki中的介绍,再就是类型和程序设计语言>>,这三者写的.希望大家对其中的...
  • feosun
  • feosun
  • 2008年02月20日 19:12
  • 5719

通信与移动系统:π演算学习笔记

自动机
  • u010592047
  • u010592047
  • 2016年02月23日 09:33
  • 158

Alonzo Church的λ演算(摘自彭罗斯《皇帝新脑》)

可计算性的概念是一个非常重要和美丽的数学观念。它又是相当近代的,具有这样基本性质的事体进入数学的王国是本世纪三十年代的事。这个观念已经渗透到数学的所有领域中去(虽然这一点确实是真的,但是大多数数学家通...
  • Utensil
  • Utensil
  • 2007年08月28日 12:01
  • 5246

函数式编程。λ演算。LISP。

这一段接触代码多了,对各种的编程方法也有一些深入的理解。 尤其是学习了LISP,稍稍有些心得。 像LISP,使用最简单的语法,进行函数式的编程。按我的猜测,LISP来源于λ演算(从λ演算的...
  • alex0
  • alex0
  • 2013年01月17日 00:02
  • 597

数据库--元组演算

在数据库查询数据时,所输入的SQL语句,是一中描述性的语言,即我们只需要告诉数据库我们要查找哪些数据,这些数据的特征是什么,而不用告诉数据库,怎么找这些数据(即通过什么样的算法,什么样的步骤)。  ...
  • xqf309
  • xqf309
  • 2013年04月28日 21:49
  • 3710

Lambda演算学习笔记

前言 blog好久没有更新了,上次更新还是4月28号。这段时间实在是很忙,4月的最后一周为了赶一篇论文,累死累活,最后在tom的帮助下总算在4月30号截稿之前完成了。4月29号的晚上一直改到了第二天...
  • sdulibh
  • sdulibh
  • 2016年05月04日 08:26
  • 1630

lambda演算

由简入深,适时复习,温故知新。 λ演算基于最简单的定义函数的思想:一为函数抽象λx.E,由λ说明的x在函数体E中出现均为形参变元。E是一个λ表达式。一为函数应用(λx.E)(a),即E中的x均由a置...
  • houmou
  • houmou
  • 2015年11月03日 15:50
  • 551

数理逻辑:谓词演算(2)变量替换

  • zzwu
  • zzwu
  • 2012年08月26日 16:46
  • 712
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:λ演算
举报原因:
原因补充:

(最多只允许输入30个字)