- Oggetto:
- Oggetto:
Istituzioni di Logica Matematica
- Oggetto:
Anno accademico 2006/2007
- Codice dell'attività didattica
- S8515
- Docente
- Prof. Alessandro Andretta
- Corso di studi
- Laurea Magistrale in Matematica
- Anno
- 4° anno 5° anno
- Periodo didattico
- Primo semestre
- Tipologia
- A scelta dello studente
- Crediti/Valenza
- 7
- Oggetto:
Sommario insegnamento
- Oggetto:
Programma
Il programma si articola in tre parti distinte: teoria degli insiemi, teoria dei modelli,
teoria della ricorsivita'.
Teoria degli insiemi:
Assiomi,
Buoni ordini e ordinali,
Induzione e definizioni per ricorsione,
Assioma di Scelta e Lemma di Zorn,
Cardinali,
Algebre di Boole
Teoria dei modelli:
Linguaggi e formule,
Strutture e modelli,
Teorie del prim'ordine,
Ultraprodotti,
Il teorema di compattezza e sue applicazioni,
Sistemi assiomatici e derivazioni,
Il teorema di completezza,
Teoria della ricorsivita':
Funzioni primitive ricorsive
Funzioni ricorsive parziali,
Il teorema di forma normale,
Insiemi ricorsivi e ricorsivamente eunmerabili.Testi consigliati e bibliografia
- Oggetto:
- Dispense a cura del docente
Gli studenti possono inoltre consultare i seguenti testi:
MONK, Introduzione alla teoria degli insiemi, Boringhieri
CHANG & KEISLER, Teoria dei modelli, Boringhieri
ROGERS, Theory of recursive functions and effective computability, MIT Press - Oggetto:
