Libri UniversitariApri il catalogo

Prof. Luca Reggio

Università degli Studi di Milano · Facoltà di Scienze e Tecnologie · libri consigliati e cosa studiare, a.a. 2026/2027

Libri adottati dal prof. Luca Reggio

Materie del prof. Luca Reggio

Logica Algebrica e Categoriale – con Prof. Fabio Pasquali Canale unico

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

Statale di Milano · Facoltà di Scienze e Tecnologie · 6 CFU · apri nel catalogo · Matematica (magistrale) · 1º semestre ›

Per il materiale di teoria delle categorie, le parti rilevanti di

Leinster – Basic Category TheoryVai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: Nota: Solo una parte del programma indicato in calce è svolta nelle lezioni. Fino al punto 8 il programma è solitamente svolto nella sua interezza. I punti successivi, tempo permettendo, sono parzialmente svolti anche a seconda degli interessi manifestati dagli studenti. 1. Breve introduzione storica e concettuale. 2. Costruzione di Lindenbaum-Tarski; reticoli distributivi, algebre di Heyting, e algebre di Boole. 3.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Logica Matematica 1 – con Prof. Lorenzo Luperi Baglini Canale unico

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

Statale di Milano · Facoltà di Scienze e Tecnologie · 9 CFU · apri nel catalogo

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

Bacheca del docente: cosa indica di studiare
  • Dispense in formato elettronico disponibli su Ariel.

Argomenti del programma: Versione da 9 cr Semantica di Tarski per la logica elementare; teorie ed esempi di teorie. Calcolo dei sequenti. Teorema di completezza. Elementi di teoria della ricorsività. Funzioni ricorsive e rappresentabilità. Teoremi di Goedel. Ultrafiltri, ultraprodotti, teorema di Los. Modelli dell'analisi non standard e loro proprietà Versione da 6cr Semantica di Tarski per la logica elementare; teorie ed esempi di teorie.

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. Luca Reggio per Logica Algebrica e Categoriale?

Leinster – Basic Category Theory