INFORMAZIONI SU

Logica matematica

Programma dell'insegnamento di Logica matematica - Corso di laurea in Informatica (2013/14)

Docente

Prof. 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