La seconda rivoluzione scientifica: matematica e logica. Calcolo delle variazioni
Craig Fraser
Mario Miranda
Calcolo delle variazioni
Tra il 1870 e il 1920 si assiste al consolidamento degli argomenti [...] variazioni in grande e la teoria di Morse e, negli anni Cinquanta, la teoria del controllo ottimo e della programmazione dinamica.
Il problema della condizione sufficiente
di Craig Fraser
La variazione seconda da Legendre a Mayer
Prima degli studi ...
Leggi Tutto
Previsioni economiche
Giovanni De Cindio
di Giovanni De Cindio
Previsioni economiche
Presupposti storici
La pratica sistematica delle previsioni economiche, cioè dell'attività di previsione avente [...] nazionale per lo Studio della Congiuntura) per le previsioni congiunturali e l'ISPE (Istituto di Studi per la Programmazione Economica) per le previsioni a più lungo termine. Previsioni economiche sono elaborate anche da istituti privati, come il ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria dei sistemi e controllo
Mark Aizerman
Teoria dei sistemi e controllo
La teoria del controllo si è formata, come campo di ricerca indipendente, [...] a elaborare un suo metodo per la soluzione di problemi impostati in questo modo, metodo che fu poi chiamato 'di programmazione dinamica'. Il lavoro di Bellmann stimolò la pubblicazione di un gran numero di articoli da parte di molti autori di diversi ...
Leggi Tutto
ottimizzazione non smooth
Angelo Guerraggio
Teoria e metodi dell’ottimizzazione che utilizzano ipotesi più deboli di quella classica di differenziabilità (secondo Fréchet). La ricerca di una definizione [...] (x,d)≥y∙d per ogni direzione d. La derivata f0 (che in questa definizione sostituisce f′(x,d)) è chiamata derivata di Clarke ed è definita come il limite superiore di [f(z+td)−f(z)]/t per z tendente a x e t tendente a 0+.
→ Programmazione matematica ...
Leggi Tutto
aritmetica di Presburger
Luca Tomassini
Versione semplificata dell’aritmetica di Peano, ottenuta da quest’ultima eliminando l’operazione di moltiplicazione. Più precisamente, l’aritmetica di Presburger [...] , in quella di Presburger ogni proposizione vera (ossia che non ammette controesempi) è anche dimostrabile (in un numero finito di passi). In altri termini, nell’aritmetica di Presburger ogni proposizione è decidibile.
→ Programmazione, algoritmi di ...
Leggi Tutto
Nel linguaggio scientifico, struttura relazionale formata da un insieme finito di oggetti detti nodi o vertici, e da un insieme di relazioni tra coppie di oggetti dette archi o spigoli. Per indicare un [...] dati in cui i nodi rappresentano i dati e gli archi i legami tra i dati realizzati tramite puntatori. Nel caso di un programma di calcolo o di una rete stradale, in cui tutte le strade sono a senso unico, gli archi del g. potranno essere percorsi ...
Leggi Tutto
In senso lato, lo studio dei problemi economici con il ricorso allo strumento matematico; in senso stretto, l’indirizzo di pensiero economico (scuola matematica) che configura i sistemi economici come [...] analisi economica, statistica e matematica e ha consentito l’analisi delle interdipendenze settoriali, gli studi sulla programmazione lineare e una più rigorosa impostazione dei problemi relativi alla pianificazione. Tra i contributi più recenti all ...
Leggi Tutto
(II, p. 421; App. II, I, p. 125; III, I, p. 61; IV, I, p. 83)
Negli ultimi dieci anni lo sviluppo dell'a. è stato molto vivace. Ai temi di ricerca già consolidati se ne sono aggiunti nuovi e ne sono stati [...] questi sistemi (che sono spesso dei veri e propri sistemi esperti), vi è una continua produzione di sistemi e programmi, basati su linguaggi e sistemi operativi diversi, così che è difficile seguire lo sviluppo di tutto quello che viene attualmente ...
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 [...] standardizzata di Lisp implementata su molti calcolatori; Common lisp object system (CLOS), una versione di Common lisp basata sulla programmazione a oggetti.
Soluzione del problema di Post. Nel 1944, il logico americano Emil Post pose il problema di ...
Leggi Tutto
convessità generalizzata
Angelo Guerraggio
Termine che designa gli studi tesi a estendere le proprietà delle funzioni convesse (o concave) – almeno quelle ritenute essenziali in un determinato contesto [...] y) dove a è una funzione positiva. Le funzioni pseudo-convesse sono tali che, in un problema di ottimizzazione libera, ogni punto stazionario è punto di minimo e ogni punto di minimo locale è anche punto di minimo globale.
→ Programmazione matematica ...
Leggi Tutto
programmazione
programmazióne s. f. [der. di programmare]. – 1. a. L’operazione, l’attività, il risultato del programmare: la p. dello studio, della ricerca (o di una ricerca), del lavoro, della produzione; la p. delle vacanze, del tempo libero;...
programma
s. m. [dal lat. tardo programma -mătis, gr. πρόγραμμα -ματος, der. di προγράϕω, propr. «scrivere prima»] (pl. -i). – 1. Enunciazione particolareggiata, verbale o scritta, di ciò che si vuole fare, d’una linea di condotta da seguire,...