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
Calcolatori
GGianfranco Bilardi e Raffaele Tripiccione
Nicola Cabibbo
Mario Rasetti
Hardware, di Gianfranco Bilardi e Raffaele Tripiccione
Calcolatori paralleli, di Nicola Cabibbo
Calcolo quantistico, [...] (v. Katz, 1994).
Vari dispositivi fisici sono stati ideati in passato per la realizzazione del NAND o di altre operazionibooleane equivalenti, e molti sono allo studio per il futuro. Tuttavia, negli ultimi tre-quattro decenni, il dispositivo di gran ...
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
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 [...] 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
algoritmo di ricerca
algoritmo di ricerca algoritmo il cui obiettivo è la ricerca di un elemento specifico in una lista composta da numerosi elementi. Esempi elementari di ricerche possono essere la [...] di ricerca fornirà come output la lista ordinata dei numeri telefonici dei primi tre abbonati.
Il campo sul quale agiscono le operazionibooleane prende il nome di campo chiave di ricerca. È possibile anche creare una chiave di ricerca composta ...
Leggi Tutto
query
query in informatica, istruzione che permette l’accesso ai dati contenuti in un database attraverso una opportuna ricerca (da cui il nome in inglese). La query è scritta in un particolare linguaggio [...] database usando opportuni comandi. Normalmente, per raffinare la ricerca si usano espressioni logiche in cui sono presenti le operazionibooleane and, or, not (→ Boole, algebra di). L’output della query, a meno che non venga specificato diversamente ...
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 di Σ) e F è un insieme di simboli di funzione f₁,…,fm (detti operazioni di Σ) dotati di tipo (corrispondenza tra i simboli in F e l' ...
Leggi Tutto
Le tecnologie microelettroniche si sono contraddistinte nel tempo per un processo di miniaturizzazione delle dimensioni fisiche dei dispositivi elementari, che ha consentito di elevarne in modo considerevole [...] circuiti combinatori sono le porte logiche che realizzano le funzioni booleane elementari, come il NOT, il NAND e il NOR linee dati (bit lines) attraverso i due transistori M5 e M6 operanti come interruttori (pass transistors). I gates di M5 e di M6 ...
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