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