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
Psiche
Riccardo Zerbetto
L'etimologia del termine psiche (dal greco ψυχή, connesso con ψύχω, "respirare, soffiare") si riconduce all'idea del 'soffio', cioè del respiro vitale; presso i greci designava [...] loro un significato.
La mente umana sarebbe inoltre capace di superare una semplicistica logicabinaria (del tipo sì/no) propria del computer attraverso una capacità, definita logica fuzzy (sfumata), per la quale le scelte umane hanno più spesso a ...
Leggi Tutto
Impurità
Claudia Mattalucci
Nel linguaggio corrente il termine impurità è sinonimo di sozzura e di alterazione e si riferisce alla mescolanza di oggetti, comportamenti o individui che andrebbero separati. [...] per Hertz equivale a quella sacro/profano) è che il primo polo è sempre gerarchicamente superiore al secondo. La logicabinaria è infatti - secondo Hertz - il principio di ogni gerarchia, vale a dire di ogni forma di articolazione della differenza ...
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
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
In genetica, tratto di DNA che fa parte di un operone e condiziona la trascrizione dei geni strutturali immediatamente adiacenti (➔ operone).
Filosofia
In filosofia analitica, un’espressione [...] e Φ un insieme di o. unari ω, τ, …, da A a B. Se R è una relazione binaria definita in B, si dice che si ha R(ω, τ) quando, per ogni a ∈ A, vale senza far uso di trasformazioni integrali.
O. logico
In logica matematica è un simbolo che trasforma una ...
Leggi Tutto
Rapporto che collega, in maniera essenziale o accidentale, due o più cose, fatti, concetti.
Esposizione, orale o scritta, con cui si danno informazioni intorno allo stato di una questione, ai risultati [...] sono nella r. R si usa scrivere a R b.
R. binarie
Una r. binaria su un insieme I è un sottoinsieme dell’insieme I2. Il sottoinsieme operazioni specifiche, dette peirciane o schröderiane, dai nomi dei logici C.S. Peirce e E. Schröder che le hanno ...
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....