Teoria della Dimostrazione
Laurea Specialistica in Informatica
Anno Accademico 2003/04

Stefano Guerrini

• Obiettivi e programma del corso
  Programma di massima

• Materiale didattico e testi di riferimento

• Lezioni
  Calendario lezioni ed esercitazioni
  

• Ricevimento studenti

• Modalità di esame

Obiettivi e programma del corso

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.