spazio Sostantivo polisenso che designa in generale un’estensione compresa tra due o più punti di riferimento. Può essere variamente interpretato a seconda che lo si consideri dal punto di vista filosofico, [...] dell’astrofisica. Gli esperimenti di cui si occupa la fisica spaziale possono essere distinti in due grandi categorie. Il primo tipo utilizza satelliti artificiali per eseguire misurazioni in condizioni più favorevoli di quelle esistenti sulla ...
Leggi Tutto
singolarità fisica In fluidodinamica, qualsiasi punto del campo di moto di un fluido irrotazionale, non viscoso e a densità costante in cui la funzione potenziale di velocità Φ assuma valore infinito o [...] olomorfa in un intorno di 0. In base al numero e ai tipi di s. che possiedono, le funzioni si classificano in varie categorie: intere, razionali, meromorfe ecc.. S. di curve e di superfici Con un’estensione non sempre propria si dice che una curva o ...
Leggi Tutto
traslazione Trasferimento da un luogo a un altro e raramente da un tempo a un altro.
Trasferimento del procedimento da un ufficio giudiziario a un altro a seguito di un provvedimento del giudice preventivamente [...] ad altri, e di t. ammassata, quando il produttore trasferisce su alcune categorie di consumatori l’intera imposta anche per la quota relativa ad altre categorie che restano immuni.
Nell’accezione più comune, corrispondenza che si ottiene associando ...
Leggi Tutto
Corrosione
Luciano Lazzari
I materiali a contatto con ambienti aggressivi subiscono un degrado chimico e fisico che, per quanto riguarda in particolare i metalli, è denominato corrosione. La corrosione [...] , l’uso di inibitori di corrosione, i rivestimenti.
La corrosione dei materiali metallici può essere classificata in due grandi categorie: la corrosione ad alta temperatura (o corrosione a caldo o anche corrosione a secco), tipica dei materiali che ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Aritmetica
Pascal Crozet
Aritmetica
Se ciò che in questa sede intendiamo per aritmetica si ricollega in generale al calcolo con quantità [...] altre, contrariamente ad altre lingue, come l'italiano, che fa uso di termini come venti.
I numeri si dividono pertanto in due categorie: i numeri semplici, che hanno una sola posizione (come 8, 20 o 30 mila) e quelli composti, che ne hanno più d ...
Leggi Tutto
limite
lìmite [Der del lat. limes -mitis] [LSF] Confine, termine, elemento di separazione; si specializza, in senso astratto, come il confine ideale al di sopra o al di sotto del quale si verifica un [...] massimo dell'equivalente di dose di radiazioni per il singolo individuo cui, per norma, ci si deve attenere per le categorie di lavoratori esposte: v. FISICA SANITARIA: II 623 b. Per i valori di massima raccomandati: v. RADIAZIONI IONIZZANTI, TERAPIA ...
Leggi Tutto
monoide
Luca Tomassini
Termine utilizzato come sinonimo di semigruppo con identità. Un monoide è pertanto un insieme M con un’operazione binaria associativa (ossia a(bc)=(ab)c per ogni a,b,c∈M), usualmente [...] in termini di automorfismi di un insieme S′, ma essa permette di associare a ogni monoide un duale Mοπ, definito come opposto della categoria. Gli elementi di M e Mοπ coincidono ma il prodotto xy è posto uguale a yx in Mοπ. Lo sviluppo della teoria ...
Leggi Tutto
Diritto
Diritto civile
Situazione di invalidità del negozio giuridico, determinata da un vizio che rende il negozio stesso inidoneo a produrre i suoi effetti e quindi inefficace (art. 1418-24 c.c.). I [...] alla lingua degli atti del procedimento ex art. 109, co. 3, c.p.p.); le seconde, invece si riferiscono ad ampie categorie di inosservanza e sono indicate nell’art. 178 c.p.p.
Per quanto riguarda il regime giuridico, le n. si distinguono invece ...
Leggi Tutto
Evoluzione recente della demografia. - Nel corso del duplice processo d'integrazione e di specializzazione che caratterizza lo sviluppo di tutte le discipline scientifiche, la d. ha subìto una notevole [...] mutevole.
Le previsioni demografiche. - I metodi di previsione demografica sono molteplici, ma possono ricondursi a tre categorie fondamentali, entro le quali trovano posto tutti quelli praticamente impiegati e che corrispondono a tre diversi criterî ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] dai primi anni Ottanta e che hanno realizzato profondi e inediti contatti con l'informatica teorica e la teoria delle categorie.
Il calcolo classico dei sequenti
Lo strumento centrale di cui ci serviremo sono i calcoli di sequenti, o L-calcoli ...
Leggi Tutto
categoria
categorìa s. f. [dal gr. κατηγορία «imputazione, predicato, attributo», der. di κατηγορέω «accusare, affermare, asserire»; lat. tardo categorĭa]. – 1. In generale, il predicato di una proposizione, l’attributo di un soggetto. a....
categorico
categòrico agg. [dal lat. tardo categorĭcus, gr. κατηγορικός] (pl. m. -ci). – 1. Di categoria, relativo a categorie nel sign. filosofico; il termine, che in Aristotele significava semplicem. «affermativo», ha assunto nella filosofia...