Accés més ràpid que el navegador!
17 les relacions: Alan Turing, Algorisme, Alonzo Church, Càlcul lambda, Constant de Chaitin, Funció computable, Gregory Chaitin, Heurística, Màquina de Turing, Nombre de Gödel, Nombre natural, Problema de decisió, Programa informàtic, Reducció, Reducció a l'absurd, Teoria de la computabilitat, 1936.
Alan Turing
Alan Mathison Turing (Maida Vale, 23 de juny de 1912 - Wilmslow, 7 de juny de 1954) fou un científic, matemàtic, lògic, criptoanalista, biomatemàtic i maratonià britànic.
Nou!!: Problema de la parada і Alan Turing · Veure més »
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!!: Problema de la parada і 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!!: Problema de la parada і Alonzo Church · Veure més »
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ó.
Nou!!: Problema de la parada і Càlcul lambda · Veure més »
Constant de Chaitin
En complexitat computacional, la constant de Chaitin o nombre Omega de Chaitin o probabilitat de parada és, de forma informal, la probabilitat de que un programa escrit al atzar aturi correctament una màquina de Turing determinista.
Nou!!: Problema de la parada і Constant de Chaitin · 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!!: Problema de la parada і Funció computable · Veure més »
Gregory Chaitin
Gregory J. Chaitin (Chicago, 15 de Novembre de 1947) és un matemàtic i científic de la computació argentí-estatunidenc.
Nou!!: Problema de la parada і Gregory Chaitin · Veure més »
Heurística
Lheurística és una forma de treball per resoldre problemes, aprendre, o fer descobriments que utilitza mètodes pràctics que no garanteixen una solució òptima o perfecta, però que són suficients per als objectius immediats.
Nou!!: Problema de la parada і Heurística · 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!!: Problema de la parada і Màquina de Turing · Veure més »
Nombre de Gödel
En teoria dels nombres un nombre de Gödel és una funció que assigna a cada símbol i fórmula d'un llenguatge formal un nombre únic, anomenat Nombre de Gödel (GN).
Nou!!: Problema de la parada і Nombre de Gödel · Veure més »
Nombre natural
Un nombre natural és qualsevol dels nombres 0, 1, 2, 3…, 19, 20, 21..., que es poden utilitzar per a comptar els elements d'un conjunt finit.
Nou!!: Problema de la parada і Nombre natural · Veure més »
Problema de decisió
En teoria de la computabilitat i en complexitat computacional, un problema de decisió és una qüestió en algun sistema formal amb una resposta sí o no.
Nou!!: Problema de la parada і Problema de decisió · Veure més »
Programa informàtic
Un programa informàtic escrit en un estil orientat a objectes Un programa informàtic o programa d'ordinador és una seqüència d'instruccions, escrites per fer una tasca específica en una computadora.
Nou!!: Problema de la parada і Programa informàtic · Veure més »
Reducció
La reducció és un procés electroquímic pel qual un àtom o ió guanya un o més electrons, tot disminuint el seu estat d'oxidació.
Nou!!: Problema de la parada і Reducció · Veure més »
Reducció a l'absurd
En matemàtica, la demostració per contradicció o per reducció a l'absurd (o en llatí, reductio ad absurdum) és un mètode indirecte.
Nou!!: Problema de la parada і Reducció a l'absurd · Veure més »
Teoria de la computabilitat
La teoria de la computabilitat és la part de la computació que estudia els problemes de decisió que poden ser resolts amb un algorisme o equivalentment amb una màquina de Turing.
Nou!!: Problema de la parada і Teoria de la computabilitat · Veure més »
1936
;Països Catalans Bitllet emès per la Generalitat republicana el '''1936'''.
Nou!!: Problema de la parada і 1936 · Veure més »
