algebra di Boole
Silvio Bozzi
Introdotte nel 1848 da George Boole come controparte algebrica della logica dei termini e di quella ipotetica, le algebre di Boole trovano una prima formulazione assiomatica [...] P(I),∩,∪,‒〉 dei sottoinsiemi di un insieme dato mentre non sono algebre di Boole né il reticolo dei chiusi né quello degli aperti di uno spazio topologico. Algebre di Boole sono invece i reticoli dei clopen (gli insiemi aperti e chiusi) di uno spazio ...
Leggi Tutto
sistema Nell’ambito scientifico, qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti tra loro e con l’ambiente esterno, reagisce o evolve [...] di s. ipotetico-deduttivo è la teoria assiomatica degliinsiemi, la quale in alcune esposizioni ha come unico sempre possibile risolvere le equazioni in modo esplicito con i metodi dell’algebra lineare. Per un s. non lineare, a parte il caso ...
Leggi Tutto
Diritto
C. e qualifiche professionali Sistema di classificazione volto a identificare e raggruppare i vari profili professionali, in modo da delineare il regime giuridico ed economico cui è sottoposto [...] N = nome, V = verbo, Art = articolo.
Matematica
Nozione che unifica e generalizza situazioni che si presentano in algebra, topologia, teoria degliinsiemi ecc. Una c. è data quando siano fissate due classi di enti matematici, la classe O e la classe ...
Leggi Tutto
MATEMATICA
Federico Enriques
Matematica, o matematiche (gr. τὰ μαϑηματικά da μάϑημα "insegnamento") significa originariamente "disciplina" o "scienza razionale". Questo significato conferirono alla [...] Aritmetica (teoria dei numeri, analisi combinatoria, teoria dei numeri a più unità, teoria degl'insiemi, gruppi finiti), Algebra (corpi algebrici, teoria delle forme invariantive, teoria della risolubilità secondo Galois), Calcolo delle probabilità e ...
Leggi Tutto
Informatica
Giorgio Ausiello
Carlo Batini
Vittorio Frosini
(App. IV, ii, p. 189; V, ii, p. 704)
Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, [...] basano su una singolare proprietà degliinsiemi NP-completi (teorema delle dimostrazioni Si noti che 〈T(S,X),F> è una Σ-algebra. T(Σ)=T(Σ,∅) è chiamata algebra dei termini di base. Consideriamo l'insieme E di equazioni del tipo t=t′ dove t e t′ ...
Leggi Tutto
continuita
continuità [Der. di continuo "l'essere continuo", nei vari signif. di questo termine] [LSF] Sulla base delle teorie quantistiche, per le quali i corpi sono sostanzialmente discontinui, la [...] [ALG] C. sulle successioni crescenti (e decrescenti): per un'algebra L su un insieme e un'applicazione μ di L in [0,+∞], proprietà di μ di rete. ◆ [ALG] Postulato di c.: nella teoria degliinsiemi (e in partic. nelle sue applicazioni alla geometria e ...
Leggi Tutto
In senso ampio, la costituzione e la distribuzione degli elementi che, in rapporto di correlazione e d’interdipendenza funzionale, formano un complesso organico o una sua parte; è così chiamato anche il [...] la relazione di maggiore ha una s. d’ordine. Lo studio delle s. d’ordine è lo studio degliinsiemi ordinati. Un insieme è dotato di s. algebrica se in esso sono opportunamente definite operazioni (funzioni a una o più variabili) che legano tra loro i ...
Leggi Tutto
reticolo
retìcolo [Der. del lat. reticulum o reticulus, dim. di rete] [LSF] Sinon. di rete e di reticolato, usato in alcune espressioni tecniche per indicare una struttura che abbia aspetto di rete bi- [...] di struttura algebrica che si realizza quando in un insieme s'introducono due opportune leggi di composizione binaria, che godono di proprietà simili a quelle delle ordinarie operazioni di unione e d'intersezione nella teoria degliinsiemi. Precis ...
Leggi Tutto
sigma
sigma [Lat. sigma, gr. sígma] [LSF] La 18a lettera dell'alfabeto gr., corrispondente alla s lat.; la forma min. è σ, quella maiusc. Σ. ◆ [ALG] Σ è il simb. di una sommatoria o di una serie. ◆ [FSN] [...] di questa classe finora osservate sperimentalmente (1996). ◆ [ANM] S.-algebra (σ-algebra) di insiemi: un'algebra di sottoinsiemi di un dato insieme che è chiusa rispetto all'unione degliinsiemi eseguita una quantità numerabile di volte. ◆ [PRB] S ...
Leggi Tutto
mappa
mappa [Lat. mappa, di origine punica] [LSF] Ogni rappresentazione grafica piana di una porzione della superficie terrestre (lo stesso che carta geografica o topografica) e, estensiv., della superficie [...] di un corpo in genere. ◆ [ALG] (a) Generic., sinon. di applicazione nella teoria degliinsiemi e di morfismo nell'algebra astratta. (b) Con signif. specifico, data un'applicazione biunivoca e bicontinua tra due spazi topologici S e S' che applichi l' ...
Leggi Tutto
algebra
àlgebra s. f. [dal lat. mediev. algebra, e questo dall’arabo al-giabr, propr. «restaurazione», e quindi «riduzione» (dapprima nel sign. medico-chirurgico, e poi in quello matematico), che compare la prima volta in un trattato arabo...
matematica
matemàtica (ant. e raro mattemàtica) s. f. [dal lat. mathematĭca (sottint. ars), gr. μαϑηματική (sottint. τέχνη); v. matematico]. – 1. a. Originariamente, la scienza razionale dei numeri (aritmetica, intesa come scienza della quantità...