Prof. Stefano Baratella

Università di Trento · Corsi di laurea · libri consigliati e cosa studiare, a.a. 2026/2027

Libri adottati dal prof. Stefano Baratella

van Dalen – Logic and Structure – Mathematical Logic (Mathematics – sede di Trento, 2º anno · 1º semestre · 6 CFU)
Dalen – Logic and structure – Mathematical Logic (Mathematics – sede di Trento, 2º anno · 1º semestre · 6 CFU)
Devlin – The joy of sets – Set Theory (Mathematics – sede di Trento, esame facoltativo · Advanced Mathematics · 6 CFU)
Jech – Set theory -- The 3rd millenium edition – Set Theory (Mathematics – sede di Trento, esame facoltativo · Advanced Mathematics · 6 CFU)

Materie del prof. Stefano Baratella

Fondamenti Logici della Matematica Canale unico

Corso di laurea: Matematica – sede di Trento · Laurea triennale (L-35) · 3º anno · 1º semestre · 6 CFU

Trento · Corsi di laurea · 6 CFU · apri nel catalogo

Il docente non ha ancora pubblicato i testi per questo canale.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Mathematical Logic Canale unico

Corso di laurea: Mathematics – sede di Trento · Laurea magistrale (LM-40) · 2º anno · 1º semestre · 6 CFU / 1º anno · 1º semestre · 6 CFU

Trento · Dipartimento di Matematica · 6 CFU · apri nel catalogo · Mathematics – sede di Trento · 2º anno · 1º semestre ›

Il docente indica 2 testi · da studiare tutti

van Dalen – Logic and Structure Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

Dalen – Logic and structure Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: I principali argomenti sono i seguenti. Logica proposizionale: connettivi, formule, semantica, regole di deduzione naturale, teorema di completezza. Logica dei predicati: quantificatori, formule, strutture, semantica, regole di deduzione naturale, teoremi di completezza e di compattezza. Introduzione alla teoria dei modelli e alle applicazioni della logica matematica a altre aree della matematica.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Set Theory Canale unico

Corso di laurea: Mathematics – sede di Trento · Laurea magistrale (LM-40) · esame facoltativo · Advanced Mathematics · 6 CFU

Trento · Dipartimento di Matematica · 6 CFU · apri nel catalogo · Mathematics – sede di Trento · 2º anno · 2º semestre ›

Il docente indica 2 testi · da studiare tutti

Devlin – The joy of sets Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Jech – Set theory -- The 3rd millenium edition Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Bacheca del docente: cosa indica di studiare

Materiali online verranno suggeriti di volta in volta.

Argomenti del programma: Gli assiomi della teoria degli insiemi di Zermelo-Fraenkel. Buoni ordini e ordinali. Equivalenti dell'assioma di scelta. Numeri cardinali. Aritmetica cardinale. Ipotesi generalizzata del continuo. Alcune conseguenze di assunzioni set-teoretiche sulla pratica matematica. Cenno sull'assioma di determinatezza. Introduzione a risultati di consistenza relativa. Gli insiemi costruibili.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Domande frequenti

Quali libri consiglia il prof. Stefano Baratella per Mathematical Logic?

van Dalen – Logic and Structure; Dalen – Logic and structure

Quali libri consiglia il prof. Stefano Baratella per Set Theory?

Devlin – The joy of sets; Jech – Set theory -- The 3rd millenium edition