booleano
booleano [agg. Relativo al matematico G. Boole] [ALG] Algebra b.: lo stesso che algebra di Boole (→ Boole, George). ◆ [ALG] Funzioni e operazioni b.: le funzioni e le operazioni dell'algebra [...] b., quali la somma logica (OR), il prodotto logico (AND), ecc.: v. circuiti logici: I 618 b. ◆ [ALG] Reticolo b.: lo stesso che algebrabooleana. ...
Leggi Tutto
algebraàlgebra [Lat. algebra, der. dell'arabo al-giabr propr. "restaurazione", e quindi "riduzione" (dapprima nel signif. medico-chirurgico, e poi in quello matematico), che compare la prima volta in [...] (v.). ◆ [ALG] A. autoaggiunta: v. gruppi, rappresentazione dei: III 123 d. ◆ [ALG] [ELT] A. booleana: struttura algebrica costituita da un insieme di elementi (per es., tutti i sottoinsiemi di un insieme) dotato di due operazioni binarie e una unaria ...
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
Storia della civiltà europea a cura di Umberto Eco (2014)
Claudio Fiocchi
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Gli straordinari sviluppi della logica dell’Ottocento vanno visti alla luce della coeva [...] elemento: “Cesare” e “colui che conquistò la Gallia”.
L’algebra delle classi sarà sviluppata da Charles Sanders Peirce e, sistematicamente, da dalla nostra per il rifiuto della nozione booleana di universo del discorso e la presupposizione di ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Giorgio Strano
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Il pensiero occidentale ha sviluppato due diverse concezioni della natura del mondo fisico: [...] . George Boole, a metà Ottocento, approfondisce le ricerche sulla matematica binaria e dà origine alla cosiddetta algebra della logica (definita appunto booleana), tanto vicina a quella che governa i moderni computer da essere tuttora alla base del ...
Leggi Tutto
funzione booleana
funzione booleana funzione binaria a variabili binarie. È una funzione che è applicata a un insieme di variabili binarie che assumono ciascuna uno di due possibili valori, per esempio [...] ottiene un valore diverso da 1 o 0. Le varie operazioni definite nell’algebra di → Boole (prodotto logico, somma logica, complemento...) sono esempi di funzioni booleane. Interpretando i valori 0 e 1 come valori di verità, rispettivamente «falso» e ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] basilari del cervello umano alla logica simbolica booleana. Il modello suggerisce che tali meccanismi fisiologici in un tempo finito se la formula è vera in tutte le algebre di Boole.
Il teorema di Ionescu Tulcea. In una breve nota pubblicata ...
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
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] alla teoria degli spazi di Banach iniziate da Jean-Louis Krivine e allo sviluppo dei modelli booleani.
Proprietà elementari e metamatematica dell'algebra
L'analisi non standard ci mostra in un caso specifico come possa essere fecondo distinguere tra ...
Leggi Tutto