validita
validità [Der. di valido] [ALG] [FAF] Teorema di v., o di correttezza, dei calcoli predicativi del primo ordine: nella logica matematica, afferma che qualunque teorema di un calcolo predicativo [...] del primo ordine è una formula logicamente valida, cioè è vera sotto ogni possibile interpretazione ...
Leggi Tutto
MACSYMA
MACSYMA 〈màksima〉 [ELT] [INF] Sigla di un sistema di programmazione di calcolatori elettronici per calcoli di manipolazione algebrica: v. manipolazione algebrica: III 618 f. ...
Leggi Tutto
‛OMĀN (XXV, p. 316)
Umberto BONAPACE
Francesco CATALUCCIO
Il sultanato indipendente di O., secondo recenti calcoli, occupa una superficie di 212.380 km2 e conta 550.000 ab. in maggioranza arabi, poi [...] indiani, persiani e negri. Nel settembre 1958 il porto e il territorio di Gwadar (774,8 km2 e 5000 ab.), sulla costa belucistana del Mare Arabico, già possesso dell'O., sono stati ceduti al Pakistan, mentre ...
Leggi Tutto
YEMEN (XXXV, p. 834; App. II, ii, p. 1135)
Umberto BONAPACE
Giovanni GARBINI
F. G. *
Secondo calcoli recenti la superficie del regno yemenita si aggira sui 195.000 km2, cifra suscettibile di qualche [...] Rosso, con 30.000 ab. Ibb, Yerim, Loheya e Mokhā con oltre 10.000. La comunità ebraica yemenita, che nel 1950 si calcolava in circa 40.000 persone, è emigrata per intero nel nuovo stato d'Israele.
Le risorse economiche, basate fino a qualche anno fa ...
Leggi Tutto
stechiometrico
stechiomètrico [agg. (pl.m. -ci) Der. di stechiometria] [CHF] Che ha relazioni con la stechiometria: calcoli stechiometrici. ◆ [CHF] Coefficiente s.: di una reazione tra le sostanze A, [...] B, C, D scritta nella forma aA+bB←→cC+dD, sono i numeri a, b, c, d che indicano per ciascuna sostanza il numero di molecole che prendono parte alla reazione stessa, la cui determinazione si esegue ricordando ...
Leggi Tutto
Astronomo e matematico statunitense (New York 1838 - West Nyack 1914), fece parte (1861-1900) dell'ufficio di calcoli del Nautical Almanac, occupandosi di astronomia e meccanica celeste. Notevoli le sue [...] ricerche sul moto di un sistema di punti materiali sotto l'azione della gravitazione, sul moto della Luna, sulle perturbazioni planetarie, sul moto dei pianeti Giove e Saturno. Dal 1913 socio straniero ...
Leggi Tutto
BENEDETTO XIII, papa
Gaspare De Caro
Pierfrancesco Orsini nacque a Gravina il 2 febbr. 1650, secondo i calcoli del Vignato, mentre la maggior parte dei biografi lo dice nato nel 1649. Era figlio primogenito [...] della politica nuova che B. XIII meditava, specie per quanto riguardava i rapporti con la Chiesa di Francia. Il calcolo si dimostrò in parte giusto, poiché il Coscia e gli altri "beneventani" si astennero dall'interferire in quest'ultimo ...
Leggi Tutto
errore, propagazione di un
errore, propagazione di un fenomeno di amplificazione degli errori che si verifica effettuando calcoli con numeri approssimati o con misure di per sé affette da errore. Nelle [...] sperimentali, molte misure non sono dirette, ma sono il risultato di un calcolo e tale calcolo può determinare un aumento dell’errore. Per esempio, nel calcolo dell’area di una superficie rettangolare si effettuano due misurazioni, relative alle ...
Leggi Tutto
Medico (Parigi 1793 - ivi 1864); autore di notevoli contributi in urologia; inventore di uno strumento per frammentare i calcoli in vescica (detto percussore), sul cui principio sono costruiti i moderni [...] litotritori ...
Leggi Tutto
calcolabile
calcolàbile agg. [der. di calcolare]. – Che può essere calcolato. In matematica, funzione c., funzione che può essere calcolata, per la quale esiste cioè un procedimento effettivo per calcolare il suo valore per dati valori dei...