Studiare
In questa sezione è possibile reperire le informazioni riguardanti l'organizzazione pratica del corso, lo svolgimento delle attività didattiche, le opportunità formative e i contatti utili durante tutto il percorso di studi, fino al conseguimento del titolo finale.
Piano Didattico
Il piano didattico è l'elenco degli insegnamenti e delle altre attività formative che devono essere sostenute nel corso della propria carriera universitaria.
Selezionare il piano didattico in base all'anno accademico di iscrizione.
1° Anno
Insegnamenti | Crediti | TAF | SSD |
---|
2° Anno Attivato nell'A.A. 2012/2013
Insegnamenti | Crediti | TAF | SSD |
---|
Un insegnamento a scelta (insegnamenti seminariali ad esclusione di Psicologia dell'educazione e Matematica finanziaria)
Insegnamenti | Crediti | TAF | SSD |
---|
Insegnamenti | Crediti | TAF | SSD |
---|
Un insegnamento a scelta (insegnamenti seminariali ad esclusione di Psicologia dell'educazione e Matematica finanziaria)
Insegnamenti | Crediti | TAF | SSD |
---|
Legenda | Tipo Attività Formativa (TAF)
TAF (Tipologia Attività Formativa) Tutti gli insegnamenti e le attività sono classificate in diversi tipi di attività formativa, indicati da una lettera.
Logica matematica (lm) (2011/2012)
Codice insegnamento
4S02805
Docente
Coordinatore
Crediti
6
Lingua di erogazione
Italiano
Settore Scientifico Disciplinare (SSD)
MAT/01 - LOGICA MATEMATICA
Periodo
II semestre dal 1 mar 2012 al 15 giu 2012.
Obiettivi formativi
La computazione e l'elaborazione della conoscenza si basano sulla distinzione tra sintassi e semantica. L'obiettivo d questo insegnamento e' studiare la relazione tra sintassi e semantica mostrando le potenzialita' e i limiti dei linguaggi formali.
Programma
Linguaggi del primo ordine, validita' e completezza. Teorema di compattessa e rafforzamento del teorema di completezza. Il problema della decidibilita' del controllo sintattico della validita'. I teoremi di Lowenheim - Skolem e teorie non categoriche. Paradosso di Skolem. Categoricita' della teoria di una struttura finita. Alberi di confutazione per linguaggi numerabili. Sequenti, deduzione naturale e l'analisi sintattica della validita'. Deduzione alla Hilbert e i relativi teoremi di validita' e completezza. Calcolo proposizionale. Logiche di ordine superiore. Accenno alle logice non classiche. Introduzione ai teoremi di incompletezza di Goedel.
Modalità d'esame
Prova scritta a domande aperte, ed eventuale orale.