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
tavola
tàvola [Der. del lat. tabula] [LSF] Termine usato con i signif. di tabella, di cui è allora sinonimo. ◆ [ASF] T. astronomiche: tabelle di dati astronomici, spec. di effemeridi di astri. ◆ [ANM] [...] ha per primo elemento gk si scrive il prodotto ghgk. ◆ [ALG] [FAF] T. di verità: mostra il risultato di un'operazione logicabinaria ("vero" e "falso" oppure 0 e 1) in funzione dei valori dei termini; per le t. di verità delle principali operazioni ...
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
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
L'Ottocento: fisica. Chimica e fisica nella prima meta del secolo
Ursula Klein
Chimica e fisica nella prima metà del secolo
Nella prima edizione dell'Encyclopaedia Britannica (1768-1771) alla voce Atom [...] anni del XIX sec. concepivano i sali come composti binari di un acido e di una base, entrambi sotto forma 4 atomi dell'altra, e così via: "è contrario a una sana logica rappresentare un singolo atomo composto del prim'ordine, come costituto di due o ...
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....