Sillabo dell'insegnamento

• A - Fondamenti
L - Logica
+ DS-BL - Basic Logics
Interpretazioni. Semantica per un linguaggio predicativo. Soddisfacibilità e equivalenze semantiche. Forma normale prenessa e algoritmo di Skolem.
L - Logica
+ DS-BL - Basic Logics
Linguaggi del prim'ordine. Predicati, termini, quantificatori. Sintassi. Variabili libere e vincolate.
L - Logica
+ DS-PT - Proof Techniques
Ricorsione e induzione strutturale.
L - Logica
+ DS-BL - Basic Logics
Linguaggi proposizionali: sintassi e semantica. Soddisfacibilità; equivalenze semantiche.
L - Logica
+ DS-PT - Proof Techniques
Forme normali congiuntive e disgiuntive. Compattezza. Deduzione Naturale. Correttezza e completezza.
L - Logica
+ DS-PT - Proof Techniques
Deduzione naturale. Teorema di correttezza. Teorema di completezza. Teorema di compattezza.