valore
valore termine generico che può assumere diversi significati.
☐ In ambito algebrico o analitico, in termini elementari, si dice valore di una grandezza o di una variabile il numero che esprime [...] di ciascuno degli autovalori non nulli della matrice AA*, essendo A* la trasposta coniugata di A.
☐ Nell’ambito della logica degli enunciati (binaria) il valore di una formula ben formata è il suo valore di verità che può essere V (da intendersi come ...
Leggi Tutto
exor
exor in logica, operazione definita in un’algebra di Boole, talvolta indicata anche con xor. Data una coppia di variabili booleane a e b, tali cioè da poter assumere solo i valori 0 e 1, l’exor [...] un’operazione binaria, indicata con il simbolo ⊕: (a, b) → {0, 1}. Il risultato a ⊕ b è uguale a 1 nel caso in cui una sola delle due variabili sia uguale a 1, mentre è uguale a zero negli altri casi.
Dal punto di vista della logica degli enunciati ...
Leggi Tutto
fisica Cariche m. I portatori di carica elettrica presenti in un semiconduttore (➔) estrinseco per effetto del drogaggio; sono di conseguenza cariche m. gli elettroni per i semiconduttori di tipo n, le [...] lacune per quelli di tipo p. Funzione m. Nella logica elettronica, è la funzione binaria che assume valore logico 1 solo in corrispondenza delle configurazioni in cui la maggior parte delle variabili indipendenti (in numero superiore a due) hanno ...
Leggi Tutto
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
MODELLI, Teoria dei (App. III, 11, p. 139)
Giulio Supino
Alberto Pasquinelli
Aldo Marruccelli
In questi ultimi 15 anni (1960-75) la t. dei m. si è sviluppata secondo due ordini di idee del tutto opposti. [...] :
Il linguaggio L di G ha i simboli non logici + e 0. Interpretiamo L sulla struttura costituita dall'insieme Z dei numeri interi relativi, dall'operazione di addizione ordinaria (per la funzione binaria +) e dalla costante zero (per il simbolo 0). I ...
Leggi Tutto
STRUTTURA
Natale Gucci
Mario Como
Roberto Capra
Paolo Zellini
(App. II, II, p. 923; III, II, p. 857; IV, III, p. 504)
Ingegneria civile. Strutture di acciaio. - Le più recenti applicazioni delle [...] vista una prova dei limiti intrinseci del formalismo logico. Tra le questioni di carattere epistemologico legate alle Arbib. Per monoide s'intende un insieme E con un'operazione binaria associativa e con un elemento neutro. Un monoide in cui ogni ...
Leggi Tutto
MUSICA
Gastone ROSSI-DORIA
Alfredo BONACCORSI
Luigi RONGA
. Una distinzione netta tra musica popolare e musica dotta (o d'arte, o aulica, ecc.) ha maggiori probabilità di concretezza quando, rinunziando [...] o meno in relazione fra loro. La canzone italiana generalmente è binaria come nella forma classica (A-A1, oppure A-B) e e sembra scritto di gètto: la seconda frase è una logica modificazione della melodia della prima. Le due frasi del secondo esempio ...
Leggi Tutto
MEMORIA
Alberto Oliverio
Bruno Antonini
(XXII, p. 829; App. IV, II, p. 428)
Neurobiologia. - Oggi esiste un consenso generale sul fatto che i processi mnestici rispondano a un passaggio dalla m. a [...] dell'apprendimento, non sarebbero localizzate e risulterebbero da una logica in parallelo in quanto coinvolgono più nuclei e piani .). Si dice cella la parte di m. che contiene una cifra binaria (bit). Una m. può essere ad accesso casuale (RAM, Random ...
Leggi Tutto
MADRIGALE
Gaetano CESARI
*
Non è ben sicura l'etimologia del nome. Per tacere di altre meno probabili, presenta difficoltà fonetiche l'ipotesi che risale già ad Antonio da Tempo ed è accettata dalla [...] alle nuove teorie proporzionali di Marchetto da Padova, ove la binaria divisio viene ammessa, con parità di diritti, accanto alla talvolta applicati con una logica soltanto relativa nella condotta delle voci ma con logica stringente di fronte alla ...
Leggi Tutto
predicato
predicato in logica, espressione di una proprietà o di una relazione relativa a una o più costanti o variabili che ne costituiscono gli argomenti. I predicati traducono in espressioni simboliche [...] al quadrato di un numero (Q(x) = x 2) e G(x, y) il predicato binario «x è maggiore o uguale a y», la forma predicativa G(Q(x), 0) corrisponde alla riscrivere una forma predicativa in una forma logicamente equivalente che però abbia come primi simboli ...
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....