Vai al contenuto principale
Coronavirus: aggiornamenti per la comunità universitaria / Coronavirus: updates for UniTo Community
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:
Ultimo aggiornamento: 28/08/2007 10:59

Non cliccare qui!