Logica matematica 1

L'insegnamento si propone di introdurre gli argomenti di base della Logica Matematica, permettendo così di apprendere la relazione tra la parte sintattica della Logica, riguardante il calcolo deduttivo, e la parte semantica, riguardante i modelli matematici.

Al termine dell'insegnamento si dovrà essere in grado di conoscere la relazione tra conseguenza logica e verità semantica, saper fare dei calcoli deduttivi, conoscere e applicare i teoremi di completezza e compattezza, riconoscere le funzioni ricorsive, conoscere la relazione tra ricorsività e rappresentabilità logica, conoscere le principali teorie dell'aritmetica e comprendere i risultati limitativi di Gödel.