DEFINIRE LA PARTE DI CONTROLLO
Osservazione: le tre funzioni mfn() sfn() dfn() hanno il medesimo dominio A x S
dove A e S sono insiemi finiti.
Quindi, le tre funzioni possono essere definite in forma estensionale tramite tabelle, elencandone tutti i possibili valori.
Diapositiva precedente | Diapositiva successiva | Torna alla prima diapositiva | Visualizza versione grafica |