Boole George
Boole 〈bùul〉 George [STF] (Lincoln 1815 - Cork 1864) Prof. di matematica (1849) nel Queen's College di Cork. ◆ [ALG] Algebra di B.: insieme parzialmente ordinato in cui si definisce un elemento [...] 1 e un elemento 0 in modo che per ogni elemento x- dell'insieme esista un unico elemento x tale che sup{x,x-} =1, inf{x,x-} =0. Un esempio di algebra di B. è il sistema di tutti i sottinsiemi di un dato ...
Leggi Tutto
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 [...] che è complementato e potremo definire un’operazione ′: A→A per cui
x ∨ x ′ = 1 x ∧ x ′ = 0.
Le algebre di Boole sono reticoli limitati, distributivi e complementati. Esempi sono l’algebra B(I)=〈P(I),∩,∪,‒〉 dei sottoinsiemi di un insieme dato mentre ...
Leggi Tutto
proiettore
proiettóre [Der. del part. pass. proiectus del lat. proicere "gettare innanzi"] [LSF] Che proietta, che lancia, anche in signif. figurati. ◆ [ALG] Dato un insieme X, è un endomorfismo P sull'insieme [...] dei p. di un insieme ha essa stessa una struttura algebrica, che, a seconda dei casi, può essere un'algebra di Boole, un reticolo, ecc. I p. hanno notevole interesse nella rappresentazione di operatori lineari, per es. in spazi di Banach e di ...
Leggi Tutto
logica
lò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 [...] cui si applicarono tecniche algebriche alla l. tradizionale, come capitò, per es., per le leggi di De Morgan, l'algebra di Boole e altro. ◆ [FAF] L. a molti valori, o polivalente o plurivoca: la l. in cui ciascun enunciato può essere interpretato su ...
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, [...] pensiero (v. automa, V, p. 554). Un ampio ventaglio di ricerche nell'ambito della logica matematica (dall'algebra di G. Boole al concetto teorico di algoritmo di A. Turing, alle idee sull'architettura delle macchine calcolatrici di J. von Neumann) e ...
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 [...] di controllo del traffico stradale e ferroviario), ricorre all’algebra logica e in particolare all’algebra di Boole, la quale consente di interpretare il funzionamento dei sistemi, anche molto complessi, mediante operazioni logiche semplici (somma ...
Leggi Tutto
scienza Insieme delle discipline fondate essenzialmente sull’osservazione, l’esperienza, il calcolo, o che hanno per oggetto la natura e gli esseri viventi, e che si avvalgono di linguaggi formalizzati.
In [...] posizioni nel campo della filosofia della scienza.
L’estensione delle tesi di Mill, insieme all’impiego del calcolo di Boole al campo della chimica, porterà B. Brodie (The calculus of chemical operations, 1876) a sviluppare una teoria chimica ...
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...
Bowle
‹bóolë› s. f., ted. [voce di origine ingl., cfr. sved. bål]. – Bevanda alcolica in uso nei paesi germanici, costituita da una miscela zuccherata di varî vini bianchi (Reno, Mosella, Champagne) nella quale si lasciano in infusione per...