- Oggetto:
- Oggetto:
Elementi di Logica Matematica (DM 270) - a.a. 2013/14
- Oggetto:
Elements of mathematical logic
- Oggetto:
Anno accademico 2013/2014
- Codice dell'attività didattica
- MFN1416
- Docente
- Prof. Domenico Zambella (Titolare del corso)
- Corso di studi
- Laurea in Matematica
- Anno
- 3° anno
- Periodo didattico
- Primo semestre
- Tipologia
- D.M. 270 TAF F - Altre attività
- Crediti/Valenza
- 3
- SSD dell'attività didattica
- MAT/01 - logica matematica
- Modalità di erogazione
- Mista
- Lingua di insegnamento
- Italiano
- Modalità di frequenza
- Facoltativa
- Tipologia d'esame
- Scritto
- Prerequisiti
- I corsi del primo e del secondo anno.
- Oggetto:
Sommario insegnamento
- Oggetto:
Obiettivi formativi
Introdurre gli studenti alla logica del prim'ordine: la sintassi e la semantica.
- Oggetto:
Risultati dell'apprendimento attesi
Lo studente saprà formalizzare semplici espressoni nel linguaggio del prim'ordine. Avrà famigliarietà con il concetto di estesnioe non standard e con il metodo degli ultraprodotti.
- Oggetto:
Attività di supporto
Esercizi assegnati da svoglere a casa e corretti dal docente.
- Oggetto:
Programma
Strutture e linguaggi del prim'ordine.
Termini, formule, insiemi definibili.
Teorie, elementarità.
Test di Tarski-Vaught e teorema di Löwenheim-Skolem all'ingiù.
Cenni di analisi non standard.
Gli assiomi della teoria degli insiemi (ZF).
First-order structures.
Terms, Formulas, definable sets.
Theories and elementarity.
Tarski-Vaught test and downward Löwenheim-Skolem theorem.
Elements of non standard analisys.
The axioms of set theory (ZF)
Testi consigliati e bibliografia
- Oggetto:
Dispense del docente.
- Oggetto:
Note
Elementi di Logica Matematica, MFN1416 (DM270), 3 CFU: 3 CFU MAT/01, TAF F (Altre attività), Ambito Altre conoscenze utili per l'inserimento nel mondo del lavoro.
Modalità di verifica/esame: L’esame consiste di una prova scritta in cui si richiede di risolvere alcuni problemi ed esporre argomenti trattati a lezione.
Valutazione con VOTO (regolamento coorte 2011-12)
- Oggetto:
Altre informazioni
http://www.personalweb.unito.it/domenico.zambella/dispense/- Oggetto: