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 [...] se entrambi i componenti α1 e α2 sono veri: c) una β−formula è vera se e solo se almeno uno dei componenti β1 e β2 è vero; d) una Γ−formula è vera se e solo se ogni esempio Γ(t) è vero; e) una δ−formula è vera se e solo se qualche esempio δ(t) è vero ...
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 [...] numerico, indicando, per ciascuno di essi, uno o più metodi di risoluzione.
Principali Partendo da x(0), vettore arbitrario, si calcolano in successione i vettori x(i) (in base alla formula: Dx(i+I) = b − (L + U)x(i). Risulta
soluzione di Ax = b, ...
Leggi Tutto
OPERATORI; OPERAZIONALE, CALCOLO (od operatorio, calcolo)
Tullio Viola
Riteniamo opportuno aggiungere alle considerazioni svolte nelle voci: operatori (App. III, 11, p. 317) e simbolico, calcolo (App. [...] che può leggersi: l'applicazione successiva dei due operatori d, ∉, nell'uno o nell'altro ordine possibile, ha per risultato l'identità).
In J. E. I. Fredholm) per approssimazioni successive, mediante la formula ricorrente:
con n = 1, 2, 3, ... ...
Leggi Tutto
SPERANZA DI VITA
Carla Bielli
Con l'espressione s. di v. (equivalente al concetto di vita media, o numero ulteriore di anni di vita dopo l'età x) viene designato un indicatore della durata media della [...] l'ammontare totale della popolazione è uguale a uno stesso numero, definito come il numero complessivo x = 2 è:
e così via. L'area totale tra x e ω è pertanto espressa dalla formula
dove Σ rappresenta la somma degli l da x in poi. La s. di v. all'età ...
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 = F (u) ancora di C. Considerata la C come uno spazio topologico (definendone opportunamente i concetti di chiusura o di intorno), la numerose formule di inversione che (almeno teoricamente) risolvono tale problema. Fra esse è classica la formula ...
Leggi Tutto
ZEUTHEN, Hieronymus Georg
Alessandro Terracini
Matematico, nato a Grimstrup presso Varde (Jütland) il 15 febbraio 1839, morto a Copenaghen il 5 gennaio 1920. Studiò all'università di Copenaghen; nel [...] nome dello Z. resta legato fra l'altro alla celebre formula che lega i generi di due curve, fra le quali intercede gli scritti storici minori è da ricordare il commento (1906) a uno scritto di Archimede ritrovato da I. L. Heiberg.
Opere principali: ...
Leggi Tutto
TEDONE, Orazio
Matematico, nato a Ruvo di Puglia il 10 maggio 1870. Iniziati gli studî universitarî a Napoli, si laureò poi (1892) a Pisa, dove fu alunno di quella Scuola normale superiore e seguì i [...] sue ricerche il risultato saliente è costituito da un gruppo di formule fondamentali - da lui, in un secondo tempo, riottenute con i suoi due articoli sulla teoria dell'elasticità (di cui uno in collaborazione con Timpe) per la Encyklopedie der math. ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Kalam e filosofia naturale
Marwan Rashed
Kalām e filosofia naturale
Il rapporto tra Kalām e filosofia naturale è assai complesso e articolato; [...] qisṭun min al-misāḥati di al-Nīsābūrī (Masā᾽il [Questioni]); la formula si ritrova fino a Faḫr al-Dīn al-Rāzī che si chiede se corpi non si muovono in un mezzo [lā fī makān], pur essendo uno dei due pesante e l'altro leggero, essi si muovono in modo ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Filosofia della matematica
Roshdi Rashed
Filosofia della matematica
Gli storici della filosofia islamica dimostrano un interesse molto [...] prima è l'induzione, perché se si seguono i numeri uno a uno e se li si distingue, distinguendoli e considerando tutte le gli altri. E la risposta di al-Ṭūsī è generale: la formula [3] fornisce una regola che permette di conoscere la molteplicità in ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1981-1990
1981-1990
1981
Il sistema operativo MS-DOS. Tale sistema, realizzato dalla Microsoft e destinato a dominare nel suo settore, è utilizzato per la prima [...] tra 50.000 e 67.000 km e con diametro tra 50 e 80 km e uno, Puck, a 86.000 km dal pianeta e con diametro di 170 km) e Jeff Xia risolve in senso positivo la seguente congettura, formulata da Paul Painlevé in una serie di lezioni sulle equazioni ...
Leggi Tutto
pace s. f. [lat. pax pacis, dalla stessa radice *pak-, *pag- che si ritrova in pangere «fissare, pattuire» e pactum «patto»]. – 1. a. Condizione di normalità di rapporti, di assenza di guerre e conflitti, sia all’interno di un popolo, di uno...
nome
nóme s. m. [lat. nōmen, da una radice comune a molte altre lingue indoeuropee (sanscr. nā̆ma, armeno anum, ittita lāman, gr. ὄνομα, got. namo, paleoslavo imę, albanese emër, ecc., forme certamente affini ma il cui rapporto non è sempre...