Schema della sezione

    • Alla fine della presentazione del calcolo delle relazioni diadiche (vedi lezione dell'8 marzo), ho aggiunto la soluzione di due esercizi che vi erano stati proposti.

    • Introduzione alla logica predicativa del prim'ordine. (Dispensa) File PDF