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 [...] periodiche di sistemi hamiltoniani.
Algoritmo efficiente per la programmazionelineare. L'ingegnere indiano Narendra Karmarkar scopre un algoritmo efficiente per la programmazionelineare. Un algoritmo polinomiale (il metodo degli ellissoidi) era ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] 'algoritmo del simplesso. George Dantzig propone quello che diventerà il più utile e diffuso strumento della programmazionelineare. L'algoritmo permette di risolvere efficientemente molti problemi di ottimizzazione che si presentano in modo naturale ...
Leggi Tutto
Fisica
BBruno Ferretti
di Bruno Ferretti
Fisica
sommario: 1. Introduzione. a) Obiettività secondo Poincaré. b) Storia naturale e fisica. c) Il metodo sperimentale e il metodo teorico. d) Storicità [...] la funzione d'onda, H è un operatore lineare hermitiano che, nella nuova meccanica quantica, rappresenta l Nel 1924 Bohr, Kramers e Slater asserirono, prima di tutto, che la programmazione delle onde di luce, da una parte, e il loro assorbimento e la ...
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 [...] Riesz-Thorin, degli anni Trenta, in cui si dimostra che un funzionale T lineare e continuo sia da Lp0 in Lq0 sia da Lp1 in Lq1, è anche est di quella in cui si trova ancora Lander 1; il programma di osservazioni è simile a quello di Viking 1 e la ...
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 [...] v)≥α∥v∥2 ‒ se K⊂V è convesso non vuoto, e v→(f,v) una forma lineare continua su V, allora esiste un unico u∈K tale che a(u,v−u)≥(f,u−v per la sua logica, che permette di dimostrare che un programma è corretto, nel senso che rispetta le relazioni tra ...
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 [...] di trietilalluminio. Il polimero è caratterizzato da una struttura più lineare, da una più alta densità e da una più object system (CLOS), una versione di Common lisp basata sulla programmazione a oggetti.
Soluzione del problema di Post. Nel 1944, ...
Leggi Tutto
lineare1
lineare1 agg. [dal lat. linearis]. – 1. Inerente a una linea (per lo più retta), che procede secondo una retta, o che si sviluppa prevalentemente nel senso della lunghezza: misure l., le misure di lunghezza (contrapp. alle misure...
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;...