Lunedì 29 Settembre: Introduzione al corso. Il concetto di conseguenza logica. Operatori booleani, proposizioni, tavole di verità.
Venerdì 3 Ottobre: Lezione cancellata causa sciopero.
Lunedì 6 Ottobre: Linguaggio proposizionale, proposizioni, assegnamento. Soddisfacibilità, verità logica, conseguenza logica.
Venerdì 10 Ottobre: Completezza funzionale. Forme normali disgiuntive e congiuntive. Caratterizzazione della soddisfacibilità di une teoria.
Lunedì 13 Ottobre: Formalizzazioni in Logica Proposizionale. Colorabilità di grafi. Principio dei Cassetti.
Venerdì 17 Ottobre: Formalizzazioni in Logica Proposizionale (ordini). Teorema di Compattezza. Equivalenza delle due formulazioni.
Lunedì 20 Ottobre: Dimostrazione del Teorema di Compattezza proposizionale.
Venerdì 24 Ottobre: Applicazioni della Compattezza.
Lunedì 27 Ottobre: Lemma di Konig. Conseguenze algoritmiche della Compattezza.
Venerdì 31 Ottobre: Derivazioni formali. Assiomi e regole di inferenza. Calcolo Proposizionale. Teorema di Deduzione.
Lunedì 3 Novembre: Teorema di Completezza Proposizionale.
Venerdì 7 Novembre: LEZIONE CANCELLATA.
Lunedì 10 Novembre: Teorema di Completezza Proposizionale. Introduzione alla Logica dei Predicati.