Logo
Uniopèdia
Comunicació
Disponible a Google Play
Nou! Descarregar Uniopèdia al dispositiu Android™!
Gratis
Accés més ràpid que el navegador!
 

Càlcul lambda

Índex Càlcul lambda

El càlcul lambda (o càlcul-λ) és un sistema formal dissenyat per investigar la definició de funció, la noció d'aplicacions de funcions i la recursió.

15 les relacions: Algorisme, Alonzo Church, Entscheidungsproblem, Funció, Funció computable, Lisp, Maquinari, Màquina de Turing, Programació funcional, Programari, Recursivitat, Sistema formal, Stephen Kleene, 1930, 1936.

Algorisme

nombres primers Un algorisme (o, alternativament, algoritme) és un conjunt finit d'instruccions o passos que serveixen per a executar una tasca o resoldre un problema.

Nou!!: Càlcul lambda і Algorisme · Veure més »

Alonzo Church

fou un matemàtic americà i lògic que va fer importants contribucions a la lògica matemàtica i als fonaments la informàtica teòrica.

Nou!!: Càlcul lambda і Alonzo Church · Veure més »

Entscheidungsproblem

El Entscheidungsproblem (en català: problema de decisió) fou el repte en lògica simbòlica de trobar un algorisme que decidís si una fórmula de càlcul de primer ordre és un teorema.

Nou!!: Càlcul lambda і Entscheidungsproblem · Veure més »

Funció

parells ordenats (''x'',''f''(''x'')). En matemàtiques, una funció és la idealització de com una quantitat variable depèn d'una altra quantitat.

Nou!!: Càlcul lambda і Funció · Veure més »

Funció computable

Les funcions computables són l'objecte bàsic d'estudi de la teoria de la computabilitat i consisteixen en les funcions que poden ser calculades per una màquina de Turing.

Nou!!: Càlcul lambda і Funció computable · Veure més »

Lisp

Lisp (o LISP) és un dels grans pioners dels llenguatges de programació, creador del paradigma funcional.

Nou!!: Càlcul lambda і Lisp · Veure més »

Maquinari

Ratolí El maquinari (en anglès hardware) d'un ordinador és el conjunt de les seves parts físiques.

Nou!!: Càlcul lambda і Maquinari · Veure més »

Màquina de Turing

Fotografia d'Alan Turing (1930) La màquina de Turing és un model computacional introduït per Alan Turing en el treball "On computable numbers, with an application to the Entscheidungsproblem", publicat per la Societat Matemàtica de Londres, en el qual s'estudiava la qüestió plantejada per David Hilbert sobre si les matemàtiques són decidibles, és a dir, si hi ha un mètode definit que pugui aplicar-se a qualsevol sentència matemàtica i que resolgui si és certa o no.

Nou!!: Càlcul lambda і Màquina de Turing · Veure més »

Programació funcional

En informàtica, la programació funcional és un paradigma de programació que tracta les computacions com un procés d'aplicació de funcions, evitant les dades mudables amb els seus canvis d'estat.

Nou!!: Càlcul lambda і Programació funcional · Veure més »

Programari

Imatge del sistema operatiu per a dispositius mòbils Android. El programari (software, en anglès) és el conjunt dels programes informàtics, procediments i documentació que fan alguna tasca en un ordinador.

Nou!!: Càlcul lambda і Programari · Veure més »

Recursivitat

Publicitat amb la utilització d'una imatge ''recursiva'' La recursivitat és la forma en la qual s'especifica un procés basat en la seva pròpia definició.

Nou!!: Càlcul lambda і Recursivitat · Veure més »

Sistema formal

Un sistema formal o axiomàtic és un artifici matemàtic compost de símbols que s'uneixen entre si formant cadenes que, al seu torn, poden ser manipulades segons regles per produir altres cadenes.

Nou!!: Càlcul lambda і Sistema formal · Veure més »

Stephen Kleene

Stephen Kleene (5 de gener de 1909, Hartford (Connecticut), Estats Units - 25 de gener de 1994, Madison (Wisconsin), EUA) fou un lògic i matemàtic estatunidenc.

Nou!!: Càlcul lambda і Stephen Kleene · Veure més »

1930

;Països Catalans.

Nou!!: Càlcul lambda і 1930 · Veure més »

1936

;Països Catalans Bitllet emès per la Generalitat republicana el '''1936'''.

Nou!!: Càlcul lambda і 1936 · Veure més »

Redirigeix aquí:

Càlcul Lambda, Càlcul λ, Càlcul Λ, Càlcul-Lambda, Càlcul-lambda, Càlcul-λ, Càlcul-Λ, Lambda càlcul, Λ càlcul, Λ-càlcul.

SortintEntrant
Hey! Estem a Facebook ara! »