realizzazione
realizzazióne [Atto ed effetto del realizzare "rendere reale, fare", da reale] [ALG] [FAF] Nella logica matematica è, talvolta sinon. di modello. ◆ [ELT] Nella teoria dei sistemi, la determinazione di una struttura del sistema che sia compatibile con un suo assegnato comportamento esterno: v. sistemi, teoria dei: V 321 e. ◆ [ALG] [FAF] R. di una teoria formale: nella logica matematica, l'interpretare i concetti indeterminati di una teoria su concetti specifici di una struttura in modo tale che tutti gli enunciati dimostrabili del sistema formale risultino asserzioni vere nella struttura: se una r. di questo genere esiste si dice anche che il sistema formale è realizzabile. ◆ [MCS] R. disgiunta: v. percolazione: IV 495 d. ◆ [ELT] R. minima: v. sistemi, teoria dei: V 321 f. ◆ [ANM] Problema della r.: v. controlli, teoria dei: I 751 f.