INFORMAZIONI SU
Logica matematica
Programma dell'insegnamento - Corso di laurea in Informatica
Docente
- Prof. Alberto Marcone
Indirizzo e-mail
alberto.marcone@uniud.it
Indirizzo Pagina Web Personale
http://www.dimi.uniud.it/members/alberto.marcone/
Crediti
6 CFU
Finalità
Lo scopo del corso è quello di acquisire gli elementi di base della logica matematica, con particolare attenzione ai metodi algoritmici.
Programma
Calcolo preposizionale: sintassi, soddisfacibilità e conseguenza logica, trasformazione in forma normale congiuntiva o disgiuntiva, tableaux semantici, deduzione naturale.
Calcolo dei predicati: sintassi, soddisfacibilità e conseguenza logica, relazioni tra interpretazioni e logica con uguaglianza, tableaux semantici, deduzione naturale.
Traduzione dal linguaggio naturale al linguaggio formale.
Bibliografia
Dispense del docente
Modalità d'esame
Prova scritta e prova orale