In elettronica, dispositivi che attuano operazioni di algebra logica binaria.
Operazioni logiche binarie
Per la schematizzazione di circuiti l. elettronici, detti circuiti di commutazione, e per la determinazione [...] relazioni funzionali ottenibili per mezzo di essi, sono normalmente utilizzate la formulazione dell’algebra logica e le notazioni proposte da G. Boole (algebra booleana; ➔ Boole, George), non solo per la semplicità ma soprattutto perché tutte e sole ...
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, [...] lineari a variabili intere, la soddisfattibilità di un'espressione booleana, la possibilità di sequenziare un insieme di lavori su modale di questa natura è la seguente:
che appartiene alla logica dinamica ed esprime il fatto che se l'esecuzione del ...
Leggi Tutto
(App. III, I, p. 532; IV, I, p. 669)
Con e. ci si riferisce oggi a un complesso molto vasto di attività spesso appartenenti ad ambiti disciplinari e produttivi all'apparenza eterogenei. Purtuttavia gli [...] della grandezza portante si assegna il significato di ''1'' dell'algebra booleana, e a quello basso (s2) il significato di ''0'', Detta ΔV la distanza tra i livelli dello 0 e dell'1 logici, abbiamo:
τe α C·ΔV/Imedia
e quindi la potenza diventa ...
Leggi Tutto
Premessa. - L'a. è la branca della moderna ingegneria che si occupa della risoluzione dei problemi che hanno la finalità di sostituire, nei diversi campi applicativi, l'opera dell'uomo con congegni suscettibili [...] stradale.
Lo strumento matematico più adatto per trattare questi problemi si è dimostrata l'algebra logica e in particolare l'algebra booleana.
Questa consente di interpretare il funzionamento dei sistemi, anche molto complessi, attraverso operazioni ...
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, [...] funzioni come modello delle operazioni del pensiero). Un risultato di logica matematica, emerso a cavallo tra il XIX e il XX secolo, è che una qualsiasi funzione booleana si può realizzare componendo molte copie di un'unica funzione opportunamente ...
Leggi Tutto
Elettronica
FFrancesco Carassa e Emilio Gatti
di Francesco Carassa e Emilio Gatti
Elettronica
Sommario: 1. Introduzione. 2. Sviluppo storico. 3. Lo spettro delle onde elettromagnetiche. 4. Generalità [...] di tensione. Si può scrivere Xu = f (X1, X2), dove tutte le variabili indicate sono variabili logiche binarie, o ‛variabili booleane', suscettibili di assumere due valori convenzionalmente indicati con 0 e 1.
La particolare funzione attuata dal ...
Leggi Tutto
Dissenso
LLewis S. Feuer
di Lewis S. Feuer
Dissenso
sommario: 1. Definizioni preliminari: tipi di ‛dissenso'. 2. La repressione del dissenso nell'Europa antica e medioevale. 3. La libertà di dissenso [...] ripresa di cui si teneva sempre conto.
Era logico aspettarsi che la moderna schiera di contestatori generazionali perpetuazione. La verità è che Mozart, Pascal, l'algebra booleana, Shakespeare, il regime parlamentare, le chiese barocche, Newton ...
Leggi Tutto
Visione artificiale
Pietro Parodi
(Scuola Internazionale di Studi Superiori Avanzati, Trieste, Italia)
Vincent Torre
(Scuola Internazionale di Studi Superiori Avanzati, Trieste, Italia)
La visione artificiale, [...] da una barra sulla variabile (x̄=1 se e solo se x=0), di somma logica (x+y=1 se e solo se x=1 oppure y=1) e di prodotto logico (x ∙ y = l se e solo se x=y= 1). Esempi di proposizioni booleane sono F =x1 ∙ (x̅2 +x1 ∙ x3) e F = (x̅1 + x2) ∙ (x1 + x̅2 ...
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. [...] però un'origine strettamente matematica; essa risale ai lavori di logici dei primi decenni del Novecento, quali Emil L. Post tipico problema della classe PSPAZIO è la soddisfacibilità delle formule booleane con quantificatori, per esempio:
[2] ∀x∀y(x ...
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 [...] è localmente idempotente e commutativo.+1
Automi e logica
Si deve a Richard Büchi l'idea di introdurre PSPAZIO. Un tipico problema della classe PSPAZIO è la soddisfacibilità delle formule booleane con quantificatori, per esempio:
[2] ∀ x ∀ y(x ...
Leggi Tutto