Prof. Martino Lupini

Alma Mater Studiorum - Università di Bologna · Scienze · libri consigliati e cosa studiare, a.a. 2026/2027

Libri adottati dal prof. Martino Lupini

Enderton – A mathematical introduction to logic – Logica Matematica (Matematica, esame facoltativo · 6 CFU)
Marker – Model theory – Logica Matematica (Matematica, esame facoltativo · 6 CFU)
Enderton – Elements of set theory – Logica Matematica (Matematica, esame facoltativo · 6 CFU)
Kunen – Kenneth Set theory – Logica Matematica (Matematica, esame facoltativo · 6 CFU)
Enderton – Computability theory – Logica Matematica (Matematica, esame facoltativo · 6 CFU)
Awodey – Category theory – Principi della Matematica (Matematica, esame facoltativo · 6 CFU)
Mac Lane – Categories for the working mathematician – Principi della Matematica (Matematica, esame facoltativo · 6 CFU)
Moerdijk – Sheaves in geometry and logic – Principi della Matematica (Matematica, esame facoltativo · 6 CFU)

Materie del prof. Martino Lupini

Logica Matematica Canale unico

Corso di laurea: Matematica · Laurea triennale (L-35) · esame facoltativo · 6 CFU

Bologna · Scienze · 6 CFU · apri nel catalogo · Matematica · 3º anno · 1º semestre ›

Il docente indica 5 testi · da studiare tutti

Altri libri sull'argomento (consultazione facoltativa)

Enderton – A mathematical introduction to logic Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Marker – Model theory Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Enderton – Elements of set theory Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Kunen – Kenneth Set theory Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Enderton – Computability theory Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Bacheca del docente: cosa indica di studiare

Il corso si avvarra' di dispense preparate dal docente.

Argomenti del programma: Questo corso e' un'introduzione a nozioni e metodi della logica matematica. In particolare, il corso trattera' i seguenti argomenti: 1) Logica proposizionale Formule proposizonali e tavole di verita' Sistemi di dimostrazione Correttezza e completezza Compattezza 2) Logica del primo ordine e teoria dei modelli Strutture, formule, e modelli Definibilita' ed equivalenza elementare Sistemi di dimostrazione Correttezza e…

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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

Principi della Matematica Canale unico

Corso di laurea: Matematica · Laurea magistrale (LM-40) · esame facoltativo · 6 CFU

Bologna · Scienze · 6 CFU · apri nel catalogo · Matematica · 1º anno · 1º semestre ›

Il docente indica 3 testi · da studiare tutti

Awodey – Category theory Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Mac Lane – Categories for the working mathematician Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Moerdijk – Sheaves in geometry and logic Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Bacheca del docente: cosa indica di studiare

Il corso si avvarra' di dispense preparate dal docente e da argomenti selezionati dai seguenti testi:

Argomenti del programma: Questo corso e' un'introduzione ai principi della matematica nel contesto della logica e teoria delle categorie. In particolare, il corso trattera' i seguenti argomenti: Teoria delle categorie Algebra omologica Teoria dei fasci e topos

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. Martino Lupini per Logica Matematica?

Enderton – A mathematical introduction to logic; Marker – Model theory; Enderton – Elements of set theory; Kunen – Kenneth Set theory; Enderton – Computability theory

Quali libri consiglia il prof. Martino Lupini per Principi della Matematica?

Awodey – Category theory; Mac Lane – Categories for the working mathematician; Moerdijk – Sheaves in geometry and logic