algebra di Boole
Silvio Bozzi
Introdotte nel 1848 da George Boole come controparte algebrica della logica dei termini e di quella ipotetica, le algebre di Boole trovano una prima formulazione assiomatica [...] delle classi, costituiranno – tra la fine dell’Ottocento e l’inizio del Novecento – l’oggetto dell’algebra della logica. Il loro ingresso nel mondo della matematica propriamente detta avverrà negli anni Trenta quando Marshall Stone farà emergere la ...
Leggi Tutto
Elettronica
Vittorio Capecchi
Definizione di elettronica
L'elettronica è la tecnica che permette di manipolare gli elettroni (le particelle dell'atomo che hanno carica negativa) in modo da ottenere [...] le persone basano la maggior parte delle loro valutazioni. Si può quindi arrivare a una inferenza di tipo fuzzy che è diversa da quella binaria. Ad esempio, nella logicabinaria, se si sa che A=B e si verifica che B=C, si può inferire che A=C; nella ...
Leggi Tutto
Tecnopolitica
Stefano Rodotà
La politica mediatica
Il rapporto tra la politica e la tecnica non può essere descritto solo in termini strumentali, come se la tecnica si limitasse a mettere a disposizione [...] si riesce a cogliere ancor più nettamente se si considera il fatto che siamo ormai oltre la logicabinaria democrazia rappresentativa/democrazia diretta. Quest’ultima, infatti, si presentava come una forma istituzionale integralmente sostitutiva dell ...
Leggi Tutto
somma
sómma [Der. del lat. summa "il punto più alto", f. sostantivato dell'agg. summus "sommo"] [ALG] Il risultato dell'operazione di addizione di numeri naturali (s. aritmetica), di numeri con segno [...] dei vettori, cioè il loro risultante. ◆ S. logica: (a) [ALG] [FAF] nella logica matematica, lo stesso che congiunzione; (b) [INF] l'operazione logicabinaria indicata usualmente con il simb. OR (v. circuiti logici: I 618 c). ◆ [ANM] S. standard: v ...
Leggi Tutto
logicalògica [Lat. logica, dal gr. loġiké (sottinteso téchne "arte"), a sua volta da lógos "discorso, ragionamento"] [ELT] [INF] Il complesso dei circuiti logici che fanno parte di un dispositivo elettronico [...] secondo la quale si fa corrispondere il livello di tensione più alto al valore logico 1 del sistema di numerazione binario del calcolo elettronico e quello più basso al valore logico 0, in contrapp. alla l. negativa, in cui la convenzione è capovolta ...
Leggi Tutto
Negli ultimi anni si sono straordinariamente diffuse calcolatrici elettroniche di piccolissime dimensioni e di grandi prestazioni, le cosiddette calcolatrici tascabili o da tavolo. Queste macchine, la [...] vedremo.
Anche se negli organi di memoria i dati elementari sono cifre binarie (o bit), in genere gl'indirizzi non si riferiscono al singolo bit costituito da unità di governo e unità aritmetica e logica è detto "unità centrale".
In alcuni casi l' ...
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, [...] esiste una dimostrazione di questo fatto (codificata in una sequenza binaria) che può essere verificata, in tempo polinomiale, da un di questa natura è la seguente:
che appartiene alla logica dinamica ed esprime il fatto che se l'esecuzione del ...
Leggi Tutto
(v. calcolatrici, macchine, VIII, p. 352; App. I, p. 339; II, I, p. 482; III, I, p. 281; elaboratori elettronici, IV, I, p. 650)
La diffusione e lo sviluppo degli e. nell'arco di tempo che va dalla metà [...] di von Neumann è universale, nel senso che, essendo tutti gli operandi codificati in un codice binario, basta che l'unità aritmetica e logica possa compiere alcune semplici operazioni proprie dell'algebra a due valori, perché qualunque tipo di ...
Leggi Tutto
INFORMAZIONE, SCIENZA DELLA
Roman Tirler
Pierluigi Ridolfi
Stefano Ceri e Alfonso Fuggetta
Tecnologie della comunicazione di Roman Tirler
Sommario: 1. Introduzione. 2. Tecniche di comunicazione dati: [...] onda del segnale è codificata come una sequenza di cifre binarie che sono trasmesse come impulsi. La regola matematica che un ricco insieme di strutture di controllo per definire la logica secondo la quale l'algoritmo evolve (per esempio i concetti ...
Leggi Tutto
Storia dei concetti e delle tecniche nella ricerca sulle reti neurali
Jack D. Cowan
(Department of Mathematics, University of Chicago Chicago, Illinois, USA)
In questo saggio descriveremo diverse ricerche [...] integratore con perdita. Indichiamo con Ui(t) una variabile binaria che rappresenta lo stato del neurone i-esimo al tempo abbiamo già visto, unità semplici di questo tipo possono valutare solo funzioni logiche semplici, come X AND y, X OR y, e NOT x. ...
Leggi Tutto
logico1
lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...
binario1
binàrio1 agg. [dal lat. tardo binarius, der. di bini «due per volta»]. – 1. Composto di due unità, di due elementi: divisione b., nell’esercito, la divisione composta da due reggimenti di fanteria; stelle b., sinon. di stelle doppie....