【第21期】观点:人工智能到底用 GPU?还是用 FPGA?

λ演算

原创 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
版权声明:本文为博主原创文章,未经博主允许不得转载。 举报

相关文章推荐

计算之美——奇妙的λ演算

此篇文章可能会给你带来些许的不适,出现 烦躁, 头疼 均属正常情况。阅读前,请保证处于头脑清醒的状态 先来看一段函数 factorial = (lambda f: f(f))( lambd...

Lamda演算简介

Wikipedia(维基百科全书)中关于lambda演算的解释如下: The lambda calculus is a formal system designed to investigate function definition, function application, and recursion. It was introduced by Alonzo Church and Stephen Cole Kleene in the 1930s; Church used the lambda calculus in 1936 to give a negative answer to

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

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

【转】λ演算

(转自wiki:http://zh.wikipedia.org/zh-cn/%CE%9B%E6%BC%94%E7%AE%97 )   λ演算 维基百科,自由的百科全书 <div id="jump

神奇的λ演算

现在时兴讲函数式编程,弄得如果不会写两句λ表达式你都不好意思跟人说自己是敲代码的。所以我也就趁着这阵风头,琢磨琢磨了这个函数式编程。怎么算来,也有个三年两载了,出师还不敢说,将将入门估计还算凑合。朋友...

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

  可计算性的概念是一个非常重要和美丽的数学观念。它又是相当近代的,具有这样基本性质的事体进入数学的王国是本世纪三十年代的事。这个观念已经渗透到数学的所有领域中去(虽然这一点确实是真的,但是大多数数学家通常不去忧虑可计算性的问题)。该观念的威力有一部分来自于这一个事实,即数学中一些定义得很好的运算实际上不是 可计算的(例如图灵机的停机问题;第四章还可以看到其他例子)。因为如果不存在这种不可计算的事体,则可计算性的概念便没有

函数式编程----lambda演算

一 概念 函数式编程(英语:Functional programming),又称泛函编程,是一种编程范型,它将电脑运算视为数学上的函数计算,并且避免状态以及可变数据。函数编程语言最重要的基础是 ...

什么是高阶函数

在数学 和计算机科学 中,高阶函数 是至少满足下列一个条件的<a title="函数" href="http://zh.wikipedi

函数式编程----lambda演算

转载自: http://blog.csdn.net/crazyhacking/article/details/8183088 一 概念 函数式编程(英语:Functional p...

JAVA语言学校的危险性

下面的文章是More Joel on Software一书的第8篇。 我觉得翻译难度很大,整整两个工作日,每天8小时以
收藏助手
不良信息举报
您举报文章:深度学习:神经网络中的前向传播和反向传播算法推导
举报原因:
原因补充:

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