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
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
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 [...] abbastanza vaghe di una 'caratteristica universale', che immaginava capace di sostenere la ricerca della verità. Infine, nel 1854, G. Boole aveva inventato e diffuso l'algebra della logica, la quale ammette per le variabili i soli valori 1 (vero) e ...
Leggi Tutto
GERACE, Giovan Battista
Giulio Maltese
Nacque a Roma il 17 nov. 1925 da Vincenzo, poeta, e Giulia Becciani. Conseguita la licenza liceale nel 1943, si iscrisse a ingegneria. Nello stesso anno, richiamato [...] circuits, in Calcolo, III [1966], pp. 493-539; Les aleas dans les circuits séquentiels commandés par impulsion, in Algèbre de Boole et machines logiques, a cura di J. Kuntzmann - P. Nastin, Paris 1967, pp. 213-245; Réalisation de systèmes séquentiels ...
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...