Sillabo dell'insegnamento

• A - Fondamenti
L - Logica
Interpretazioni. Semantica per un linguaggio predicativo. Soddisfacibilità e equivalenze semantiche. Forma normale prenessa e algoritmo di Skolem. Deduzione naturale. Teorema di correttezza. Teorema di completezza. Teorema di compattezza.
L - Logica
Linguaggi del prim'ordine. Predicati, termini, quantificatori. Sintassi. Variabili libere e vincolate.
L - Logica
Ricorsione e induzione strutturale.
L - Logica
Linguaggi proposizionali: sintassi e semantica. Soddisfacibilità; equivalenze semantiche.
L - Logica
Forme normali congiuntive e disgiuntive. Compattezza. Deduzione Naturale. Correttezza e completezza.
L - Logica
Riduzione ad enunciati universali teorema di Herbrand-Skolem. Risoluzione proposizionale. Unificazione. Risoluzione al prim'ordine.