Completezza della procedura di Davis-Putnam per la logica booleana. Il problema della decisione di Hilbert. Semantica herbrandiana e tarskiana. Skolemizzazione. Metodo refutazionale. Deduzioni valide e non valide. Teorema di completezza di Goedel. Teorema di Loewenheim, compattezza della logica dei predicati con eguaglianza.
Competenze acquisite: la costruzione di refutazioni e domostrazioni formali nella logica proposizionale e predicativa
Capacità acquisite al termine del corso: L’uscita dall’analfabetismo logico, cosi’ comune tra i matematici. Capacita’di scrivere dimostrazioni formali, anche come oggetti grafici. Conoscenza dei teoremi di Goedel, di compattezza e completezza
Metodi Didattici
Numero di ore totali del corso: 225
Numero di ore per studio personale e altre attività formative di tipo individuale: 153
Numero di ore relative alle attività in aula: 72
Altre Informazioni
Frequenza delle lezioni ed esercitazioni:
Non obbligatoria
Strumenti a supporto della didattica: dispense aggiuntive sul “passo di calcolo”