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 da una funzione o da un predicato dati e che si risolve, intuitivamente, nella ricerca del più piccolo x tale che risulti vero l’enunciato px.