Fondamenti - LOGICA (2011/2012)

Codice insegnamento
4S02789
Docente
Andrea Masini
crediti
6
Settore disciplinare
INF/01 - INFORMATICA
Lingua di erogazione
Italiano
Sede
VERONA
Periodo
I semestre dal 3-ott-2011 al 31-gen-2012.

Per visualizzare la struttura dell'insegnamento a cui questo modulo appartiene, consultare * organizzazione dell'insegnamento

Orario lezioni

I semestre
Giorno Ora Tipo Luogo Note
martedì 8.30 - 11.30 lezione Aula I  
venerdì 11.30 - 13.30 lezione Aula I dal 10-ott-2011  al 31-gen-2012

Obiettivi formativi

Il corso si propone di introdurre la logica matematica. Verranno introdotti e approfonditi i principali metodi semantici (teoria dei modelli) e sintattici (calcolo dei sequenti) per la logica dei predicati del primo ordine.

Programma

Strutture e Linguaggio del Primo Ordine:
connettivi,variabili, quantificazione. Semantica di Tarski del linguaggio del primo ordine. Concetto di modello. Identità.

Teoria dei Modelli:
omomorfismi, equivalenza elementare, strutture e sottostrutture.

Teoria della dimostrazione:
Il problema dell’assiomatizzazione. Il calcolo dei sequenti LK. L'eliminazione del taglio. Proprietà della sottoformula e consistenza del calcolo puro dei predicati. Eliminazione del taglio per teorie matematiche del I ordine.

Semantica e Sintassi a confronto: Teroremi di correttezza, e completezza. Teorema di compattezza. Teoremi di Löwenheim-Skolem (Upward e Downward)

Modalità d'esame

Prova scritta.

Materiale didattico

Documenti