Logica matematica 1

Conoscenza di un calcolo per la logica del primo ordine; capacità di
formalizzare dimostrazioni (in particolare, di lavorare in una teoria
formale dei numeri).
Per il complemento da 3 crediti: introdurre i metodi dell'analisi nonstandard.

Conoscenza delle principali tecniche di completezza semantica;
conoscenza dei risultati limitativi di Godel e Church.
Per il complemento da 3 crediti: conoscere la definizione di ultrafiltro e ultraprodotto, il Teorema di Los, i modelli dell'analisi nonstandard e loro proprietà.