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, [...] uno s. topologico, anche se non vale il viceversa).
S. misurabile. S. nel quale è assegnata una σ-algebra di sottoinsiemi, cioè un’algebrabooleana di sottoinsiemi chiusa non solo per le operazioni di unione, intersezione e negazione ma anche per la ...
Leggi Tutto
Nel linguaggio scientifico, in presenza di fenomeni casuali (o aleatori), p. di un evento è il numero, compreso fra 0 e 1, che esprime il grado di possibilità che l’evento si verifichi, intendendo che [...] di condizionamenti possibili. Nel modello di Rényi, come in quello di Kolmogorov, l’insieme ℱ di tutti gli eventi è una σ-algebrabooleana di sottoinsiemi di un insieme S, lo spazio degli stati. Si considera poi una famiglia ℱ0⊆ℱ di eventi, i cui ...
Leggi Tutto
De Morgan Augustus
De Morgan 〈dë mòghën〉 Augustus [STF] (Madura, India, 1806 - Londra 1871) Prof. di matematica nell'univ. di Londra (1828). ◆ [ALG] Leggi, o teoremi, di D.: nella logica matematica, [...] leggi del calcolo proposizionale che hanno una notevole rilevanza nell'algebrabooleana: v. circuiti logici: I 618 f. ...
Leggi Tutto
logico
lògico [agg. (pl.m. -ci) Der. del lat. logicus, dal gr. log✄ikós, a sua volta da lógos "discorso, ragio-namento"] [LSF] Che concerne la logica o che è conforme a essa come retto modo di ragionare. [...] (famiglia MOS, bipolare, ecc.): v. circuiti elettronici integrati: I 615 b, 621 e. ◆ [ELT] [INF] Livello l.: nell'algebrabooleana dei circuiti l., ciascuno dei valori 0 e 1 che possono assumere le variabili. ◆ [ALG] [INF] Operazioni l. binarie ...
Leggi Tutto
operazione
operazióne [Der. del lat. operatio -onis, da operari "operare, lavorare", a sua volta da opus -eris "lavoro"] [LSF] Procedimento che costruisce un ente matematico, logico o fisico, detto risultato [...] , per es. le operazioni elementari. ◆ [INF] O. logiche elementari: le due operazioni di somma e di prodotto dell'algebrabooleana: v. circuiti logici: I 618 c. ◆ [ALG] O. vettoriali elementari: sono la composizione, la decomposizione, il prodotto ...
Leggi Tutto
complemento
compleménto [Der. del lat. complementum, da complere "completare, portare a compimento"] [LSF] Ciò che completa una cosa. Il termine indica spesso un ente complementare: per es., c. di un [...] : per un dato numero n, è il numero che, sommato al dato, dà l'unità, cioè il numero 1-n. ◆ [ALG] C. di un'algebrabooleana: per un sottoinsieme A di un insieme I, l'insieme degli elementi di I non appartenenti ad A; è detto anche negazione e può ...
Leggi Tutto
Stone Marshall Harvey
Stone 〈stóun〉 Marshall Harvey [STF] (New York 1903 - Amherst, Massachusetts, 1978) Prof. di matematica nella Harvard Univ. (1933) e poi nell'univ. di Chicago (1968) e del Massachusetts [...] (1973) ad Amherst. ◆ [ANM] Problema non commutativo di S.-Weierstrass: v. algebre di operatori: I 95 c. ◆ [PRB] Teorema di S.: (a) per un'algebrabooleana: v. probabilità classica: IV 579 d; (b) per stati regolari: v. rappresentazioni delle relazioni ...
Leggi Tutto
AND
AND 〈èn〉 [La congiunzione ingl. "e"] [ALG] [FAF] Operatore logico (o insiemistico) di congiunzione di due enunciati (o di intersezione di due insiemi); la congiunzione di due enunciati risulta vera [...] se e solo se entrambi gli enunciati sono veri. ◆ [ELT] Nell'algebrabooleana: (a) il prodotto logico; (b) il circuito elettronico che realizza il prodotto logico: v. circuiti logici: I 618 c, anche per il simb. grafico e la relativa tavola di verità. ...
Leggi Tutto
algebraàlgebra [Lat. algebra, der. dell'arabo al-giabr propr. "restaurazione", e quindi "riduzione" (dapprima nel signif. medico-chirurgico, e poi in quello matematico), che compare la prima volta in [...] (v.). ◆ [ALG] A. autoaggiunta: v. gruppi, rappresentazione dei: III 123 d. ◆ [ALG] [ELT] A. booleana: struttura algebrica costituita da un insieme di elementi (per es., tutti i sottoinsiemi di un insieme) dotato di due operazioni binarie e una unaria ...
Leggi Tutto