Accés més ràpid que el navegador!
21 les relacions: Alan Turing, Algorisme, Arquitectura de von Neumann, Autòmat cel·lular, Cambridge University Press, Claude Elwood Shannon, Complexitat computacional, Funció computable, Funció de transferència, Funció recursiva, John von Neumann, Llenguatge enumerable recursivament, Llenguatge recursiu, Marvin Minsky, Màquina de Turing, Nombre de Gödel, Ordinador de programa emmagatzemat, Problema de decisió, Problema de la parada, Tesi de Church-Turing, Turing complet.
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!!: Màquina universal de Turing і 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!!: Màquina universal de Turing і Algorisme · Veure més »
Arquitectura de von Neumann
von Neumann L'arquitectura de von Neumann és la d'un ordinador amb un sistema d'emmagatzematge principal on es guarden tant les instruccions com les dades.
Nou!!: Màquina universal de Turing і Arquitectura de von Neumann · Veure més »
Autòmat cel·lular
Animació del Joc de la vida de Conway, un autòmat cel·lular. Un autòmat cel·lular (A.C.) és un model matemàtic per a un sistema dinàmic que evoluciona en passos discrets.
Nou!!: Màquina universal de Turing і Autòmat cel·lular · Veure més »
Cambridge University Press
Cambridge University Press és l'editorial de la Universitat de Cambridge, considerada la més antiga del món encara activa (va ser fundada el 1534) i sense interrupcions.
Nou!!: Màquina universal de Turing і Cambridge University Press · Veure més »
Claude Elwood Shannon
va ser un enginyer elèctric, matemàtic i criptògraf estatunidenc, recordat per ser el pare de la teoria de la informació i de les comunicacions digitals.
Nou!!: Màquina universal de Turing і Claude Elwood Shannon · Veure més »
Complexitat computacional
La teoria de complexitat computacional és la part de la teoria de la computabilitat que estudia els recursos requerits durant el càlcul per resoldre un problema.
Nou!!: Màquina universal de Turing і Complexitat computacional · 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!!: Màquina universal de Turing і Funció computable · Veure més »
Funció de transferència
La funció de transferència d'un sistema és una funció en el domini s que relaciona l'entrada i la sortida.
Nou!!: Màquina universal de Turing і Funció de transferència · Veure més »
Funció recursiva
En lògica matemàtica i computació, les funcions recursives o també conegudes com a funcions recursives-μ són una classe de funcions dels nombres naturals en els nombres naturals que són "computables" en un sentit intuïtiu.
Nou!!: Màquina universal de Turing і Funció recursiva · Veure més »
John von Neumann
fou un científic, físic i matemàtic estatunidenc, jueu d'origen hongarès, considerat per molts com un dels més importants científics del.
Nou!!: Màquina universal de Turing і John von Neumann · Veure més »
Llenguatge enumerable recursivament
En matemàtiques, lògica i complexitat computacional un llenguatge formal és un llenguatge enumerable recursivament (o també parcialment decidible o Turing-computable) si és un subconjunt enumerable recursivament del conjunt de totes les paraules amb l'alfabet del llenguatge.
Nou!!: Màquina universal de Turing і Llenguatge enumerable recursivament · Veure més »
Llenguatge recursiu
En matemàtiques, lògica i complexitat computacional un llenguatge formal és un llenguatge recursiu és un subconjunt recursiu del conjunt de totes les seqüències finites possibles de l'alfabet del llenguatge.
Nou!!: Màquina universal de Turing і Llenguatge recursiu · Veure més »
Marvin Minsky
Marvin Lee Minsky (9 d'agost de 1927 - 24 de gener del 2016) fou un científic cognitiu dels Estats Units en el camp de la Intel·ligència artificial (IAI), cofundador del laboratori d'IA del Massachusetts Institute of Technology, i autor de diversos textos sobre la IA i filosofia.
Nou!!: Màquina universal de Turing і Marvin Minsky · 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!!: Màquina universal de Turing і 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!!: Màquina universal de Turing і Nombre de Gödel · Veure més »
Ordinador de programa emmagatzemat
El terme ordinador de programa emmagatzemat, tot i que hi ha hagut discrepàncies en l'ús del sinònim von Neumann, engloba tot un ventall d'ordinadors digitals, tant d'arquitectura de von Neumann com d'arquitectura Harvard, des de la dècada del 1950 fins als nostres dies, descartant els anteriors.
Nou!!: Màquina universal de Turing і Ordinador de programa emmagatzemat · 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!!: Màquina universal de Turing і Problema de decisió · Veure més »
Problema de la parada
En teoria de la computabilitat el problema de la parada és un problema de decisió que es pot formular de forma informal: Alan Turing va provar el 1936 que un algorisme general per resoldre el problema de la parada per totes les possibles parelles programa-entrades no pot existir.
Nou!!: Màquina universal de Turing і Problema de la parada · Veure més »
Tesi de Church-Turing
La Tesi de Church-Turing, simplificant, es pot enunciar així: "Tot algorisme o procediment efectiu és Turing-computable".
Nou!!: Màquina universal de Turing і Tesi de Church-Turing · Veure més »
Turing complet
En la teoria d'ordinadors reals i imaginaris, dels llenguatges de programació i d'altres sistemes lògics, un sistema Turing complet és aquell que té un poder computacional equivalent a la màquina universal de Turing.
Nou!!: Màquina universal de Turing і Turing complet · Veure més »
