Rapporto che collega, in maniera essenziale o accidentale, due o più cose, fatti, concetti.
Esposizione, orale o scritta, con cui si danno informazioni intorno allo stato di una questione, ai risultati [...] proprio’, sempre sull’insieme dei numeri naturali.
Oltre alle operazioni insiemistiche precedentemente indicate, dette operazionibooleane, tra le r. si possono introdurre altre operazioni specifiche, dette peirciane o schröderiane, dai nomi dei ...
Leggi Tutto
Logica matematica
Abraham Robinson
*La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] delle proposizioni contraddittorie, cioè delle proposizioni le cui negazioni sono tautologie. Segue dalle definizioni che le operazionibooleane riflettono l'azione dei connettivi nel calcolo predicativo. Diviene quindi naturale integrare l'algebra ...
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. [...] notevolmente più difficili. Per esempio, i fatti fondamentali riguardanti i linguaggi razionali, come la chiusura rispetto alle operazionibooleane, nel caso infinito diventano un risultato molto delicato, dovuto a Büchi, che fa uso del teorema di ...
Leggi Tutto
Premessa. - Gli sviluppi dell'a. nel quindicennio 1960-75 sono stati assai notevoli, sia dal punto di vista quantitativo sia da quello qualitativo. Prima di esaminare alcuni progressi in direzioni particolari, [...] e allo studio di nuove strutture algebriche (a. booleane, reticoli; a. cilindriche, poliadiche, ecc.).
Mutamento della (A, F) è un'equivalenza sull'insieme A tale che, se f è un'operazione presa a piacere in F, di arità n, e se a1, ..., an; b1 ...
Leggi Tutto
OPERATIVA, RICERCA
Lucio Bianco-Mario Lucertini
(App. III, II, p. 315; IV, II, p. 669)
Premessa. − La r.o. è una disciplina che, a partire da radici culturali diversificate, ha acquisito soltanto negli [...] obiettivi da perseguire. La formalizzazione di questo modo di operare e la successiva risoluzione del problema di decisione sono tipici algebriche, grafi, schemi entità-relazione, equazioni booleane, catene di Markov, modelli probabilistici e ...
Leggi Tutto
L'Ottocento: matematica. Algebra della logica
Massimo Mugnai
Algebra della logica
Logica e matematica: pensare e calcolare
Sia nell'Antichità sia durante il Medioevo, la logica e la matematica si configurano [...] quale Boole aveva dato vita nelle sue due opere maggiori possedeva alcune caratteristiche che lo rendevano difficilmente accettabile Hailperin 1981: Hailperin, Theodore, Boole's algebra isn't Boolean algebra, "Mathematics magazine", 54, 1981, pp. 172 ...
Leggi Tutto
Complessità algoritmica
Fabrizio Luccio
Gli studi di complessità di calcolo si sono sviluppati essenzialmente nella seconda metà del ventesimo secolo. Basati sulla formalizzazione del concetto di algoritmo, [...] 'unico problema della soddisfattibilità di espressioni booleane. Negli anni seguenti si riconobbe che è in ordine di grandezza O(n+tE), ove n è proporzionale al numero di operazioni per generare una n-pla e tE è il tempo per calcolare il valore di E ...
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 [...] assegnazioni di valori di verità alle variabili della formula booleana) è esponenziale, mentre la verifica del fatto che è stata sviluppata e formalizzata, a metà degli anni Settanta, per opera di John V. Guttag, Barbara Liskov, Stephen N. Zilles e ...
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ù [...] definibili nella struttura con paramentri in X è un operatore astratto di dipendenza (nel senso introdotto da MacLane Zarinski, in cui i sottoinsiemi definibili di DMn sono combinazioni booleane di elementi di una topologia su DM che simula quelle ...
Leggi Tutto