Procedimento logico, mediante il quale si passa dalla considerazione di casi particolari a una conclusione universale.
Nel linguaggio scientifico, in genere, modificazione che determinate proprietà di [...] .
Il principio di i. fornisce la giustificazione anche per le cosiddette definizioni ricorsive di funzioni aritmetiche. In generale, esse stabiliscono il valore di una funzione per l’argomento zero (e per eventuali parametri); poi stabiliscono il ...
Leggi Tutto
STATISTICA
Pietro Muliere
Ester Capuzzo
(XXXII, p. 506; App. I, p. 1018; IV, III, p. 447)
''Statistica'' è un termine con un significato amplissimo sia per la varietà delle applicazioni sia per le [...] conveniente sintesi della distribuzione finale. La determinazione di questa sintesi può avvenire mediante il ricorso alla teoria delle decisioni. Se θ si distribuisce con funzione di ripartizione H(θ) e se x indica il vettore delle osservazioni (x1 ...
Leggi Tutto
I m. c. permettono di risolvere con calcolatori elettronici, all'interno delle scienze applicate, i problemi complessi che sono formulabili tramite il linguaggio della matematica. Tali problemi raramente [...] famiglia {φk,k=0,1,...} di polinomi ortogonali in [a,b] rispetto alla funzione peso w(x)>0 è definita come segue: φk∈Pk e ∫baφkφmw=δkm j-esimo). Posto allora ej=∣yj−uj∣, si ha la relazione ricorsiva ej〈hτ(h)+hLej₋₁ per ogni j, la quale consente di ...
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 [...] altri valori.I numeri R(p, q) soddisfano la relazione ricorsiva:
dimostrata da P. Erdâs e G. Szekeres nel 1935.Iterando il caso dei cinque colori.
Per il caso dei quattro colori questa tecnica funziona per le regioni con 2, 3 e 4 lati, ma per quelle ...
Leggi Tutto
Geometria
Ryoichi Kobayashi e Luigi Ambrosio
Giovanni Bellettini
(XVI, p. 623; App. III, i, p. 724; IV, ii, p. 39; V, ii, p. 391)
Numerose voci dell'Enciclopedia Italiana trattano i vari oggetti e [...] iniziale E sia un aperto con frontiera limitata; si sceglie una funzione uniformemente continua g in modo che ∙E={g=0} e E (1993), basato su una discretizzazione temporale, con soluzione ricorsiva di opportuni problemi di minimo. Il metodo è stato ...
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. [...] l'algebra delle variabili casuali potrebbe essere sviluppata in questo contesto rarefatto senza fare ricorso alla nozione di funzione misurabile, giustificando così l'intuizione dei probabilisti, secondo cui l'identificazione delle variabili casuali ...
Leggi Tutto
Intuizionismo
AArend Heyting
di Arend Heyting
Intuizionismo
sommario: 1. Concetti fondamentali. 2. Aritmetica elementare. 3. Il principio del terzo escluso. 4. I numeri reali. 5. Ineguaglianza e separazione [...] al metodo di costruzione di un numero naturale.
Una soluzione fu resa possibile dalla teoria delle funzioniricorsive. L'analisi ricorsiva è diventata un importante campo di ricerca, in cui sono stati ottenuti risultati molto fecondi dai matematici ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] 'insieme di tutti gli x∈ℕ per i quali valga P(x)). Dedekind applicò l'induzione per giustificare le definizioni ricorsive in ℕ, con le quali viene determinata una funzione F su ℕ fissando F(0) e dicendo come F(sc(x)) è definito in termini di F(x) per ...
Leggi Tutto
La grande scienza. Geometria numerativa e invarianti di Gromov-Witten
Enrico Arbarello
Geometria numerativa e invarianti di Gromov-Witten
Nel trattato Le coniche, Apollonio di Perge (262-180 a.C. circa) [...] d>1.
Tramite questa relazione, i numeri Nd si calcolano, ricorsivamente, a partire da N1=1 e si ottiene: N2=1, ik) è un multiindice, dxI=dxi1 ∧…∧dxik e le fI sono funzioni C∞ a valori complessi. L'operatore di differenziazione d è definito ...
Leggi Tutto
L'Eta dei Lumi: matematica. I metodi numerici
Peter Schreiber
I metodi numerici
Il XVII sec. è stato in generale un 'secolo geometrico'. A parte alcune considerazioni di carattere puramente numerico, [...] di addizione per gli integrali ellittici e della teoria delle funzioni ellittiche, studiata a fondo nel XIX secolo. Giovanni Fagnano trovò tra l'altro numerose formule integrali ricorsive utilizzando l'integrazione per parti, per esempio per le ...
Leggi Tutto
ricorsivo
agg. [der. di ricorrere]. – In matematica e in logica matematica, sinon. di ricorrente (nel sign. 3 c); in partic., nella teoria della ricorsività, funzioni r. primitive, quelle che si possono ottenere dalle funzioni iniziali mediante...
piazza
s. f. [lat. platĕa «via larga, piazza» (dal gr. πλατεῖα, propriam. femm. di πλατύς «largo»); cfr. platea, che risale a una variante lat. platēa con e lunga]. – 1. a. Area libera, più o meno spaziosa, di forma quadrata, rettangolare,...