TIPI DI DATO

Un tipo di dato T è definito come:

• un dominio di valori, D

• un insieme di funzioni F1,..,Fn sul dominio D

• un insieme di predicati P1,..,Pm sul dominio D

T = { D, {F1,...,Fn}, {P1,...,Pm} }

Diapositiva successiva

Torna alla prima diapositiva

Visualizza versione grafica