In elettronica e informatica, denominazione internazionale, composta dalla N di NOT e da AND, dell’operazione di inversione (o negazione) del prodotto logico AND tra variabili booleane, della funzione [...] anche del circuito che la realizza. Come avviene per l’altra funzione logica universale NOR, tramite l’uso ripetuto della funzione NAND si realizza qualsiasi funzione binaria; perciò si sono prodotte porte di tale tipo in chip integrati, appartenenti ...
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 [...] una dimostrazione di questo fatto (codificata in una sequenza binaria) che può essere verificata, in tempo polinomiale, da natura è il seguente:
[4] [p] φ
che appartiene alla logica dinamica ed esprime il fatto che, se l'esecuzione del programma ...
Leggi Tutto
logicolò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. [...] con particolare rifer. agli elaboratori elettronici: v. circuiti logici. ◆ [ELT] Famiglia l.: insieme di circuiti più variabili indipendenti xi, l'operazione il cui risultato è una variabile binaria che assume il valore 0 se e solo se tutte le xi ...
Leggi Tutto
linguaggio assembler
Mauro Cappelli
Linguaggio di programmazione le cui istruzioni sono composte da stringhe alfanumeriche corrispondenti in modo biunivoco alle istruzioni elementari dell’unità di elaborazione [...] naturale) e il linguaggio macchina (costituito da una sequenza logica di 0 e 1 comprensibili alla CPU). In realtà, il linguaggio assemblatore viene convertita esattamente in un’istruzione binaria, in linguaggio macchina occorre un programma, l’ ...
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....