Esercizio singolo o collettivo a cui si dedicano bambini o adulti, per passatempo, svago, ricreazione, o con lo scopo di sviluppare l’ingegno o le forze fisiche. Anche, pratica consistente in una competizione [...] il Massachusetts Institute of Technology, quando lo studente S. Russel scrisse il programma di un g. chiamato Spacewar su un computer della Digital Equipment; Space;war si diffuse rapidamente e passò da un college a un altro. Negli anni successivi un ...
Leggi Tutto
Geometria differenziale
Simon M. Salamon
SOMMARIO: 1. Introduzione: le origini. 2. Proprietà delle superfici. 3. Studio della curvatura gaussiana. 4. Dimensioni superiori. 5. Varietà e topologia. [...] con una circonferenza che rotola con velocità uniforme lungo una retta. La curva della fig. 1 è stata disegnata al computer usando il ‛comando'
che esprime le coordinate x e y in funzione del parametro t corrispondente al tempo, misurato in ...
Leggi Tutto
teoria dei grafi
Gilberto Bini
Lo studio delle proprietà combinatorie, topologiche, probabilistiche ecc. dei grafi, sviluppatosi come teoria matematica autonoma negli anni Trenta del Novecento a opera [...] e Wolfgang Haken mediante una dimostrazione che (pur notevolmente semplificata in seguito) richiede il ricorso a verifiche via computer. Fondamentali in un’altra direzione sono le ricerche iniziate da Paul Erdös sui grafi casuali (random graphs), che ...
Leggi Tutto
L'evoluzione temporale dei sistemi - in particolare di quelli deterministici, cioè tali che la conoscenza del sistema a un dato istante ne determina tutta l'evoluzione futura - è stata negli ultimi decenni [...] trasformazione, cioè continuando ad applicarla ai punti ottenuti successivamente. Iterare molto velocemente è precisamente quanto i computer sanno fare meglio: così anche i modelli continui vengono discretizzati nel processo di sviluppo di un codice ...
Leggi Tutto
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] ); J.R. Hindley, J.P. Seldin, Introduction to combinators and λ-calculus Cambridge 1986; J.H. Gallier, Logic for computer science, New York 1986; I. Bratko, PROLOG: programming for artificial intelligence, Reading (Mass.) 1986 (trad. it., Milano 1988 ...
Leggi Tutto
Numeri, calcoli, misure
Anna Parisi
L'invenzione dei numeri
Fin da tempi antichissimi gli esseri umani sapevano contare. L'uso dei numeri rendeva possibile la risoluzione di molti problemi legati alla [...] 10 è il numero 12.
Un sistema molto usato è quello esadecimale, cioè a base sedici, impiegato per esempio nella grafica al computer: in questo caso i numeri che conosciamo (da 0 a 9) non bastano per rappresentare tutti i valori del sistema ed è ...
Leggi Tutto
frattali
Roberto Levi
La matematica fra natura e arte
«Perché la geometria viene spesso definita fredda e arida? Uno dei motivi è la sua incapacità di descrivere la forma di una nuvola, di una montagna, [...] oggi interessano i più diversi campi di ricerca e persino l’arte figurativa e la musica: grazie all’uso dei computer, le formule matematiche che definiscono i frattali possono essere trasformate in immagini e in suoni. Negli anni Ottanta si è ...
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 [...] V. Atanasov e Clifford Berry realizzano il primo elaboratore elettronico con tubi termoelettronici, poi noto come Atanasov Berry computer e indicato con la sigla ABC.
Il primo reattore nucleare a fissione. Viene realizzato da Enrico Fermi, premio ...
Leggi Tutto
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] che □aA viene letto 'A vale dopo ogni esecuzione di a'. I mondi sono in questo caso stati di un computer e le relazioni indicizzate da programmi descrivono possibili transizioni di stato.
Si noti che l'indicizzazione degli operatori modali si può ...
Leggi Tutto
Reticoli, analisi dei
Antonio M. Chiesi
Definizione
L'analisi dei reticoli, o network analysis, consiste in un insieme di metodi e tecniche di analisi strutturale che si basano sui seguenti postulati [...] (sottoprogrammi informatici) statistici. Negli anni ottanta, con lo sviluppo delle capacità di calcolo dei personal computer, le precedenti limitazioni di estensione dei reticoli analizzabili sono state ampiamente superate, contribuendo anche per ...
Leggi Tutto
computer
‹këmpi̯ùtë› s. ingl. [der. di (to) compute «calcolare»] (pl. computers ‹këmpi̯ùtë∫›), usato in ital. al masch. (e pronunciato comunem. ‹kompi̯ùter›). – Denominazione inglese, largamente nota nell’uso internazionale, del calcolatore...
computer indossabile
loc. s.le m. Personal computer di dimensioni molto ridotte, tascabile, indossabile. ◆ Vestirsi di tecnologia o di bellezza? Un convegno sul tema del corpo. Due giorni di convegno, alla Triennale, analizzano il tema del...