Logica Proposizionale
Mercoledì 14 Ottobre: Introduzione al corso. Il concetto di conseguenza logica. Operatori booleani, proposizioni, tavole di verità.
Venerdì 16 Ottobre: Conseguenza logica, verità logica, soddisfacibilità. Proprietà elementari della conseguenza logica. Implicazione e doppia implicazione.
Mercoledì 21 Ottobre: Completezza funzionale. Forme normali congiuntive e disgiuntive. Caratterizzazione della soddisfacibilità.