algebradiBoole
Silvio Bozzi
Introdotte nel 1848 da George Boole come controparte algebrica della logica dei termini e di quella ipotetica, le algebrediBoole trovano una prima formulazione assiomatica [...] che ha dato l’inizio allo studio sistematico delle algebrediBoole è il teorema dimostrato da Marshall Stone nel 1936 per cui ogni algebradiBoole è isomorfa ;all’algebra dei clopen di uno spazio compatto totalmente sconnesso. Nel 1947 Lynn Loomis ...
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, [...] umane, incluso il pensiero (v. automa, V, p. 554). Un ampio ventaglio di ricerche nell'ambito della logica matematica (dall'algebradi G. Boole al concetto teorico di algoritmo di A. Turing, alle idee sull'architettura delle macchine calcolatrici ...
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 [...] 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 à l'aide ...
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,...