Fondamenti della matematica e teoria algoritmica dell'informazione
Gregory J. Chaitin
Ciò che possiamo dimostrare intorno ai fondamenti della matematica usando i suoi stessi metodi costituisce la metamatematica, [...] diversa da quella scoperta da Gödel nel 1931.
Algoritmi e linguaggi di programmazione
Un algoritmo è una procedura 'meccanica' per calcolare qualcosa, in genere formulata in un qualunque linguaggio di programmazione. Un importante esempio è ...
Leggi Tutto
L'Ottocento: matematica. Teoria degli invarianti
Leo Corry
Teoria degli invarianti
L'algebra del XIX sec. ebbe uno sviluppo intenso che coprì numerosi domini. Nuove entità matematiche come gruppi, anelli [...] di generalizzare la teoria di Gauss delle forme quadratiche al caso cubico. Eisenstein aveva infatti formulato una procedura per associare a una classe di forme cubiche forme quadratiche corrispondenti, mostrando che proprietà invarianti di queste ...
Leggi Tutto
flusso
flusso [Lo stesso etimo di flussione] [MCF] (a) Scorrimento di un fluido, cioè sinon. di corrente (fluida, di cariche elettriche, ecc.), o di energia elettromagnetica (in partic. luminosa, radio, [...] e della loro concatenazione logico-temporale, impiegato per illustrare le fasi di un procedimento di lavorazione o di una procedura di elaborazione e le loro interconnessioni mediante linee di collegamento, simboli e frecce. ◆ [FML] Legge per il f ...
Leggi Tutto
Economia
Determinazione del valore di un bene ragguagliato in moneta.
La v. ambientale
La crescente esigenza di conseguire uno sviluppo sostenibile (➔ sostenibilità) implica il raggiungimento di adeguate [...] un quadro più realistico dell’impatto causato da progetti o da politiche. Nel primo caso, la v. può essere inserita in procedure quali l’analisi costi benefici (ACB) o all’interno della v. di impatto ambientale (➔). Essa diviene anche strumento per ...
Leggi Tutto
La scienza bizantina e latina: la nascita di una scienza europea. Astronomia, astrologia e geografia matematica
John D. North
Anne Tihon
Graziella Federici Vescovini
Uta Lindgren
Astronomia, astrologia [...] di Presburgo, fu incaricato di scegliere il momento più propizio dal punto di vista astrologico per fondare l'ateneo ‒ procedura allora molto comune. In Ungheria collaborò con l'astronomo di corte Martin Bylica e dedicò al re Mattia I Corvino ...
Leggi Tutto
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] . Costante in ogni caso rimane la distinzione tra il piano teorico – quello in cui si situano i linguaggi, le procedure e le teorie che vogliamo esaminare – e il piano metateorico in cui appunto avviene questa analisi. Quanto ai metodi impiegati ...
Leggi Tutto
(App. III, I, p. 506; IV, I, p. 620)
Sotto la pressione di problemi economici concreti, a livello nazionale e aziendale, l'utilizzazione sempre più ampia di tecniche quantitative elaborate e coerenti ha [...] variante, dei valori futuri di variabili rilevanti.
L'e. dispone ormai di una quantità considerevole di metodi e procedure di stima; tuttavia, malgrado le tecniche abbiano raggiunto un alto livello di qualità, beneficiando del rapido sviluppo della ...
Leggi Tutto
L'a. n. è una branca della matematica che si occupa di individuare, analizzare e implementare algoritmi per la risoluzione approssimata di problemi matematici in genere, che possono scaturire da pure speculazioni, [...] essere, è costretta ad operare solo con numeri la cui rappresentazione decimale è finita. Accade quindi che, durante la procedura di calcolo (per es. in una moltiplicazione), venga eseguito un arrotondamento del risultato. Questo errore, introdotto ...
Leggi Tutto
matematica
Walter Maraschini
Il regno dei numeri e delle figure, del calcolo e del ragionamento
La matematica è un sistema simbolico razionale e astratto che permette di orientarsi tra i problemi e [...] una scienza simbolica, con propri concetti, e ‘presta’ questi simboli e concetti ad altre discipline che ne fanno uso.
Oggetti e procedure
Quando si scrive un tema, un messaggio, una lettera, si distinguono facilmente i nomi dai verbi: i nomi, con i ...
Leggi Tutto
LAGRANGE, Giuseppe Luigi (Joseph Louis)
Luigi Pepe
Nacque a Torino il 25 genn. 1736 da Giuseppe Francesco Lodovico e Teresa Gros, primogenito di undici figli.
La famiglia era originaria della regione [...] pour déterminer les maxima et les minima des formules intégrales indéfinies (Oeuvres, I, pp. 335-362). La complicata procedura di Eulero per ricavare le condizioni differenziali, affinché una funzione realizzasse un minimo o un massimo, veniva ...
Leggi Tutto
procedura
s. f. [dal fr. procédure, der. di procéder «procedere»; nel sign. 3 è un calco dell’ingl. procedure]. – 1. a. non com. Modo di procedere, cioè di operare o di comportarsi in determinate circostanze o per ottenere un certo risultato...
procedurista
s. m. e f. [der. di procedura] (pl. m. -i). – 1. Giurista esperto nella procedura processuale. 2. non com. In informatica, chi è incaricato di gestire e di controllare il buon funzionamento dei programmi dopo la loro messa a punto...