Prof. Stefano Aguzzoli

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

Libri adottati dal prof. Stefano Aguzzoli

Dave Barker-Plummer – Proof and Logic – Logica Matematica (Informatica, 1º anno · 2º semestre · 6 CFU)
Michael Huth – Logic in Computer Science – Mathematical Logic (Informatica - magistrale, esame facoltativo · 6 CFU)
Mordechai Ben-Ari – Mathematical Logic for Computer Science – Mathematical Logic (Informatica - magistrale, esame facoltativo · 6 CFU)

Materie del prof. Stefano Aguzzoli

Logica Matematica – con Prof. Camillo Fiorentini Canale unico

Corso di laurea: Informatica · Laurea triennale (L-31) · 1º anno · 2º semestre · 6 CFU

Statale di Milano · Facoltà di Scienze e Tecnologie · 6 CFU · apri nel catalogo · Informatica · 1º anno · 2º semestre ›

Il docente indica 1 testo

Bibliografia

Dave Barker-Plummer – Proof and Logic Vai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: Il corso di Logica matematica per la triennale si propone come corso introduttivo alla logica, e ai suoi rapporti con il linguaggio e la formalizzazione di concetti. Il corso è naturalmente articolato in due parti principali: logica proposizionale e logica del primo ordine. Inoltre si approfondisce il tema del principio di induzione, in particolare nell'aritmetica di Peano.

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: Informatica - magistrale · Laurea magistrale (LM-18) · esame facoltativo · 6 CFU

Statale di Milano · Facoltà di Scienze e Tecnologie · 6 CFU · apri nel catalogo · Informatica - magistrale ›

Il docente indica 2 testi · da studiare tutti

Michael Huth – Logic in Computer Science Vai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Mordechai Ben-Ari – Mathematical Logic for Computer Science Vai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: L'insegnamento fornisce un approfondimento teorico delle tecniche di deduzione automatica nella logica predicativa, ed altre applicazioni all'informatica. La prima parte del corso introduce la logica proposizionale: sintassi, semantica, teorema di compattezza, risoluzione, teorema di completezza refutazionale del principio di risoluzione, Davis-Putnam procedure e DPLL.

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 Aguzzoli per Logica Matematica?

Dave Barker-Plummer – Proof and Logic

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

Michael Huth – Logic in Computer Science; Mordechai Ben-Ari – Mathematical Logic for Computer Science