- Oggetto:
Logica matematica 3
- Oggetto:
MATHEMATICAL LOGIC 3
- Oggetto:
Anno accademico 2023/2024
- Codice attività didattica
- MAT0353
- Docente
- Gianluca Paolini (Titolare)
- Corso di studio
- Laurea Magistrale in Matematica (D.M. 270)
- Anno
- 1° anno, 2° anno
- Periodo
- Secondo semestre
- Tipologia
- D.M. 270 TAF D - A scelta dello studente
- Crediti/Valenza
- 6
- SSD attività didattica
- MAT/01 - logica matematica
- Erogazione
- Tradizionale
- Lingua
- Italiano
- Frequenza
- Facoltativa
- Tipologia esame
- Orale
- Prerequisiti
-
Conoscenza di base di teoria dei modelli e di teoria degli insiemi. Aver seguito il corso di Istituzioni di Logica è più che sufficiente.
Basic knowledge of model theory and set theory. Attendance of the course "Istituzioni di Logica" is more than enough.
- Oggetto:
Sommario insegnamento
- Oggetto:
Obiettivi formativi
Lo scopo dell'insegnamento è 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 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 is required to know the topics covered in class in detail and show that he is able to apply the techniques learned to solve simple problems.
- Oggetto:
Programma
Lo scopo dell'insegnamento è quello di introdurre tecniche di teoria dei modelli che hanno applicazioni nello studio di strutture infinito numerabili. Introdurremo anche le definizioni di base che permettono l'analisi di relazioni di equivalenza su spazi di modelli numerabili di teorie del primo ordine, nella prospettiva della teoria descrittiva degli insiemi. Nel corso verranno trattati anche argomenti di teoria dei gruppi collegati agli argomenti sopra descritti ma solo una conoscenza di base della teoria dei gruppi è richiesta per seguire il corso.
The aim of the course is to introduce model theory techniques that have applications in the study of countably infinite structures. We will also introduce the basic definitions that allow the analysis of equivalence relations on spaces of countable models of first order theories, in the perspective of descriptive set theory. The course will also deal with group theory topics related to the topics described above but only a basic knowledge of group theory is required to follow the course.- 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.
Oral test in which the student will present insights into the topics covered in class. The evaluation is out of thirty. The grade is on a scale of 0 to 30.
- Oggetto:
Attività di supporto
Testi consigliati e bibliografia
- Oggetto:
- Libro
- Titolo:
- Model Theory: An Introduction
- Anno pubblicazione:
- 2002
- Editore:
- Springer New York, NY
- Autore:
- David Marker
- ISBN
- Obbligatorio:
- No
- Oggetto:
- Libro
- Titolo:
- Model Theory
- Anno pubblicazione:
- 1993
- Editore:
- Cambridge University Press
- Autore:
- Wilfrid Hodges
- ISBN
- Obbligatorio:
- No
- Oggetto:
- Libro
- Titolo:
- Invariant Descriptive Set Theory
- Anno pubblicazione:
- 2008
- Editore:
- Chapman and Hall/CRC
- Autore:
- Su Gao
- ISBN
- Obbligatorio:
- No
- Registrazione
- Aperta
- Oggetto: