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
Computer science
Scott Kirkpatrick
La computer science si colloca con caratteristiche peculiari tra le scienze cosiddette esatte e l’ingegneria, costituendo dal punto di vista accademico un settore [...] risparmio sul numero di moltiplicazioni grazie a una procedura ricorsiva di decomposizione nel prodotto fra matrici più piccole. la qualità totale del sistema, misurati da una data funzione costo. Quando non si ottengono più miglioramenti la ricerca ...
Leggi Tutto
La grande scienza. Computer science
Scott Kirkpatrick
Computer science
La computer science si colloca con caratteristiche peculiari tra le scienze cosiddette esatte e dell'ingegneria, costituendo dal [...] risparmio sul numero di moltiplicazioni grazie a una procedura ricorsiva di decomposizione nel prodotto fra matrici più piccole. la qualità totale del sistema, misurati da una data funzione costo. Quando non si ottengono più miglioramenti la ricerca ...
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
L'Eta dei Lumi: matematica. La teoria dei numeri
Günther Frei
La teoria dei numeri
La teoria dei numeri (o aritmetica) tratta delle proprietà dei numeri. Lungo tutta la sua storia, un tema dominante [...] successivamente da Hardy e Ramanujan (1918) per determinare un'espressione asintotica di s(m).
Servendosi della funzione inversa della S(x), Euler scoprì una relazione ricorsiva per s(m), che gli consentì di calcolare i valori s(m) in successione, a ...
Leggi Tutto
Computazionali, metodi
Alfio Quarteroni
I metodi computazionali permettono di risolvere con i computer, nell'ambito delle scienze applicate, problemi complessi formulabili tramite il linguaggio della [...] φk, k=0,1,…} di polinomi ortogonali in [a,b] rispetto alla funzione peso w(x)>0 è definita come segue:
se
Se a=−1 passo j-esimo). Posto allora ej=∣yj−uj∣, si ha la relazione ricorsiva ej〈hτ(h)+hLej−1 per ogni j, la quale consente di concludere ...
Leggi Tutto
Neocorteccia
Vernon B. Mountcastle
Nell'uomo, la neocorteccia è la sede delle funzioni cognitive superiori e la sua complessità anatomica rispecchia l'importanza del compito che essa svolge nell'adattamento [...] L'organizzazione colonnare permette una rappresentazione ricorsiva a intermittenza; in questo modo è e i dendriti delle cellule piramidali ma le conoscenze riguardanti la loro funzione sono scarse.
Tra tutti i sistemi corticali, i circuiti del I ...
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,...