8 les relacions: Acadèmia Francesa de les Ciències, Alonzo Church, Autòmat finit, Michael Rabin, Minivac 601, Premi Turing, Richard Karp, Test de primalitat de Miller-Rabin.
Acadèmia Francesa de les Ciències
LAcadèmia Francesa de les Ciències (Académie des sciences) és una societat científica, fundada el 1666 pel Rei Lluís XIV de França per iniciativa de Jean-Baptiste Colbert.
Nou!!: Michael Oser Rabin і Acadèmia Francesa de les Ciències · 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!!: Michael Oser Rabin і Alonzo Church · Veure més »
Autòmat finit
Esquema lògic d'un autòmat finit Un autòmat finit (AF) o màquina d'estats finits (FSM de l'anglès Finite State Machine) és un model matemàtic d'un sistema compost per estats, transicions i accions.
Nou!!: Michael Oser Rabin і Autòmat finit · Veure més »
Michael Rabin
Per al científic informàtic d'Israel, vegeu Michael O. Rabin.
Nou!!: Michael Oser Rabin і Michael Rabin · Veure més »
Minivac 601
Minivac 601 El kit Minivac 601 Digital Computer era una computadora digital electromecànica creada com un projecte personal pel Dr.
Nou!!: Michael Oser Rabin і Minivac 601 · Veure més »
Premi Turing
El Premi Turing és considerat per molts com el Premi Nobel de la Informàtica.
Nou!!: Michael Oser Rabin і Premi Turing · Veure més »
Richard Karp
Richard Manning Karp (nascut el 3 de gener de 1935) és un informàtic i teòric de la computació estatunidenc que treballa a la Universitat de Califòrnia a Berkeley.
Nou!!: Michael Oser Rabin і Richard Karp · Veure més »
Test de primalitat de Miller-Rabin
El test de primalitat de Miller-Rabin o test de primalitat de Rabin-Miller és un test de primalitat, és a dir un algorisme que determina si un nombre donat és un nombre primer probable, De forma similar al test de primalitat de Fermat i el test de primalitat de Solovay-Strassen.
Nou!!: Michael Oser Rabin і Test de primalitat de Miller-Rabin · Veure més »