Attività del Corso

28 Ottobre 2002 (15-16)

Introduzione
Segnature
Lucidi LEZ1.ppt.

29 Ottobre 2002 (11-13)

Algebre
Formule
Validità
Lucidi LEZ2.ppt.

4 Novembre 2002 (14-16)

Completamento della logica
Specifiche
Lucidi LEZ3.ppt.

5 Novembre 2002 (11-13)

Sistema deduttivo
Specifica delle mappe finite (inizio)
Lucidi LEZ4.ppt.

8 Novembre 2002 (9-10)

Continuazione esercizi sulle mappe finite

11 Novembre 2002 (14-16)

Continuazione esercizi sulle mappe finite
Questa presentazione Powerpoint contiene quanto fatto fino ad ora riguardo alle mappe revisionato MAPPE.ppt.

18 Novembre 2002 (14-16)

Modello iniziale
Lucidi INIZIALE1.ppt.

25 Novembre 2002 (14-16)

Esercizi sul modello iniziale

2 Dicembre 2002 (14-16)

Esercizi sul modello iniziale
Lucidi MAPPEiniziale.ppt.

9 Dicembre 2002 (14-16)

Esercizi sulle specifiche algebriche
Lucidi ESERCIZI.ppt.

Ultima modifica: 8 Dicembre 2002