La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] ", 65, 1943, pp. 197-215.
Rabin, Scott 1959: Rabin, Michael O. - Scott, Dana, Finite automata and their decision problems, "IBM journal of research and development", 3, 1959, pp. 114-125 (rist. in: Sequential machines, edited by Elisabeth F. Moore ...
Leggi Tutto
Statistica e demografia
Antonio Golini
Alcuni addebiti sul piano storico sono stati mossi alla statistica e ai suoi orientamenti a cavallo dell’unificazione. Questi orientamenti ricalcavano la concezione [...] le macchine elettriche a schede perforate impiegate negli Stati Uniti e inventate da Herman Hollerith (uno dei padri dell’Ibm); si trattava in realtà di un tentativo disperato per trovare una soluzione che consentisse di ridurre i costi del ...
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 [...] of Oxford, per le scoperte sulla struttura chimica degli anticorpi.
1973
Nobel per la fisica
Leo Esaki, Giappone, IBM Thomas J. Watson Research Center, Yorktown Heights, NewYork, e Ivar Giaever, USA (Norvegia), General Electric Company, Schenectady ...
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 [...] KAM, dalle iniziali dei nomi dei matematici che l'hanno ideata.
Il linguaggio FORTRAN. Nasce in questo anno presso l'IBM, a opera di un gruppo di esperti di dispositivi elettronici guidati da John Backus, questo linguaggio simbolico per programmare i ...
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, [...] i metodi propri dell'analisi classica e della geometria differenziale.
Deep Blue batte Kasparov. Il computer Deep Blue della IBM gioca sei partite a scacchi contro il campione mondiale Garry Kasparov vincendone 2 e pareggiandone 3. Deep Blue utilizza ...
Leggi Tutto
ridenominare
v. tr. 1. Denominare nuovamente, in modo nuovo, o, viceversa, restaurare una denominazione precedente. 2. Nel linguaggio economico, trasformare in euro il valore di titoli, depositi bancari, capitali, prestiti, crediti e simili,...
trumpeggiare v. intr. (iron.) Prendere i modi, i toni e gli atteggiamenti del politico statunitense Donald J. Trump, farne propria l’ideologia. ♦ Ma ci sono anche agenzie federali e think-tank di primo piano a trumpeggiare sulle questioni climatiche....