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 [...] limitandosi alle sole funzioni di una variabile.
Queste nozioni informali sulla λ−notazione possono essere formulate sistematicamente sotto forma di un sistema formale, il λ−calcolo. Per costruirlo supponiamo data una successione infinita di simboli ...
Leggi Tutto
OPERATORI
Fernando BERTOLINI
. 1. Generalità. - Il termine o. indica d'ordinario il simbolo d'una operazione, o più in generale d'una applicazione univoca (v. applicazione, in questa App.); per una [...]
per dire che: I) all'esterno d'un opportuno intervallo limitato, tutte le funzioni a, an sono identcamente nulle; II) nell'intervallo detto, ciascuna delle successioni
converge uniformemente a zero (k = 0, 1, 2,...). Ciò premesso, una distribuzione ...
Leggi Tutto
NUMERICI CALCOLI (XXV, p. 29)
Enzo APARO
Generalità. - Il concetto di calcolo numerico si può introdurre da un punto di vista generale, come segue. Un insieme finito di oggetti, un insieme finito di [...] → O per i → + ∞.
Metodo di Seidel. - Usando i simboli del metodo precedente, la successione x(i) (i = o, 1, ...) è definita da: (L + D)x(i hϕ(xn, yn, h), con ϕ(x, y, h) opportuna funzione vettoriale verificante la condizione
in A × B. Si dirà che il ...
Leggi Tutto
TOPOLOGIA ASTRATTA
S. Fac.
. La topologia (meno modernamente chiamata analysis situs; v. III, p. 87) si occupa delle proprietà invarianti degli insiemi di punti nelle trasformazioni bicontinue (omeomorfismi), [...] v. spazî astratti, in questa Appendice), cioè dalla totalità delle successioni x = {xn} di numeri reali, la distanza fra di Laplace.
La L [α(t)] viceversa individua la propria funzione generatrice α (t).
La L [α(t)] è una trasformazione ...
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 [...] intervallo 0 ≤ x ≤ 1. Se f(x) e g (x) sono due di tali funzioni, si può definire la distanza:
c) Spazio delle successioni di numeri reali. - L'insieme I è dato dalle successioni di numeri reali {xn} = x (n = 1, 2, ...). Si può definire la distanza:
d ...
Leggi Tutto
LÉRAY, Jean
Matematico francese, nato a Nantes il 7 novembre 1906. Professore all'università di Nancy dal 1936 al 1941 e in quella di Parigi fino al 1947. Dal 1947 è al Collège de France come professore [...] fibrati ha condotto L. a ideare la tecnica delle successioni spettrali e le nozioni di ricoprimento finito, di fascio, utilizzate in vari rami della matematica, come la teoria delle funzioni analitiche di più variabili, la geometria algebrica e il ...
Leggi Tutto
SEVERINI, Carlo
Matematico, nato ad Arcevia (Ancona) il 10 aprile 1872, morto a Pesaro l'11 maggio 1951. Fu professore di analisi infinitesimale all'università di Catania (dal 1906) e di Genova (1916-1942).
Con [...] di variabile reale, delle equazioni differenziali e integrali, delle funzioni analitiche, dei gruppi continui finiti. Il suo nome è in particolare legato ad un celebre teorema sulle successioni di funzioni quasi continue (teorema di Severini-Egorov). ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] , afferma che il numero dei primi p≤x è asintotico alla funzione x/log x. Il norvegese Atle Selberg e l'ungherese Pál possibilità di costruire uno spazio probabilizzato e, su di esso, una successione (Xn)n≥0 di variabili aleatorie, in modo tale che X0 ...
Leggi Tutto
DELL'AGNOLA, Carlo Alberto
Francesco Saverio Rossi
Nacque a Taibon Agordino (Belluno) il 23 giugno 1871 da Giovanni Battista e da Maria Soccol.
Compiuti gli studi medi a Belluno, si trasferì all'università [...] Particolarmente interessanti risultano le piccole memorie dovute al D. sulle funzioni continue e discontinue: Le successioni di funzioni continue e il teorema di Arzebi, Milano 1908; Le funzioni discontinue e il teorema di Baire, Venezia 1909 e Sulla ...
Leggi Tutto
successione
successióne s. f. [dal lat. successio -onis, der. di succedĕre «succedere»]. – 1. Il succedere ad altri, cioè il subentrare, il prendere il posto di un altro in una carica, in un ufficio, in un titolo, nella proprietà di un bene,...
registro
s. m. [lat. tardo regesta -orum, neutro pl.; v. regesto]. – 1. Libro, quaderno, fascicolo o volume formato da un certo numero di fogli (per lo più numerati progressivamente, contrassegnati e forniti di suddivisioni e indicazioni varie),...