(XIV, p. 132; App. III, i, p. 564; IV, i, p. 714; v. equazioni differenziali, App. V, ii, p. 131).
Il concetto generale di e. in matematica è trattato nella voce equazioni del vol. XIV dell'Enciclopedia [...] -1)-dimensionale in uno spazio a r dimensioni, in Annali di matematica pura e applicata, 1954, pp. 191-213.
E. De funzionale 'costo' della forma
risulti minimo. Il metodo della programmazione dinamica, introdotto da R. Bellman (1957), associa al ...
Leggi Tutto
Simulazione
Luigi Accardi
Mario Lucertini
Una delle maggiori innovazioni concettuali della scienza contemporanea, che coinvolge in ugual misura tutte le discipline scientifiche, è la transizione dalla [...] non si conosce la soluzione (o le soluzioni).
La matematica ha sviluppato due tipi di tecniche per affrontare questo problema la verifica di correttezza nella progettazione software, la programmazione di robot di lavorazione).
Nelle regate veliche e ...
Leggi Tutto
Modellistica matematica
Giorgio Israel
Mimmo Iannelli
Caratteristiche e origini
di Giorgio Israel
Un modello matematico è uno schema espresso in linguaggio matematico e volto a rappresentare un fenomeno [...] appartenenti a sfere rigorosamente separate: il biologo, lo psicologo, l'economista, il programmatore ecc. Inoltre, la modellizzazione matematica di processi siffatti non richiede un approccio meramente descrittivo, anzi talvolta deve esplicitamente ...
Leggi Tutto
Finito
Antonio Machì
(XV, p. 399)
Matematica del finito
Diversi filoni della ricerca matematica che mostrano particolare vitalità si possono ricondurre all'interesse per i problemi del finito. L'analisi [...] nel problema della classificazione. R.Brauer, in un intervento al Congresso internazionale dei matematici tenutosi ad Amsterdam nel 1954, presentò un nuovo programma di attacco al problema.
Da un punto di vista estremamente generale si tratta di ...
Leggi Tutto
Premessa. - Gli sviluppi dell'a. nel quindicennio 1960-75 sono stati assai notevoli, sia dal punto di vista quantitativo sia da quello qualitativo. Prima di esaminare alcuni progressi in direzioni particolari, [...] di equazioni algebriche, ecc. La programmazione lineare può essere considerata un ramo, c.).
c) Teoria algebrica degli automi. Si può dare una definizione formale (matematica) di un automa M. Esso è un sistema costituito da due insiemi A ...
Leggi Tutto
(v. equazioni, XIV, p. 132; App. III, I, p. 564; IV, I, p. 714)
Ogni anno migliaia di pubblicazioni compaiono nella letteratura scientifica e ci si dovrà quindi limitare a delineare alcune linee essenziali, [...] di una soluzione quasi-periodica è già abbastanza caotico, ma matematicamente il comportamento caotico è più complicato: se λ>λ3, dei costi che può avere forme diverse. La programmazione dinamica fornisce un metodo unificato per tutti questi tipi ...
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 [...] alle varietà sui campi finiti, analoghe all'ipotesi di Riemann (forse la congettura non risolta più famosa della matematica).
Il programma di Grothendieck aveva portato a grande sviluppo le ricerche di tipo astratto in a. commutativa, omologica e ...
Leggi Tutto
L'economia, come molte altre scienze, ha attraversato due tempi: nel primo si è limitata a uno studio prevalentemente qualitativo delle relazioni tra i fenomeni, nel secondo, iniziatosi di recente e con [...] x e y, è di ricercare quale eventuale trasformazione matematica T permette di passare dalle quantità caratterizzanti x a quelle e in politica economica, in particolare dei modelli di programmazione lineare in cui T è trasformazione lineare e l' ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1971-1980
1971-1980
1971
I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] nord-est di quella in cui si trova ancora Lander 1; il programma di osservazioni è simile a quello di Viking 1 e la trasmissione d'informazione sulla Terra e sugli uomini in simboli matematici e informatici. Si ritiene che tale messaggio possa essere ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] per la sua logica, che permette di dimostrare che un programma è corretto, nel senso che rispetta le relazioni tra . Il sovietico Yuri V. Matiyasevic, dell'Istituto di matematica Steklov dell'Università di Leningrado, dimostra che il X problema ...
Leggi Tutto
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,...
simbolico
simbòlico agg. [dal lat. tardo symbolĭcus, gr. συμβολικός, der. di σύμβολον «simbolo»] (pl. m. -ci). – 1. Che ha natura e valore di simbolo: numeri, segni s.; il linguaggio s. della matematica; un atto, un gesto s.; in partic., azioni...