unita
unità [Der. del lat. unitas -atis "l'essere uno solo"] [LSF] Ciascuna delle parti identificabili in un sistema. ◆ [ALG] Il numero 1, fondamento della numerazione. ◆ [ELT] [INF] Nella tecnica dei [...] ogni parte che svolga una funzione ben definita: u. aritmetica-logica, di controllo, di ingresso e uscita, ecc.: v. decimale. ◆ [ALG] Elemento u.: relativ. a una data operazione binaria, un elemento neutro rispetto a tale operazione. ◆ [ALG] Matrice ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] decidibile; cioè, esiste un algoritmo che, data una formula della logica del primo ordine nel linguaggio di tali strutture, stabilisce in un per individuare i due stati che rappresentano l'unità binaria. Il cambio di polarità si verifica per il ...
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
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] trasferire queste proprietà alla geometria, formulando in termini logici generali la procedura che sta alla base della visti come strutture 〈D,R〉, dove R è una relazione binaria. I grafi sono divenuti particolarmente importanti dopo che nel 1981 Alan ...
Leggi Tutto
reticolo
retìcolo [Der. del lat. reticulum o reticulus, dim. di rete] [LSF] Sinon. di rete e di reticolato, usato in alcune espressioni tecniche per indicare una struttura che abbia aspetto di rete bi- [...] s'introducono due opportune leggi di composizione binaria, che godono di proprietà simili a quelle r. di Rowland (v. oltre). ◆ [FAF] R. completo e σ-completo: v. logica quantistica: III 487 f. ◆ [FML] [FSD] R. cristallino: il sistema ordinato di punti ...
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
antisimmetria
antisimmetrìa [Comp. di anti- e simmetria "la proprietà di essere antisimmetrico"] [ALG] [LSF] Termine che può assumere significati diversi a seconda del contesto: per es., v. solidi, livelli [...] elettronici nei: V 348 e; forze nucleari: II 692 c; statistiche quantistiche: V 604 c. ◆ [FAF] Nella logica, proprietà di una relazione binaria R tra gli elementi di un insieme tale che non possono mai valere contemporaneamente le relazioni aRb e bRa ...
Leggi Tutto
diadico
diàdico [agg. (pl.m. -ci) Der. di diade "relativo a una coppia, binario"] [ALG] Numerazione d.: lo stesso che numerazione binaria. ◆ [ALG] Operazione d., o binaria: operazione mediante la quale [...] di elementi di un insieme si fa corrispondere un elemento del medesimo insieme. ◆ [ALG] [FAF] Predicato d.: nella logica matematica, qualsiasi predicato che si riferisca a due individui. ◆ [ALG] [FAF] Relazione d.: relazione tra due soli elementi ...
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....