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 [...] x2=x− i cosiddetti anelli booleani – e di reticoli limitati, distributivi (y ∨ x)
x ∧ (x ∨ y) = x x ∨ (x ∧ y) = x.
All’inverso se un’algebra 〈A,∧,∨〉 soddisfa gli assiomi di sopra e definiamo x≤y se x∧y=x, avremo che 〈A,≤〉 risulta un reticolo di cui ...
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, [...] variabili intere, la soddisfattibilità di un'espressione booleana, la possibilità di sequenziare un insieme di sono termini in T(Σ,X). Sia Alg(Σ,E) la famiglia delle Σ-algebre che soddisfano le equazioni in E. Se ≡E è la relazione di equivalenza tra ...
Leggi Tutto
Scienza cognitiva
Antonio Rainone
Con la locuzione scienza cognitiva, dalla fine degli anni Settanta, si è soliti designare l'insieme delle discipline che hanno per oggetto lo studio dei processi cognitivi [...] ), delle attività neurali del cervello alle operazioni di una macchina di calcolo operante secondo le regole logiche dell'algebrabooleana. Analogie tra cervello e calcolatore, anche se in forma alquanto cauta, sarebbero state poi delineate da J. Von ...
Leggi Tutto
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] teoremi (come quello di Wos, Overbeek e Lusk che ha permesso di scoprire nuovi teoremi in vari campi, dall'algebrabooleana ternaria alla teoria dei nodi) nonché di varie estensioni del PROLOG.
La logica come linguaggio di programmazione. − Il metodo ...
Leggi Tutto
logico
lògico [agg. (pl.m. -ci) Der. del lat. logicus, dal gr. log✄ikós, a sua volta da lógos "discorso, ragio-namento"] [LSF] Che concerne la logica o che è conforme a essa come retto modo di ragionare. [...] (famiglia MOS, bipolare, ecc.): v. circuiti elettronici integrati: I 615 b, 621 e. ◆ [ELT] [INF] Livello l.: nell'algebrabooleana dei circuiti l., ciascuno dei valori 0 e 1 che possono assumere le variabili. ◆ [ALG] [INF] Operazioni l. binarie ...
Leggi Tutto
operazione
operazióne [Der. del lat. operatio -onis, da operari "operare, lavorare", a sua volta da opus -eris "lavoro"] [LSF] Procedimento che costruisce un ente matematico, logico o fisico, detto risultato [...] , per es. le operazioni elementari. ◆ [INF] O. logiche elementari: le due operazioni di somma e di prodotto dell'algebrabooleana: v. circuiti logici: I 618 c. ◆ [ALG] O. vettoriali elementari: sono la composizione, la decomposizione, il prodotto ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] gli insiemi a−1L=L2 e b−1L=ε appartengono all'algebra generata da L.
Computabilità
Riguardo alla classe più grande contenente tipico problema della classe PSPAZIO è la soddisfacibilità delle formule booleane con quantificatori, per esempio:
[2] ∀x∀y ...
Leggi Tutto
Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] insiemi a−1=L2 e b−1=ε appartengono all'algebra generata da L.
Computabilità
Riguardo alla classe più grande PSPAZIO. Un tipico problema della classe PSPAZIO è la soddisfacibilità delle formule booleane con quantificatori, per esempio:
[2] ∀ x ∀ y(x ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] tutte le assegnazioni di valori di verità alle variabili della formula booleana) è esponenziale, mentre la verifica del fatto che una Pnueli sempre alla fine degli anni Settanta) e delle algebre di processi (introdotte da Jan Bergstra e Jan Willem ...
Leggi Tutto