Post, sistema di
Post, sistema di in logica, uno dei modelli sviluppati per proporre una definizione matematica del concetto intuitivo di → funzione calcolabile; altri modelli, tutti tra loro equivalenti, [...] un sistema di Post è costituito da:
• un insieme S di simboli, detto alfabeto;
• un insieme X di variabili;
• una relazione binaria finita e non vuota ρ che associa a una stringa u, detta antecedente, una stringa ν, detta conseguente.
In simboli u ρ ...
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
ordine
Dato un insieme qualsiasi è possibile organizzare i suoi elementi secondo una certa regola (o relazione) che definisce un ordine degli elementi nell’insieme. Si chiamano relazioni d’o. (o semplicemente [...] che determinano l’ordinamento di un insieme. Dato un insieme A e una relazione binaria R in A, R è una relazione di o. parziale, se è antisimmetrica livelli di logica. La logica dei predicati del primo o., per es., è la logica dei linguaggi ...
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
spinLED
<-lèd> s. m. – Diodo che emette luce a base spin. Si tratta di un dispositivo con forti aspettative di diffusione, soprattutto come sorgente di segnali per le telecomunicazioni. Il meccanismo [...] iniezione avviene mediante un elettrodo ferromagnetico. Al posto dell’usuale codifica binaria dei bit con LED convenzionali (luce sì, 1; luce , 0), con lo s. si può avere una logica a 3 livelli agendo sulla magnetizzazione del ferromagnete: nessuna ...
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....