Docente

Prof. Alberto Marcone alberto.marcone@uniud.it

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.