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 [...] Sistema solare che hanno una vita limitata nel tempo.
Logica temporale. L'informatico Amir Pnueli propone di usare la logica temporale per l'analisi di programmiinformatici. La logica temporale permette di fare asserzioni del tipo "la proprietà Q ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] del risultato di Weil sulla funzione zeta di congruenza e del teorema di densità di Cebotarev.
Programmazione strutturata. Un informatico olandese, Edsger Dijkstra, pubblica un articolo, Go to statement considered harmful, in cui sottolinea la ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] modulo e di funtore derivato.
Il linguaggio Lisp. L'informatico americano John McCarthy, durante il convegno di Dartmouth sull' system (CLOS), una versione di Common lisp basata sulla programmazione a oggetti.
Soluzione del problema di Post. Nel 1944, ...
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, [...] ammettono strutture simplettiche.
Calcolo basato sul DNA. L'informatico americano Leonard Adleman risolve un problema di ricerca di sonda spaziale statunitense Deep Space 1. Si tratta del primo programma spaziale della NASA per il XXI sec. e ha lo ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1981-1990
1981-1990
1981
Il sistema operativo MS-DOS. Tale sistema, realizzato dalla Microsoft e destinato a dominare nel suo settore, è utilizzato per la prima [...] del Humulin, la prima insulina umana prodotta con tecniche di ingegneria genetica.
1983
Il linguaggio C++. L'informatico danese Bjarne Stroustrup sviluppa il linguaggio di programmazione C++, un derivato del C basato sulla nozione di 'oggetto'. Nella ...
Leggi Tutto
informatico
informàtico agg. e s. m. [der. di informatica, per traduz. del fr. informatique come agg. e informaticien come sost.] (pl. m. -ci). – 1. agg. Relativo all’informatica: procedimenti, sistemi, mezzi i.; trattamento i. dei dati; documento...
programma
s. m. [dal lat. tardo programma -mătis, gr. πρόγραμμα -ματος, der. di προγράϕω, propr. «scrivere prima»] (pl. -i). – 1. Enunciazione particolareggiata, verbale o scritta, di ciò che si vuole fare, d’una linea di condotta da seguire,...