This HTML5 document contains 45 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
category-eshttp://es.dbpedia.org/resource/Categoría:
dcthttp://purl.org/dc/terms/
wikipedia-eshttp://es.wikipedia.org/wiki/
n22http://es.wikipedia.org/wiki/Cálculo_lambda?oldid=129906160&ns=
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n24http://www.lambda-bound.com/book/lambdacalc/lcalconl.
n13https://web.archive.org/web/20070927180227/http:/www.masoftware.es/descargas/herramientas.
n4https://web.archive.org/web/20070608221009/http:/docs.python.org/ref/function.
dbpedia-eshttp://es.dbpedia.org/resource/
prop-eshttp://es.dbpedia.org/property/
n7https://web.archive.org/web/20070609115201/http:/docs.python.org/ref/lambdas.html%23
n29http://portal.acm.org/citation.cfm%3Fid=363749&coll=portal&dl=
rdfshttp://www.w3.org/2000/01/rdf-schema#
n11https://web.archive.org/web/20011206080336/http:/www.jetcafe.org/~jim/lambda.
n5https://www.researchgate.net/publication/
n28http://rdf.freebase.com/ns/m.
n14http://citeseer.ist.psu.edu/barendregt94introduction.
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n17http://www.pcs.usp.br/~coin-aamas06/10_commitment-43_16pages.
owlhttp://www.w3.org/2002/07/owl#
n16http://pauillac.inria.fr/~levy/pubs/88icot.
n23http://www.csse.monash.edu.au/~lloyd/tildeFP/Lambda/Examples/
n18https://web.archive.org/web/20070612034519/http:/users.bigpond.net.au/d.keenan/Lambda/
n15http://worrydream.com/AlligatorEggs/
n10http://www.inf.fu-berlin.de/lehre/WS03/alpi/lambda.
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n27http://homepages.nyu.edu/~cb125/Lambda/
dbrhttp://dbpedia.org/resource/
n6https://web.archive.org/web/20040823174002/http:/www.elsevier.com/wps/find/bookdescription.cws_home/501727/description%23
Subject Item
dbpedia-es:Calculo-λ
dbo:wikiPageRedirects
dbpedia-es:Cálculo_lambda
Subject Item
dbpedia-es:Calculo_Lambda
dbo:wikiPageRedirects
dbpedia-es:Cálculo_lambda
Subject Item
dbpedia-es:Calculo_lambda
dbo:wikiPageRedirects
dbpedia-es:Cálculo_lambda
Subject Item
dbpedia-es:Cálculo-λ
dbo:wikiPageRedirects
dbpedia-es:Cálculo_lambda
Subject Item
dbpedia-es:Cálculo_Lambda
dbo:wikiPageRedirects
dbpedia-es:Cálculo_lambda
Subject Item
dbpedia-es:Cálculo_λ
dbo:wikiPageRedirects
dbpedia-es:Cálculo_lambda
Subject Item
dbpedia-es:Expresiones_lambda
dbo:wikiPageRedirects
dbpedia-es:Cálculo_lambda
Subject Item
dbpedia-es:Lambda-calculo
dbo:wikiPageRedirects
dbpedia-es:Cálculo_lambda
Subject Item
dbpedia-es:Lambda-cálculo
dbo:wikiPageRedirects
dbpedia-es:Cálculo_lambda
Subject Item
dbpedia-es:Lambda_Calculo
dbo:wikiPageRedirects
dbpedia-es:Cálculo_lambda
Subject Item
dbpedia-es:Lambda_Cálculo
dbo:wikiPageRedirects
dbpedia-es:Cálculo_lambda
Subject Item
dbpedia-es:Lambda_calculo
dbo:wikiPageRedirects
dbpedia-es:Cálculo_lambda
Subject Item
dbpedia-es:Lambda_calculus
dbo:wikiPageRedirects
dbpedia-es:Cálculo_lambda
Subject Item
dbpedia-es:Lambda_cálculo
dbo:wikiPageRedirects
dbpedia-es:Cálculo_lambda
Subject Item
dbr:Lambda_calculus
owl:sameAs
dbpedia-es:Cálculo_lambda
Subject Item
dbpedia-es:Cálculo_lambda
rdfs:label
Cálculo lambda
rdfs:comment
En lógica matemática, el cálculo lambda es un sistema formal diseñado para investigar la definición de función, la noción de aplicación de funciones y la recursión. Fue introducido por Alonzo Church y Stephen Kleene en la década de 1930 como parte de sus investigaciones sobre los fundamentos de las matemáticas. Church usó el cálculo lambda en 1936 para resolver el Entscheidungsproblem. Puede ser usado para definir de manera limpia y precisa qué es una "función computable".
owl:sameAs
n28:04mg4
dct:subject
category-es:Sistemas_lógicos category-es:Computabilidad category-es:Cálculo_lambda
foaf:isPrimaryTopicOf
wikipedia-es:Cálculo_lambda
dbo:wikiPageID
82663
dbo:wikiPageRevisionID
129906160
dbo:wikiPageExternalLink
n4:html n5:237723293_Lambdascope_Another_optimal_implementation_of_the_lambda-calculus n6:description n7:lambda n10:pdf n11:html n13:html n14:html n15: n16:pdf n17:pdf n18: n23: n24:html n27: n29:ACM
dbo:wikiPageLength
44703
prov:wasDerivedFrom
n22:0
dbo:abstract
En lógica matemática, el cálculo lambda es un sistema formal diseñado para investigar la definición de función, la noción de aplicación de funciones y la recursión. Fue introducido por Alonzo Church y Stephen Kleene en la década de 1930 como parte de sus investigaciones sobre los fundamentos de las matemáticas. Church usó el cálculo lambda en 1936 para resolver el Entscheidungsproblem. Puede ser usado para definir de manera limpia y precisa qué es una "función computable". El interrogante de si dos expresiones del cálculo lambda son equivalentes no puede ser resuelto por un algoritmo general. Esta fue la primera pregunta, incluso antes que el problema de la parada, cuya indecidibilidad fue probada. El cálculo lambda tiene una gran influencia sobre los lenguajes funcionales, como Lisp, ML y Haskell. Se puede considerar al cálculo lambda como uno de los lenguajes universales de programación más minimalistas. Consiste en una regla de transformación simple (sustitución de variables) y un esquema simple para definir funciones. El cálculo lambda es universal porque cualquier función computable puede ser expresada y evaluada a través de él. Por lo tanto, es equivalente a las máquinas de Turing. Sin embargo, el cálculo lambda no hace énfasis en el uso de reglas de transformación y no considera las máquinas reales que pueden implementarlo. Se trata de una propuesta más cercana al software que al hardware. Este artículo se enfocará sobre el cálculo lambda sin tipos, como fue diseñado originalmente por Church. Desde entonces, algunos fueron creados.
Subject Item
wikipedia-es:Cálculo_lambda
foaf:primaryTopic
dbpedia-es:Cálculo_lambda
Subject Item
dbpedia-es:Alonzo_Church
prop-es:conocidoPor
dbpedia-es:Cálculo_lambda