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 [...] una dimostrazione di questo fatto (codificata in una sequenza binaria) che può essere verificata, in tempo polinomiale, da è stata sviluppata e formalizzata, a metà degli anni Settanta, per opera di John V. Guttag, Barbara Liskov, Stephen N. Zilles e ...
Leggi Tutto
La seconda rivoluzione scientifica: fisica e chimica (1945-1960). L'elettronica e il calcolo
Jon Agar
L'elettronica e il calcolo
Negli anni 1945-1946 fu resa pubblica la definizione di 'calcolatore [...] codice, si rivelò molto importante per il successo dell'operazione. Inoltre gli investimenti per la ricerca e lo sviluppo ripetitivo e suscettibile d'errore di determinare l'equivalente binario di un'istruzione come quest'ultima poteva tuttavia essere ...
Leggi Tutto
memorizzazione
Andrea Carobene
Ricordare per vivere
La memorizzazione è l’operazione attraverso la quale i dati sono registrati per un successivo utilizzo. Senza di essa non sarebbe possibile non solo [...] indicati con i termini up e down («su» e «giù»). L’idea dei ricercatori è di associare i valori del codice binario al valore dello spin. In questo modo ogni singolo elettrone porterebbe un bit di informazione, mentre ora ci vogliono molti elettroni ...
Leggi Tutto
convertitore
convertitóre [agg. (f. -trice) e s.m. Der. di convertire, "chi o che effettua una conversione"] [ELT] [INF] Dispositivo, hardware o software, capace di trasformare il formato o il supporto [...] da un calcolatore a un altro con diverso sistema operativo. Nel caso di conversione di dati da un forniscono invece, nell'ordine, le cifre binarie dalla più alla meno significativa; se, per es., la cifra binaria in ingresso è 0100, la tensione ...
Leggi Tutto
riporto
Mauro Cappelli
Operazione matematica coinvolta nell’algoritmo dell’addizione in colonna di numeri scritti in una base arbitraria b, richiesta quando l’addizione di unità di un dato ordine eccede [...] ’addizione risulta pertanto 64. Il concetto di riporto assume un’importanza rilevante nell’aritmetica binaria, sistema nel quale sono svole le operazioni fondamentali dei dispositivi digitali (come i microprocessori). In tal caso, ogni volta che la ...
Leggi Tutto
logico
lògico [agg. (pl.m. -ci) Der. del lat. logicus, dal gr. log✄ikós, a sua volta da lógos "discorso, ragio-namento"] [LSF] Che concerne la logica o che è conforme a essa come retto modo di ragionare. [...] e il bicondizionale se e solo se). ◆ [ELT] Dispositivo l.: dispositivo, in partic. circuito elettronico, che effettua operazioni l. binarie (v. oltre); circuiti l. sono largamente usati nei sistemi di elaborazione e di trasmissione dei dati, con ...
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 [...] cioè il loro risultante. ◆ S. logica: (a) [ALG] [FAF] nella logica matematica, lo stesso che congiunzione; (b) [INF] l'operazione logica binaria indicata usualmente con il simb. OR (v. circuiti logici: I 618 c). ◆ [ANM] S. standard: v. trasformazione ...
Leggi Tutto
binariobinàrio [agg. Der. del lat. binarius, da bini "a due a due", e quindi "composto di due unità, di due elementi"] [ELT] [INF] Alfabeto, o codice, b.: codice basato sul sistema di numerazione b. [...] di numerazione b. (v. oltre). ◆ [ALG] Operazione b.: in un insieme I, ogni operazione che coinvolga soltanto due elementi di I. ◆ [ALG] , nella stessa fase oppure in fasi diverse. ◆ [ASF] Stella b. o sistema stellare b.: lo stesso che binaria. ...
Leggi Tutto
operazione
operazióne s. f. [dal lat. operatio -onis, der. di operari «operare»]. – 1. In genere, l’atto dell’operare, l’attività di chi opera, di chi compie un lavoro o un’azione. Nella lingua ant., la parola aveva uso più ampio, riferita...
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....