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 [...] relativa a una opportuna topologia derivata dall'ordine, detta topologia di Scott). La costruzione di Scott è alla base della semantica denotazionale dei linguaggidiprogrammazione.
L'algoritmo di Risch. Robert H. Risch presenta un algoritmo per il ...
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 [...] , definite nel 1959, e riveste un'importanza fondamentale nella teoria della sintassi dei linguaggidiprogrammazione.
La scoperta della radiazione di sincrotrone della Nebulosa del Granchio. Misurando la polarizzazione della luce emessa da questa ...
Leggi Tutto
Undicesima lettera dell’alfabeto greco (maiuscolo Λ, minuscolo λ), corrispondente alla consonante latina l.
biologia Fago l. Batteriofago che ha come ospite il batterio Escherichia coli. Su di esso sono [...] e anzi può essere usato per dare una definizione di computabilità di una funzione. In questo senso il l. calcolo è un modello di computazione equivalente alla macchina di Turing. Molti linguaggidiprogrammazione funzionali, tra cui per es. il LISP ...
Leggi Tutto
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 [...] cioè basati su comandi, ed è invece un linguaggiodi tipo dichiarativo.
Il linguaggio C e il sistema UNIX. Due ingegneri americani, Dennis Ritchie e Ken Thompson, mettono a punto il linguaggiodiprogrammazione C e, in parallelo, il sistema operativo ...
Leggi Tutto
linguaggio
linguàggio s. m. [der. di lingua]. – 1. Nell’uso ant. o letter., e talora anche nell’uso com. odierno, lo stesso che lingua, come strumento di comunicazione usato dai membri di una stessa comunità: parlare con proprietà di l.; Questi...
programmazione
programmazióne s. f. [der. di programmare]. – 1. a. L’operazione, l’attività, il risultato del programmare: la p. dello studio, della ricerca (o di una ricerca), del lavoro, della produzione; la p. delle vacanze, del tempo libero;...