Fornire le nozioni di base della logica matematica e della teoria della dimostrazione.
Programma di Massima
- Calcolo proposizionale.
- Validità logica. Tavole della verità. Tautologie.
- Tableaux proposizionali.
- Sistemi deduttivi:
- Sistemi assiomatici alla Hilbert.
- Deduzione naturale.
- Calcolo dei sequenti.
- Corretteza e completezza.
- Calcolo dei Predicati del prim'ordine.
- Tableaux per la logica del prim'ordine.
- Assiomi per i quantificatori.
- Regole per i quantificatori in deduzione naturale e calcolo dei sequenti.
- Corretteza e completezza.
- Skolemizzazione
- Nozioni di base di teoria dei modelli.
- Logica Intuizionista.
- Riduzioni ed eliminazione del taglio.
- Isomorfismo Curry-Howard.
- Teorema di eliminazione del taglio.
- Sistemi di ordine superiore.
- Risultati limitativi.
- Introduzione alla Logica Lineare.
Materiale didattico e testi di riferimento
Da definire
Lezioni
Le lezioni si tengono nell'Aula Alfa di Via Salaria, 113 con orario
mercoledì 17.00-19.00
venerddì 17.00-19.00
ATTENZIONE!
D'accordo con i partecipanti al corso, si è deciso di accorpare
le lezioni e di svolgere un'unica lezione di 3 ore effettive cor orario
mercoledì 16.00-19.00
Calendario lezioni ed esercitazioni
Il calendario delle lezioni sostenute e dei contenuti affrontati è
disponibile alla pagina
Da completare.
Ricevimento studenti
Mercoledì dalle 12.00 alle 13.00 al Dipartimento di Informatica (stanza 345a).
Modalità di esame
Da definire.
Stefano Guerrini <guerrini@dsi.uniroma1.it>