Logica Algebrica e Categoriale – prof. Luca Reggio, Fabio Pasquali

Matematica (magistrale) · Università degli Studi di Milano · esame facoltativo · GENERALE · 6 CFU · canale unico

Libri del canale

Logica Algebrica e Categoriale 6 CFU

LRProf. Luca Reggio, Prof. Fabio Pasquali Canale unico

Il docente indica 1 testo

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

Leinster – Basic Category TheoryVerificato sulla scheda ufficiale il 02/10/2026

Cerca su Amazon ›

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.

Apri nel catalogo: Matematica (magistrale), tutte le materie e i canali ›

Testi d'esame di Logica Algebrica e Categoriale del prof. Luca Reggio, Fabio Pasquali, canale unico, corso di laurea in Matematica (magistrale) (Laurea magistrale (LM-40)), Università degli Studi di Milano, esame facoltativo · GENERALE · 6 CFU, a.a. 2026/2027. Libri adottati: Leinster – Basic Category Theory.

Vedi anche: Prof. Luca Reggio · Prof. Fabio Pasquali · Logica Algebrica e Categoriale a Statale di Milano (tutti i canali)