Vai al contenuto principale
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

Oggetto:

Orario lezioniV

Registrazione
  • Aperta
    Oggetto:
    Ultimo aggiornamento: 03/10/2023 10:11

    Non cliccare qui!