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.
Venerdì 14 Novembre: Linguaggio predicativo. Termini, formule atomiche, formule. Strutture. Soddisfazione di una formula in una struttura.
Per gli studenti che non possono raggiungere l'Università a causa dello sciopero dei trasporti rendo disponibili le registrazioni di due lezioni su argomento analogo dell'a.a. 2021/22: Lezione 1 (dal minuto 50 ca.), Lezione 2.
Lunedì 17 Novembre: Teorema di isomorfismo di Cantor per (Q, <). Metodo back-and-forth. La teoria DLO.
Venerdì 21 Novembre: Isomorfismi tra strutture. Equivalenza elementare. L'isomorfismo implica l'equivalenza elementare. La Proprietà del Testimone.
Lunedì 24 Novembre: Equivalenza elementare di (R, <) e (Q, <). Generalizzazione a strutture arbitrarie. Teorema di Skolem-Lowenheim all'ingiù.
Lunedì 28 Novembre: Equivalenza elementare e isomorfismo nel finito. Teorie categoriche. Criterio di Los-Vaught. Sottostrutture elementari.
Lunedì 1 Dicembre: Calcolo dei predicati. Teorema di Deduzione. Correttezza. Teorema di Completezza: formulazioni equivalenti.