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 [...] delle classi, costituiranno – tra la fine dell’Ottocento e l’inizio del Novecento – l’oggetto dell’algebra della logica. Il loro ingresso nel mondo della matematica propriamente detta avverrà negli anni Trenta quando Marshall Stone farà emergere la ...
Leggi Tutto
In elettronica, dispositivi che attuano operazioni di algebra logicabinaria.
Operazioni logichebinarie
Per la schematizzazione di circuiti l. elettronici, detti circuiti di commutazione, e per la determinazione [...] con ripetizione degli elementi 0 e 1). In tab. 2 sono riportate le configurazioni delle 16 funzioni logiche diverse ottenibili con due variabili binarie, in corrispondenza ai valori assunti da queste. Dal confronto con la tab. 1 si riconosce, per es ...
Leggi Tutto
Nella teoria dei sistemi, tipo di rappresentazione ideato verso la fine degli anni 1970 da L.A. Zadeh, della University of California a Berkeley, ma affermatosi solo a partire dagli anni 1990, che ha l’obiettivo [...] di rappresentare il più fedelmente possibile, su sistemi a logicabinaria, il modo di ragionare tipico della mente umana. Il ragionamento umano ammette, infatti, la possibilità di passare da un concetto a un altro gradualmente, mentre ciò non è ...
Leggi Tutto
somma
sómma [Der. del lat. summa "il punto più alto", f. sostantivato dell'agg. summus "sommo"] [ALG] Il risultato dell'operazione di addizione di numeri naturali (s. aritmetica), di numeri con segno [...] dei vettori, cioè il loro risultante. ◆ S. logica: (a) [ALG] [FAF] nella logica matematica, lo stesso che congiunzione; (b) [INF] l'operazione logicabinaria indicata usualmente con il simb. OR (v. circuiti logici: I 618 c). ◆ [ANM] S. standard: v ...
Leggi Tutto
tavola
tàvola [Der. del lat. tabula] [LSF] Termine usato con i signif. di tabella, di cui è allora sinonimo. ◆ [ASF] T. astronomiche: tabelle di dati astronomici, spec. di effemeridi di astri. ◆ [ANM] [...] ha per primo elemento gk si scrive il prodotto ghgk. ◆ [ALG] [FAF] T. di verità: mostra il risultato di un'operazione logicabinaria ("vero" e "falso" oppure 0 e 1) in funzione dei valori dei termini; per le t. di verità delle principali operazioni ...
Leggi Tutto
Logica matematica
Abraham Robinson
*La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] di realtà di un insieme infinito. Per un positivista logico l'intera matematica è parte del linguaggio e il ‛gruppo' una struttura G che si basa su una singola operazione binaria, ab=c, detta moltiplicazione o, talvolta, addizione. L'operazione è ...
Leggi Tutto
logicalògica [Lat. logica, dal gr. loġiké (sottinteso téchne "arte"), a sua volta da lógos "discorso, ragionamento"] [ELT] [INF] Il complesso dei circuiti logici che fanno parte di un dispositivo elettronico [...] secondo la quale si fa corrispondere il livello di tensione più alto al valore logico 1 del sistema di numerazione binario del calcolo elettronico e quello più basso al valore logico 0, in contrapp. alla l. negativa, in cui la convenzione è capovolta ...
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 [...] ogni an vale 0 oppure 1; xn risulta essere l’n-ma cifra binaria di y(0) e la complessità della successione data è quindi strettamente legata riferimento di tipo analogico da uno di tipo logico e formale. Il s. analogico consiste nel rappresentare ...
Leggi Tutto
In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] Il linguaggio L di G ha i simboli non logici + e 0. Interpretiamo L sulla struttura costituita dall’insieme Z dei numeri interi relativi, dall’operazione di addizione ordinaria (per la funzione binaria +) e dalla costante zero (per il simbolo 0). I ...
Leggi Tutto
Biologia
L’attività propria di una cellula, o di una sua parte, o di un organo, o di un sistema organico. Oggetto di studio della fisiologia, è intimamente legata alla forma o struttura, oggetto di studio [...] di una (o più) variabili reali.
Funzioni di verità
In logica matematica, particolare tipo di f. che ha sia come argomenti sia . La congiunzione viene interpretata come quella f. di verità binaria che ha valore V solo se il valore di verità delle ...
Leggi Tutto
logico1
lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...
binario1
binàrio1 agg. [dal lat. tardo binarius, der. di bini «due per volta»]. – 1. Composto di due unità, di due elementi: divisione b., nell’esercito, la divisione composta da due reggimenti di fanteria; stelle b., sinon. di stelle doppie....