Logica matematica 2

L'insegnamento si propone di fornire agli/alle studenti/studentesse una comprensione degli aspetti generali più importanti della Teoria dei Modelli, così da permettere in seguito un'eventuale prosecuzione degli studi in Logica in settori più specifici.

Al termine dell'insegnamento lo/la studente/studentessa dovrà essere in grado di riconoscere i modelli di una teoria logica, identificando quelli con ulteriori
proprietà specifiche. Dovrà altrestì essere in grado di astratte la struttura logica da strutture esplicite. Apprendendo gli argomenti generali di Teoria dei Modelli,al termine del corso lo/la studente/studentessa sarà in grado di proseguire con lo studio autonomo di argomenti più specifici di Logica Matematica.