(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, [...] allora uno spazio di dimensione infinita) e più in generale equazioni funzionali.
Si consideri il problema
dove la soluzione u(t) appartiene a costi che può avere forme diverse. La programmazione dinamica fornisce un metodo unificato per tutti questi ...
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 [...] di Riesz-Thorin, degli anni Trenta, in cui si dimostra che un funzionale T lineare e continuo sia da Lp0 in Lq0 sia da Lp1 in est di quella in cui si trova ancora Lander 1; il programma di osservazioni è simile a quello di Viking 1 e la trasmissione ...
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 [...] . Lo statunitense James Serrin determina alcune condizioni sufficienti affinché il funzionale F(u)=∫ωf(x,u(x), Du(x)) ‒ dove per la sua logica, che permette di dimostrare che un programma è corretto, nel senso che rispetta le relazioni tra input ...
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 [...] 'articolo Quasiconvexity and the semicontinuity of multiple integrals, in cui tratta di funzionali del tipo I(u)=∫ωf(x,u(x),∇u(x))dx dove u (CLOS), una versione di Common lisp basata sulla programmazione a oggetti.
Soluzione del problema di Post. Nel ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1991-2000
1991-2000
1991
Il sistema operativo Linux. Uno studente finlandese, Linus Torvalds, sviluppa il sistema operativo Linux. Il sistema può essere distribuito, [...] anche la strada alla soluzione di uno dei problemi più famosi dell'analisi funzionale: il problema dello spazio omogeneo.
La sonda spaziale statunitense Deep Space 1. Si tratta del primo programma spaziale della NASA per il XXI sec. e ha lo scopo di ...
Leggi Tutto
Probabilità
Gian-Carlo Rota e Joseph P.S. Kung
*La voce enciclopedica Probabilità è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un contributo di Marco Li Calzi.
sommario: 1. Introduzione. [...] distribuzione ‛senza memoria' sulla retta, l'unica distribuzione, cioè, che soddisfa all'equazione funzionale
P(W1 > t + s ∣ W1 > s) = P(W1 i precedenti, o come la lunghezza della ‛programmazione' ricorsiva più piccola dell'n-esimo termine ...
Leggi Tutto
Giochi, teoria dei
Roberto Lucchetti
Ogni essere vivente, quando deve prendere delle decisioni, lo fa sempre in modo interattivo: il risultato delle sue scelte, e quindi la sua soddisfazione, dipendono [...] di definire come possibile per un giocatore solo una strategia programmabile da un automa di grandezza prefissata in maniera esogena. E per esperimenti condotti con la risonanza magnetica nucleare funzionale, per osservare le reazioni di parti del ...
Leggi Tutto
La grande scienza. Combinatoria
Peter J. Cameron
Combinatoria
Secondo alcuni la combinatoria costituisce soltanto una parte della matematica, secondo altri essa non rappresenta una branca separata, [...] Matematici nel 1998. Lavora in combinatoria pura e in analisi funzionale, e ha la capacità di unire le due aree la non esistenza di un piano proiettivo di ordine 10 con un programma che ha girato per molti anni (suddiviso in vari casi: per ...
Leggi Tutto
Equazioni funzionali
JJacques Louis Lions
di Jacques Louis Lions
Equazioni funzionali
sommario: 1. Motivazione ed esempi. 2. Definizione delle soluzioni. 3. Il metodo della trasformazione di Fourier; [...] 1, u ≠ v,
allora, evidentemente, u, soluzione della (22), è unica.
Se, poi, il funzionale J è differenziabile, l'elemento u soluzione della (22) è caratterizzato da
u ∈ K, (J′(u), porta alla teoria della programmazione matematica (lineare, quadratica ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] sistematico del collegamento tra derivazioni naturali e funzionali (il cosiddetto isomorfismo di Curry-Howard) taglio alle formule atomiche.
Il teorema precedente è alla base della programmazione logica e il problema che si pone è trovare tutte le ...
Leggi Tutto
unita
unità s. f. [dal lat. unĭtas -atis, der. di unus «uno»; in alcuni dei sign. concreti, ha risentito l’influenza dell’ingl. unit (che in inglese è distinto da unity)]. – 1. a. Il fatto, la condizione e la caratteristica di essere uno,...
segmento
segménto s. m. [dal lat. segmentum «taglio, striscia», der. di secare «tagliare»]. – 1. In geometria, parte di retta compresa fra due punti, detti estremi del s.; lunghezza di un s., la distanza fra i due estremi; s. consecutivi,...