- Oggetto:
- Oggetto:
Logica Matematica 2
- Oggetto:
Mathematical logic 2
- Oggetto:
Anno accademico 2022/2023
- Codice dell'attività didattica
- MAT0066
- Docenti
- Domenico Zambella (Titolare del corso)
Gianluca Paolini (Titolare del corso) - Corso di studi
- Laurea Magistrale in Matematica (D.M. 270)
- Anno
- 1° anno 2° anno
- Periodo didattico
- Secondo semestre
- Tipologia
- D.M. 270 TAF D - A scelta dello studente
- Crediti/Valenza
- 6
- SSD dell'attività didattica
- MAT/01 - logica matematica
- Modalità di erogazione
- Tradizionale
- Lingua di insegnamento
- Italiano
- Modalità di frequenza
- Facoltativa
- Tipologia d'esame
- Scritto
- Prerequisiti
-
Maturità matematica. Non sono richiesti particolari prerequisiti di logica.Mathematical maturity. No knowledge of logic is required.
- Oggetto:
Sommario insegnamento
- Oggetto:
Obiettivi formativi
Lo scopo del corso è quello di introdurre argomenti e tecniche di base di teoria dei modelli con applicazioni verso lo studio di strutture infinito numerabili. Si veda il programma del corso per maggiori dettagli.The aim of the course is to introduce basic model theory topics and techniques with applications towards the study of countably infinite structures. See the course program for more details.- Oggetto:
Risultati dell'apprendimento attesi
Lo studente dovrà conosce gli argomenti svolti in classe in dettaglio e mostrare di essere in grado di applicare le tecniche apprese per risolvere semplici problemi.The student chould know the topics covered in class in detail and show that he is able to apply the techniques learned in class to solve simple problems.- Oggetto:
Modalità di insegnamento
Lezioni tradizionali in aula o alla lavagna o tramite la proiezione di slides.
Traditional lessons in the classroom or on the blackboard or through the projection of slides.
- Oggetto:
Modalità di verifica dell'apprendimento
Prova orale in cui lo studente esporrà da approfondimenti degli argomenti svolti a lezione. La valutazione è in trentesimi
Può sostenere l'esame solo chi non l'ha già sostenuto nella laurea triennale.
There will be a written and oral exam, consisting of exercises and questions about the contents of the lectures and the exercises. The grade is on a scale of 0 to 30.
The exam is permitted only to those student who have not sustained this exam in their undergraduate program
- Oggetto:
Attività di supporto
- Oggetto:
Programma
Copriremo argomenti presenti nei capitoli dei seguenti testi (si veda la sezione bibliografia per dettagli):
- Capitoli 2 e 4 del libro: Marker, Model Theory: an Introduction.
- Capitolo 8 del libro: Hodges, Model Theory.
- Capitoli 2 e 11 del libro: Invariant Descriptive Set Theory.
Testi consigliati e bibliografia
- Oggetto:
- Libro
- Titolo:
- Model Theory: An Introduction.
- Anno pubblicazione:
- 2002
- Editore:
- Springer New York, NY
- Autore:
- David Marker
- Capitoli:
- 2 e 4
- Obbligatorio:
- No
- Oggetto:
- Libro
- Titolo:
- Model Theory
- Anno pubblicazione:
- 1993
- Editore:
- Cambridge University Press
- Autore:
- Wilfrid Hodges
- Capitoli:
- Capitolo 8
- Obbligatorio:
- No
- Oggetto:
- Libro
- Titolo:
- Invariant Descriptive Set Theory
- Anno pubblicazione:
- 2008
- Editore:
- Chapman and Hall/CRC
- Autore:
- Su Gao
- Capitoli:
- 2 e 11
- Obbligatorio:
- No
- Oggetto:
Orario lezioni
- Oggetto: