navigazione
navigazióne [Der. del lat. navigatio -onis, dal part. pass. navigatus di navigare, che è da navis "nave"] [LSF] Il procedere galleggiando sull'acqua del mare, di un lago, un fiume e simili [...] parallelamente a sé stesse in base alla stima del cammino fatto dal mobile tra un'osservazione e l'altra. Il calcolo degli anzidetti elementi per il tracciamento delle rette d'altezza (essenzialmente, l'angolo al polo ω) è attualmente reso molto ...
Leggi Tutto
processo
procèsso [Der. del lat processus -us "avanzamento, progresso", dal part. pass. di procedere (→ procedimento)] [LSF] (a) Ogni successione di fenomeni e di operazioni che presenti una certa unità, [...] che p. stocastico. ◆ [PRB] P. aleatorio ergodico e stazionario: v. segnali, analisi dei: V 130 d. ◆ [ELT] [INF] P. applicativo: v. calcolatori, sistemi di: I 399 b. ◆ [PRB] P. compensatore: v. processi di punto: IV 601 b. ◆ [PRB] P. di conteggio: v ...
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 [...] il codominio di f(x) e B il codominio di g(x), allora A è ricorsivo. Infatti per decidere se un numero n appartiene ad A dobbiamo soltanto calcolare uno per uno f(0), g(0), f(1), g(), f(2), ..., per trovare prima o poi n come valore di f(x) o di g(x ...
Leggi Tutto
MATEMATICA
Federico Enriques
Matematica, o matematiche (gr. τὰ μαϑηματικά da μάϑημα "insegnamento") significa originariamente "disciplina" o "scienza razionale". Questo significato conferirono alla [...] appunto i numeri più grandi. Ma qui non si tratta tanto d'invenzione teorica, bensì di mezzo pratico per eseguire i calcoli sui numeri scritti, anziché sulle immagini di essi (quali sono fornite dagli abaci). E ognuno comprende come l'adozione di un ...
Leggi Tutto
L'Ottocento: matematica. Metodi del calcolo numerico
Dominique Tournès
Metodi del calcolo numerico
Prima del 1870 l'analisi numerica non si era ancora sviluppata come disciplina autonoma; esisteva [...] : uno dei primi è quello di Lalanne, del 1846, per le equazioni di terzo grado. Più in generale si sviluppano tecniche di calcolo grafico per costruire per punti la curva di equazione P(x)=0 e leggere sul grafico i valori numerici delle radici. Nelle ...
Leggi Tutto
Computazionali, metodi
Alfio Quarteroni
I metodi computazionali permettono di risolvere con i computer, nell'ambito delle scienze applicate, problemi complessi formulabili tramite il linguaggio della [...] di ūn) al fine di garantire una riduzione dell'errore. Nel caso elementare di un sistema lineare, se x−indica una soluzione calcolata (con un qualunque algoritmo numerico) e r=b−Ax− è il residuo a essa associato, si può facilmente verificare che ∥x−x ...
Leggi Tutto
integrazione
integrazióne [Der. del lat. integratio -onis, dal part. pass. integratus di integrare (←), "atto ed effetto dell'integrare"] [ANM] (a) Per una funzione, l'operazione che porta a determinarne [...] ecc.: v. circuiti elettronici integrati: I 616 Tab. 2.1. ◆ [ANM] Regole d'i.: servono per permettere il calcolo degli integrali; eccone alcune: una costante motiplicativa nell'integrando può essere portata fuori del segno di integrale (regola della ...
Leggi Tutto
sostituzione
sostituzióne [Der. del lat. substitutio -onis "atto ed effetto del sostituire", dal part. pass. substitutus di substituere "sostituire", comp. di sub "sotto" e statuere "collocare"] [ALG] [...] ] Soluzione solida di s.: la lega di due metalli nella quale gli atomi del metallo soluto vanno a occupare posizioni atomiche del reticolo del metallo solvente. ◆ [INF] Tecnica della s. simbolica: v. calcolatore ottico: prospettive recenti: VI 616 c. ...
Leggi Tutto
CONTI, Carlo
Roberto Ferola
Nacque a Legnago (Verona) da Bartolorneo e Teresa Grotto nel 1802, il 9 febbraio secondo alcuni, ottobre secondo altri. Compiuti gli studi ginnasiali nella cittadina natale, [...] , in Memorie dell'I. R. Istituto veneto di scienze, lettere ed arti, II (1845), pp. 131-69; Intorno al calcolo dell'azione dinamica del vapore nella locomotiva, avuto riguardo alle circostanze della processione, ibid., IV (1852), pp. 133-200 (Postumo ...
Leggi Tutto
Sistemi dinamici
Franco Magri
Dmitrij Anosov
Il concetto di sistema è presente nel dibattito scientifico degli ultimi decenni nelle più diverse discipline: dall'idea di sistema fisico a quella di ecosistema, [...] delle fasi. Si dimostra che in tali coordinate l'integrazione delle equazioni differenziali del moto si riduce al calcolo di opportuni integrali abeliani sulla curva spettrale della matrice di Lax. La procedura indicata rappresenta una nuova tecnica ...
Leggi Tutto
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...