- Oggetto:
- Oggetto:
Logica Matematica (DM 509) - a.a. 2010/11
- Oggetto:
Anno accademico 2010/2011
- Codice dell'attività didattica
- MFN0159
- Docente
- Prof. Domenico Zambella (Titolare del corso)
- Corso di studi
- Laurea in Matematica
- Anno
- 3° anno
- Periodo didattico
- Primo semestre
- Tipologia
- D.M. 509
- Crediti/Valenza
- 5
- SSD dell'attività didattica
- MAT/01 - logica matematica
- Oggetto:
Sommario insegnamento
- Oggetto:
Obiettivi formativi
Capacità di formalizzare semplici proprietà nei linguaggi del prim'ordine. Familiarità con la nozione di equivalenza elementare.
- Oggetto:
Risultati dell'apprendimento attesi
Familiarietà con formule del prim'ordine.
- Oggetto:
Programma
- Linguaggi del prim'ordine e strutture del prim'ordine.
- Termini, formule insiemi definibili.
- Teorie, equivalenza elementare e le sottostrutture elementari.
- Cenni di analisi non standard.
- Reticoli e algebre di Boole.
- Filtri, ultrafiltri, e dualità di Stone.
- Ultraprodotti e ultrapotenze.
- First-order structures and first-order structures.
- Terms, formulas, definable sets.
- Theories, elementary equivalence, elementary substructures.
- Non-standard analysis.
- Lattices and Boolean algebras.
- Filter, ultrafilters, and Stone's duality.
- Ultraproducts and ultrapowers.
Testi consigliati e bibliografia
- Oggetto:
Dispense dli docente.
- Oggetto:
Note
LOGICA MATEMATICA, MFN0159 (DM509), 5 CFU: 5 CFU, MAT/01, TAF G (CFU di sede), Ambito aggregato per crediti di sede Modalità di verifica/esame: Scritto.
- Oggetto:
Altre informazioni
http://www.matematica.unito.it/cgi-bin/home.pl/View?doc=Orario_LT.html- Oggetto:
