- Oggetto:
- Oggetto:
Logica Matematica 2 (non attivato nel 2023/2024)
- Oggetto:
Mathematical logic 2
- Oggetto:
Anno accademico 2023/2024
- Codice attività didattica
- MAT0296
- Corso di studio
- Laurea in Matematica
- Anno
- 3° anno
- Periodo
- Secondo semestre
- Tipologia
- D.M. 270 TAF B - Caratterizzante
- Crediti/Valenza
- 6
- SSD attività didattica
- MAT/01 - logica matematica
- Erogazione
- Tradizionale
- Lingua
- Italiano
- Frequenza
- Facoltativa
- Tipologia esame
- Scritto e Orale
- Prerequisiti
-
Maturità matematica. Non sono richiesti prerequisiti di logica.Mathematical maturity. No knowledge of logic is required.
- Propedeutico a
- Nessun corso in particolare ma consigliato per studenti interessati ad approfondire lo studio della logica matematica.
- Oggetto:
Sommario insegnamento
- Oggetto:
Obiettivi formativi
Coerentemente con gli obiettivi formativi del Corso di Studio previsti dalla scheda SUA-CdS, l'insegnamento si propone di permettere allo studente di familiarizzare con alcune nozioni centrali della combinatoria probabilistica/estremale e di vedere come queste nozioni siano collegate al resto della matematica. Verranno anche studiate applicazioni alla logica matematica
Through the course, the student will be acquainted with central notions in probabilistic/extremal combinatorics, in order to see how these notions are entangled in the remainder of mathematics. The course will also present basic applications to matematical logic.
- Oggetto:
Risultati dell'apprendimento attesi
Lo studente dovrà mostrare di aver essere in grado di applicare le tecniche apprese per risolvere semplici problemi.The student should be able to apply the techniques taught in the course to tackle elementary problems.- 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.
We will cover topics found in the chapters of the following texts (see the bibliography section for details):
Chapters 2 and 4 of the book: Marker, Model Theory: an Introduction.
Chapter 8 of the book: Hodges, Model Theory.
Chapters 2 and 11 of the book: Invariant Descriptive Set Theory.- Oggetto:
Modalità di insegnamento
Il corso si svolgerà in presenza salvo eccezioni in accordo con le disposizioni di ateneo.
Lezioni in aula e compiti per casa (esercizi assegnati con cadenza quindicinale).
The course will take place in the presence, except for exceptions in accordance with the provisions of the university.
Face to face lectures. Every other week homework will be assigned and discussed with the students.
- 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.
Following regulations in the midst of the Covid-19 pandemic, online exams could be held, on Webex and Moodle.
The exam is permitted only to those student who have not sustained this exam in their undergraduate program
- Oggetto:
Attività di supporto
Verranno assegnati esercizi e problemi da risolvere da soli o in gruppo. Questi serviranno sia come attività tutoriale che come bonus per la valutazione finale.
We will give exercises and problems that can be solved as a group work. These will serve both pedagogically, and could also serve as bonus in the final exam.
Testi consigliati e bibliografia
- Oggetto:
- Libro
- Titolo:
- Model Theory: An Introduction
- Anno pubblicazione:
- 2002
- Editore:
- Springer New York, NY
- Autore:
- David Marker
- Obbligatorio:
- No
- Oggetto:
- Libro
- Titolo:
- Model Theory
- Anno pubblicazione:
- 1993
- Editore:
- Cambridge University Press
- Autore:
- Wilfrid Hodges
- Obbligatorio:
- No
- Oggetto:
- Libro
- Titolo:
- Invariant Descriptive Set Theory
- Anno pubblicazione:
- 2008
- Editore:
- Chapman and Hall/CRC
- Autore:
- Su Gao
- Obbligatorio:
- No
- Oggetto:
Insegnamenti che mutuano questo insegnamento
- Logica Matematica 2 (non attivato nel 2023/2024) (MAT0296)Laurea magistrale in Matematica
- Logica Matematica 2 (non attivato nel 2023/2024) (MAT0296)
- Oggetto:
Orario lezioni
- Registrazione
- Aperta
- Oggetto: