Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword
Like this
13Activity
0 of .
Results for:
No results containing your search query
P. 1
Calculo Lambda

Calculo Lambda

Ratings: (0)|Views: 555|Likes:
Published by boulebar100

More info:

Published by: boulebar100 on Oct 20, 2009
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

06/05/2013

pdf

text

original

 
Programación III
Programación Funcional
Universidad Nacional del NordesteFaculta de Ciencias Exactas Naturales y Agrimensura
Historia
Sus orígenes provienen del Cálculo Lambda(
λ
-cálculo), una teoría matemática elaboradapor 
“AlonzoChurch
como apoyo a susestudios sobre computabilidaden la décadade 1930.
Churchusóel cálculo lambda en 1936 pararesolver el Entscheidungsproblem
Churchprobóque no había algoritmo quepudiese ser considerado como una "solución"al Entscheidungsproblem.
Independientemente el mismo año, Turingprueba lo mismo con su “Máquina de Turing”.
Alonzo Church (1903-1995)
 
Más Historia
David Hilbert, siguiendo con su programa conel cual propone desafíos a los matemáticos(23 Problemas de Hilbertdel 1900), formula 3preguntas en 1928, la tercera de las cuales seconoce como:
“Hilbert'sEntscheidungsproblem”
.
El Entscheidungsproblem: es el reto en lógicasimbólica de encontrar un algoritmo generalque decida si una fórmula del cálculo deprimer orden es lógicamente válida.
El teorema de completitud de Gödel, postulaque una formula lógica es lógicamente válidasi y solo sí, para cada interpretación, la mismaes verdadera.
David Hilbert (1862-1943)
http://www.answers.com/topic/hilbert-s-problemshttp://www.answers.com/topic/entscheidungsproblem-1
Cálculo Lambda I
El cálculo lambda es un sistema formal diseñadopara investigar:
la definición de función,
la aplicación de una función,
la recursividad.
Por ejemplo, si una función f es definida por laecuación
f(x)=t
, donde t es algún término quecontiene a
x
, entonces la aplicación
f(u)
devuelve elvalor 
t[x:=u]
, que resulta de sustituir 
u
en cadaaparición de
x
en
t
.
Si
f(x)=x*x
, entonces
f(3)=3*3=9
.
 
Cálculo Lambda II
La principal característica del cálculo lambda es su simplicidad,ya que permite efectuar solo dos operaciones:
Abstracción funcional:
Definir funciones de un soloargumento y con un cuerpo especifico, denotado por lasiguiente terminología:
λλλλ
x.B
.
Aplicación de función:
Aplicar alguna de las funcionesdefinidas sobre un argumento real (A). Es decir 
(
λλλλ
x.B) A
.Ejemplos:
x. x + 2) 3
5
f. f 3) (λx. x + 2)
x. x + 2) 3
3 + 2
5
Cálculo LambdaSintaxis
Consideramos un conjunto finito de variables {a, b, c, ..., x, y, z}.
El conjunto de todas las
λ
-expresiones por la siguientegramática libre de contexto en BNF.
 <expr>::= <var| (λ<var>.<expr>)
 Abstracción
| (<expr> <expr>)
 Aplicación
Las dos primeras reglas generan funciones y la tercera, describelaaplicación de una función a un argumento.
Ejemplos
λx.xλx.(λy.y)λf.fx.x)
http://www.answers.com/topic/lambda-calculus

Activity (13)

You've already reviewed this. Edit your review.
1 hundred reads
1 thousand reads
fernando liked this
osmarcelo liked this
alexcocar liked this
alexcocar liked this

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->