Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] dirsi assiomatico formale, un calcolo astratto delle classi costruendo anche quella particolare algebra nota come algebradiBoole; si interessò altresì della possibilità di un calcolo delle proposizioni.
C.S. Peirce
In seguito l’opera fu ...
Leggi Tutto
Ingegneria
Il termine a., introdotto negli anni 1940 da J. Diebold per descrivere il largo impiego di apparecchiature automatiche manifestatosi soprattutto nell’industria automobilistica, esprime oggi [...] commutazione telefonica e nei sistemi di sicurezza e di blocco degl’impianti di controllo del traffico stradale e ferroviario), ricorre all’algebra logica e in particolare all’algebradiBoole, la quale consente di interpretare il funzionamento dei ...
Leggi Tutto
Matematica
In algebra, particolare tipo di endomorfismo di un insieme A dotato di una qualsiasi struttura algebrica. Si tratta precisamente di un endomorfismo π (diverso dall’endomorfismo identico) idempotente [...] ), oppure dalla coppia (0, g2).
La totalità dei p. di un insieme A ha essa stessa una struttura algebrica che, a seconda dei casi, può essere un reticolo, un’algebradiBoole ecc. La nozione di p. ha però interesse soprattutto in relazione agli spazi ...
Leggi Tutto
Macchina
Roberto Vacca
Il termine macchina indica qualsiasi dispositivo o apparecchio costruito collegando opportunamente due o più elementi, in modo che il moto relativo di questi trasmetta o anche [...] false proposizioni logiche complesse costruite in funzione di altre elementari. Nel 1938, C.E. Shannon applicò l'algebradiBoole all'analisi e alla progettazione dei circuiti elettrici di commutazione, usati successivamente con successo nel progetto ...
Leggi Tutto
In elettronica, dispositivi che attuano operazioni dialgebra logica binaria.
Operazioni logiche binarie
Per la schematizzazione di circuiti l. elettronici, detti circuiti di commutazione, e per la determinazione [...] logica e le notazioni proposte da G. Boole (algebra booleana; ➔ Boole, George), non solo per la semplicità ma soprattutto perché tutte e sole le operazioni definite da Boole sono applicabili ai circuiti di commutazione. Indicando con 0 (assenza) e 1 ...
Leggi Tutto
booleano
‹bul-› agg. [dal nome del matematico ingl. G. Boole (1815-1864)]. – Algebra b., particolare tipo di struttura algebrica nella quale possono esprimersi relazioni logiche in modo analogo a quello in cui nell’algebra convenzionale si...
calcolo1
càlcolo1 s. m. [dal lat. calcŭlus, propr. «pietruzza» (cfr. càlcolo2), attrav. il sign. di «gettone per fare i conti»]. – 1. a. Successione più o meno lunga di operazioni atte a fornire la soluzione di un dato problema aritmetico,...