La grande scienza. Cronologia scientifica: 1971-1980
1971-1980
1971
I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] sottende e per la grande semplicità dell'enunciato.
Il protocollo RSA. Tre informatici, Ron Rivest, Adi Shamir e LeonardAdleman, sviluppano il sistema crittografico a chiave pubblica RSA, in cui chiunque può ottenere una chiave pubblica e codificare ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1991-2000
1991-2000
1991
Il sistema operativo Linux. Uno studente finlandese, Linus Torvalds, sviluppa il sistema operativo Linux. Il sistema può essere distribuito, [...] una vasta classe di 4-varietà che non ammettono strutture simplettiche.
Calcolo basato sul DNA. L'informatico americano LeonardAdleman risolve un problema di ricerca di cammini hamiltoniani in un grafo, cioè cammini che toccano tutti i vertici del ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...]
Il paradigma di calcolo chiamato calcolo molecolare (o anche DNA computing) è stato introdotto in alcuni lavori di Leonard M. Adleman (1994) e Richard J. Lipton (1995). In questo caso non è stata l'evoluzione delle tecnologie elettroniche che ...
Leggi Tutto