trivalente
trivalènte agg. [comp. di tri- e valente]. – 1. In chimica: a. Di atomo o radicale che ha valenza tre. b. Di composto contenente tre volte un gruppo funzionale (per es., la glicerina è un [...] di tre cromosomi durante la meiosi, come per es. avviene nei soggetti trisomici o nei triploidi. 4. In matematica, logica t., logica che prevede tre valori di verità, nella quale cioè una proposizione può essere o vera o falsa o indeterminata ...
Leggi Tutto
estensionale
agg. [der. di estensione]. – In logicamatematica, che è proprio, che si riferisce all’estensione (in contrapp. a intensionale): logica e., v. logica. ...
Leggi Tutto
ricorsivita
ricorsività s. f. [der. di ricorsivo]. – In matematica e in logicamatematica, la proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., teoria matematica che si propone lo studio, [...] nell’ambito dei numeri naturali, di tutti i procedimenti effettivi (v. ricorsivo) ...
Leggi Tutto
ricorsivo
agg. [der. di ricorrere]. – In matematica e in logicamatematica, sinon. di ricorrente (nel sign. 3 c); in partic., nella teoria della ricorsività, funzioni r. primitive, quelle che si possono [...] funzioni iniziali mediante un numero finito di applicazioni delle regole di sostituzione e di induzione. Con altro sign., in matematica e in informatica, procedura r., algoritmo r., quelli che sono formulati con un esplicito riferimento a sé stessi ...
Leggi Tutto
valore
valóre s. m. [dal lat. tardo (in glosse) valor -oris, der. di valere: v. valere]. – 1. Riferito a persona indica: a. Possesso di alte doti intellettuali e morali, o alto grado di capacità professionale: [...] che si attribuisce a un numero relativo n prescindendo dal suo segno positivo o negativo, di norma indicato col simbolo |n|. In logicamatematica, v. di verità, la qualifica di vero (V) o falso (F) che si applica a una proposizione o a una formula ...
Leggi Tutto
zero
żèro agg. e s. m. [dal lat. mediev. zèphyrum, adattam. (Leonardo Fibonacci nel Liber abbaci, 1202) dell’arabo ṣifr «nulla, zero», calco del sanscr. śūnyá «vuoto» e poi «zero» (v. anche cifra)]. [...] dei due simboli (cifre) nel sistema di rappresentazione binaria e nella rappresentazione binaria dell’informazione. Analogamente, in logicamatematica, è talvolta usato come simbolo del valore di verità falso (in contrapp. a uno). b. Più in generale ...
Leggi Tutto
logistica
logìstica s. f. [femm. sostantivato dell’agg. logistico, sottint. arte; cfr. il gr. λογιστική (sottint. τέχνη) «arte del computare»]. – 1. Per i pitagorici, la semplice pratica delle operazioni [...] numeri; oggi il termine aritmetica designa entrambe le cose, mentre logistica è sinon., anche se usato raramente, di logicamatematica. 2. a. Sezione dell’arte militare che provvede a garantire l’efficienza di tutto l’apparato bellico, organizzando ...
Leggi Tutto
fuzzy
‹fḁ′∫i› agg., ingl. (propr. «confuso, sfocato, indistinto»). – In matematica, insieme f., insieme al quale alcuni elementi appartengono soltanto in modo parziale, nel senso che per essi manca un [...] ottiche e nella descrizione di sistemi complessi, quali, per es., quelli per descrivere certe funzioni degli organismi viventi. Logica f., quella in cui si accettano anche valori di verità intermedî tra il vero e il falso, usata principalmente ...
Leggi Tutto
OR
‹òo›, all’ital. ‹òr› cong., ingl. – Voce corrispondente alla cong. disgiuntiva ital. o, talora usata, con valore di sost. e in funzione appositiva, in logicamatematica per indicare l’operazione di [...] di due o più variabili binarie (operazione OR); OR esclusivo, operazione logica (detta anche non equivalenza o, in simbolo, XOR) tra due o più variabili binarie, il cui risultato è nullo se e solo se tutte le variabili hanno lo stesso valore. In ...
Leggi Tutto
deduzione
deduzióne s. f. [dal lat. deductio -onis, der. di deducĕre «dedurre»]. – 1. Termine tecnico usato dai Romani per indicare la fondazione di una colonia. 2. L’atto o il processo tramite il quale [...] , per taluno) come il ragionamento che giunge a proposizioni particolari partendo da proposizioni generali. b. In logicamatematica, l’operazione (detta anche derivazione o dimostrazione) con la quale, in un sistema deduttivo, si ottiene ...
Leggi Tutto
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono essere considerate formalmente come oggetti...