Analisi matematica. Algebra elementare.
Il corso si propone di introdurre lo studente al formalismo logico (sintassi, semantica, deduzione formale) ed alle nozioni e ai risultati fondamentali della teoria dei modelli.
Introduzione alla logica matematica proposizionale e del primo ordine. Introduzione alla teoria dei modelli. Introduzione ai teoremi di incompletezza.
Dispense del docente. H. B. Enderton. A Mathematical Introduction to Logic. Harcourt/Academic Press, San Diego
Lezione frontlale . Esercitazioni orali e scritte
Esame finale orale con domande sui teoremi e le dimostrazioni del corso. Lo sudente deve dimostrare anche di saper risolvere esercizi sugli argomenti del corso. Nessuna prova intermedia.
nulla