In informatica ed elettronica, denominazione internazionale, composta dalla N di NOT e da OR, dell’operazione di inversione (o negazione) della somma logica OR fra variabilibooleane, della funzione corrispondente, [...] e anche del circuito che la realizza ...
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 [...] algebriche, grafi, schemi entità-relazione, equazioni booleane, catene di Markov, modelli probabilistici e statistici quello di flusso su reti. Si tratta essenzialmente di problemi con variabili relative a valori dei flussi in una rete assegnata (per ...
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 [...] a⋃a′=1, a⋂a′=0.
Un esempio tipico di algebra booleana è l'insieme di tutti i sottoinsiemi di un dato insieme V ;∣h∣>δ. Sia ora f(x) una qualsiasi funzione reale di una variabile reale e, per ogni x=ξ all'interno del suo intervallo di definizione, ...
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. [...] appartenga alla classe P della complessità ordinaria).
Complessità di un circuito
Il calcolo del valore di una funzione booleana di n variabili dà luogo a un circuito: si tratta semplicemente di un grafo orientato aciclico con 2n nodi sorgente, 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 [...] esempio, ponendo l=amante, b=benefattore e i, j essendo variabili su individui nell'ambito degli esseri umani, gli enunciati 'i è Hailperin 1981: Hailperin, Theodore, Boole's algebra isn't Boolean algebra, "Mathematics magazine", 54, 1981, pp. 172-184 ...
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 complesse proprietà dei numeri primi che non è qui il caso di esporre. Le variabili in gioco sono il numero N di cui si deve stabilire la natura 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 [...] l'insieme delle soluzioni possibili (per es., l'insieme di tutte le assegnazioni di valori di verità alle variabili della formula booleana) è esponenziale, mentre la verifica del fatto che una data soluzione soddisfi la proprietà richiesta (per es ...
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ù [...] la quantificazione esistenziale corrisponde alla proiezione parallela all'asse della variabile quantificata e quindi ogni proiezione di un insieme algebrico sarà una combinazione booleana di insieme algebrici di dimensione affine più bassa. È questo ...
Leggi Tutto