In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] sec. la modellistica matematica si è sviluppata a ritmi via via crescenti, anche grazie alla realizzazione di calcolatorielettronici sempre più potenti. Un m. matematico può essere costruito mediante concetti, teorie o strumenti della matematica (o ...
Leggi Tutto
Astronomia
C. celesti Coppia di parametri (precisamente, coppia di angoli) atti a individuare la posizione di un astro sulla sfera celeste o, se si vuole, atti a individuare un punto della sfera stessa. [...] c. si esegue manualmente o automaticamente nei modelli di precisione. Un coordinatografo automatico connesso con un calcolatoreelettronico consente di tracciare disegni, mappe o figure, anche di notevole complessità, con grande precisione in modo ...
Leggi Tutto
Il concetto di calcolo costituisce uno dei più importanti fondamenti teorici delle discipline informatiche. Così come nelle discipline meccaniche non si possono comprendere le caratteristiche dei motori [...] perfettamente nella tradizione storica dei modelli di calcolo.
Il calcolo quantistico
L'estrema miniaturizzazione ottenibile con le moderne tecnologie è in grado di produrre componenti elettronici estremamente piccoli, dell'ordine di qualche frazione ...
Leggi Tutto
Algebra
Irving Kaplansky
sommario: 1. Introduzione. 2. Gruppi in generale. 3. Gruppi semplici finiti. 4. Gruppi infiniti. 5. Gruppi liberi. 6. Gruppi abeliani infiniti. 7. Anelli in generale. 8. Corpi. [...] una disciplina autonoma.
Tuttavia i semigruppi sono molto più numerosi dei gruppi. Nel 1955, con l'aiuto di un calcolatoreelettronico, Forsythe trovò che vi sono 126 semigruppi di ordine 4 e tale risultato fu confermato da Tamura, senza l'impiego ...
Leggi Tutto
Logica matematica
Abraham Robinson
*La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] , in generale, tra una situazione in cui siamo chiamati a decidere effettivamente (ad esempio mediante un programma di un calcolatoreelettronico) se un dato teorema è deducibile da un insieme di assiomi specificato e il caso in cui ci si chieda ...
Leggi Tutto
Matematica: problemi aperti
Claudio Procesi
Prima di parlare dei problemi aperti nella matematica è bene riflettere su quelli che ne hanno segnato la storia passata. Sono infatti proprio questi che [...] decifrò il codice tedesco ENIGMA durante la Seconda guerra mondiale). Nel 1936, egli formulò una nozione teorica di calcolatoreelettronico (il cui primo esemplare sarebbe stato costruito solo alcuni anni dopo) oggi indicata con il nome di macchina ...
Leggi Tutto
Computazione, teoria della
Fabrizio Luccio
La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] ingresso, l'insieme di tutti i dati possibili è Σ* così che A calcola una funzione f da Σ* su {0,1}. Fissata un'arbitraria numerazione accetta L.
Teorema 9. Sia X un qualsiasi calcolatoreelettronico esistente, corredato di memoria illimitata e di un ...
Leggi Tutto
Simulazioni numeriche
Alfio Quarteroni
La modellistica matematica mira a descrivere in termini matematici i molteplici aspetti del mondo reale e la loro dinamica evolutiva. Essa costituisce la terza [...] Normandia.
I modelli matematici semplificati introdotti da Rossby resero possibile la prima previsione meteorologica con un calcolatoreelettronico, risultato della collaborazione avviata a Princeton da John von Neumann e da Jules Charney alla fine ...
Leggi Tutto
DE FINETTI, Bruno
Giorgio Israel
Nacque a Innsbruck (Austria) il 13 giugno 1906 da Gualtiero e da Elvira Menestrina. italiani di cittadinanza austriaca. Si iscrisse nel 1923 al Politecnico di Milano, [...] della fondazione della Association for Coniputing Machinery di Washington, che gli permise di studiare i primi grandi calcolatorielettronici statunitensi.
La produzione scientifica del D. è, come si è detto, molto vasta ed eclettica ed include ...
Leggi Tutto
velocita
velocità [Der. del lat. velocitas -atis, da velox -ocis "veloce"] [LSF] Nell'accezione più generale, con rifer. a una grandezza variabile o a un fenomeno, il termine indica un elemento atto [...] corrente fluida stazionaria, v. aerodinamica subsonica: I 67 e. ◆ [ELT] [INF] V. computazionale: il numero di operazioni che un calcolatoreelettronico è in grado di effettuare nell'unità di tempo; si misura in FLOPS e suoi multipli. ◆ V. critica: (a ...
Leggi Tutto
elettronico
elettrònico agg. [der. di elettrone] (pl. m. -ci). – 1. Relativo all’elettrone, agli elettroni o all’elettronica: carica e.; dispositivo, congegno, circuito e.; apparecchio e., sistema e., quelli in cui si fa uso di tubi elettronici...
calcolatore
calcolatóre s. m. e agg. (f. -trice) [dal lat. calculator -oris «computista, maestro di calcolo»; nel sign. 3, è un calco dell’ingl. computer (v.)]. – 1. a. In senso generico, chi, o che, fa i calcoli: di un c., che sopra qualunque...