minimalizzazione

Dizionario delle Scienze Fisiche (1996)

minimalizzazione


minimalizzazióne [Der. di minimalizzare "rendere minimo", da minimale] [ALG] [FAF] Nella logica matematica, procedimento mediante il quale, dato un predicato P, si perviene, mediante un apposito operatore di m. (solitamente denotato con μ), a definire una funzione che indica il minimo valore della variabile predicativa x che verifichi il predicato P; per es., la funzione mcm(a,b), cioè il minimo comune multiplo dei due numeri a, b, può essere individuata, per m., a partire dal valore minimo di x che soddisfi il predicato Pabx "x è multiplo sia di a che di b": cioè μPabx=mcm(a, b).

Vedi anche
ricorsività ricorsività La proprietà di essere ricorsivo, cioè ricorrente. Teoria della ricorsivita, o della ricorsione, o computabilità, la disciplina che si occupa di fornire una caratterizzazione matematica del concetto di algoritmo. 1. Teoria della ricorsività La motivazione originaria per lo studio della ... lògica matemàtica 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 grafici combinabili tra loro (sintassi) o in relazione ... operatore biologia In genetica, tratto di DNA che fa parte di un operone e condiziona la trascrizione dei geni strutturali immediatamente adiacenti (➔ operone). filosofia In filosofia analitica, un’espressione che serve a determinare un’altra espressione. economia Persona che esegue per conto proprio o di ... applicazione matematica Il concetto di applicazione è una generalizzazione del concetto classico di funzione (➔ corrispondenza). Si parla di applicazione di un insieme P in un insieme Q, quando tra i due si stabilisce una corrispondenza del tipo seguente: a ogni elemento di P corrisponde un ben determinato elemento ...
Categorie
Vocabolario
minimaliżżazióne
minimalizzazione minimaliżżazióne s. f. [der. di minimale]. – In logica matematica, particolare tipo di procedimento nel quale si fa uso di un operatore (operatore di m.) che consente di definire in modo opportuno una funzione a partire...