LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] la complessità dei programmi di un calcolatore è limitata dal tempo di esecuzione, mentre una macchina può essere intesa come definente una funzionef di x, cioè f:x→x-y, oppure una funzione g di y, cioè g:y→x-y, oppure una funzione h di x e y, cioè ...
Leggi Tutto
INTEGRAZIONE E MISURA
Giorgio Letta
. La moderna teoria dell'i. si occupa del concetto generale di "misura" e del concetto di "integrale" relativo a un'arbitraria misura. Essa costituisce una notevole [...] ad A").
5. Relazioni con gli integrali di Stieltjes, Lebesgue, Mengoli-Cauchy. - Sia f una funzione reale, definita in un intervallo chiuso e limitato [a, b] della retta reale.
a) Se f è continua, il suo integrale su [a, b] rispetto alla m. generata ...
Leggi Tutto
SPAZI ASTRATTI
Sandro FAEDO
. L'analisi matematica classica studia le proprietà delle funzioni di una o più variabili numeriche. Tali funzioni sono determinate dai valori assunti dalla variabile x in [...] un punto variabile in un certo volume dello spazio ordinario). Cioè una funzionef (P) è un numero che dipende dalla posizione del punto P insieme di infiniti punti contenuti in una regione limitata di uno spazio euclideo ha la proprietà che ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] per ogni dato di dimensione n, l'algoritmo esegue un numero di passi limitato da cf(n) e che i logaritmi utilizzati in questo ambito sono funzionef(x1,…,xn). Nelle versioni più elementari la funzionef è, per esempio, una funzione binaria (funzione ...
Leggi Tutto
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, [...] (A BC (123 DD)). Per esempio, (f x y) esprime f(x, y), cioè l'applicare la funzionef agli argomenti x e y; (if x y differenza tra il membro sinistro e quello destro dell'uguaglianza è limitata, cioè è al più un numero fisso di bit. Quindi ...
Leggi Tutto
ASCOLI, Guido
Nicola Virgopia
Nato a Livorno il 12 dic. 1887, studiò a Pisa e ivi si laureò a soli 20 anni (1907) svolgendo con L. Bianchi una tesi di laurea sulle singolarità delle funzioni analitiche. [...] si sa sul comportamento delle funzioni armoniche che si considerano tranne che sono limitate in un insieme di punti -625: in tale scritto si trova un elenco delle opere dell'A.; F. G. Tricomi, Cenni commemorativi del socio nazionale G. Ascoli, in Atti ...
Leggi Tutto
massimo
màssimo [agg. e s.m. Der. del lat. maximus, superlativo di magnus "grande" e quindi "il più grande" e, sostantivato, "cosa la più grande possibile"] [ALG] M. comune divisore di ideali di un anello: [...] . oltre). ◆ [PRB] Principio del m. debole: v. diffusione, teoria della: II 168 f. ◆ [PRB] Principio del m. forte: data una funzionef(x) armonica su un insieme compatto G⊂Rn, n≥3 e ivi limitata dall'alto, si ha che se per ogni punto y della frontiera ...
Leggi Tutto
modulo
mòdulo [Der. del lat. modulus, dim. di modus "misura"] [LSF] Termine, accompagnato da opportune qualificazioni, per indicare grandezze caratteristiche di certi fenomeni o di certi congegni: m. [...] estesa a un omomorfismo di F su A. ◆ [ALG] Principio del m. massimo: detto anche teorema di Cauchy-Liouville, afferma che se una funzionef(z) analitica per ogni z è limitata, allora è necessariamente costante: v. funzioni di variabile complessa: II ...
Leggi Tutto
metodo di concentrazione-compattezza
Daniele Cassani
La soluzione di un problema variazionale è legata alla possibilità di trovare punti critici di un dato funzionale. Consideriamo il caso elementare [...] di una funzionef:(a,b)→ℝ derivabile con continuità e sia xν∈[a′,b′]⊂(a,b) tale che f(xν)→l e f′(xν)→0 per n→∞; l∈ℝ è detto livello critico. Essendo l’intervallo [a′,b′] chiuso e limitato, esiste x0∈[a′,b′] tale che xμ→x0, prendendo un’opportuna ‘ ...
Leggi Tutto
complessità Caratteristica di un sistema (perciò detto complesso), concepito come un aggregato organico e strutturato di parti tra loro interagenti, in base alla quale il comportamento globale del sistema [...] che τ(L) sia una funzione polinomiale di L o sia limitata superiormente da una funzione polinomiale in L. Una seconda (con u(t)=0) viene sostituita con un’equazione del tipo dx/dt=f[x(t)] si ha che, a differenza del caso lineare in cui si aveva ...
Leggi Tutto
limitatore
limitatóre s. m. [der. di limitare2; cfr. lat. tardo limitator -oris «chi delimita i confini (di un terreno)»]. – 1. (f. -trice) non com. Chi limita: di costei è limitatore colui che da nulla è limitato (Dante). Più frequente con...
lìmite s. m. [dal lat. limes -mĭtis]. – 1. a. Confine, linea terminale o divisoria: il l. fra due stati, fra due territorî; i l. d’un terreno, d’un podere; sino al l. del campo; oltre il l. del bosco. In questo sign., la parola è oggi poco com....