Prof. Camillo Fiorentini

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

Libri adottati dal prof. Camillo Fiorentini

Dave Barker-Plummer – Proof and Logic – Logica Matematica (Informatica, 1º anno · 2º semestre · 6 CFU)
Pighizzini – Dai fondamenti agli oggetti – Programmazione 2 (Matematica (triennale), esame facoltativo · 6 CFU)

Materie del prof. Camillo Fiorentini

Logica Matematica – con Prof. Stefano Aguzzoli 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.

Programmazione Dichiarativa – con Prof. Alberto Davide Adolfo Momigliano Canale unico

Corso di laurea: Informatica · Laurea triennale (L-31) · esame facoltativo · 6 CFU

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

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

Bacheca del docente: cosa indica di studiare

Parte 1: Functional Programming using F# , Michael R. Hansen and Hans Rischel.
Parte 2: online book Proof-Oriented Programming In F*

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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

Programmazione 2 Canale unico

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

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

Il docente indica 1 testo

Pighizzini – Dai fondamenti agli oggetti Vai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: L'obiettivo principale del corso e' di introdurre le nozioni fondamentali della programmazione a oggetti, usando il linguaggio Java. Piu' in dettaglio, verranno trattati i seguenti argomenti. - Introduzione al linguaggio Java, la Java Virtual Machine, introduzione alla programmazione Object Oriented, protocolli e contratti. - Richiamo sulle strutture di controllo, tipi primitivi. - La gerarchia delle classi Java.

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. Camillo Fiorentini per Logica Matematica?

Dave Barker-Plummer – Proof and Logic

Quali libri consiglia il prof. Camillo Fiorentini per Programmazione 2?

Pighizzini – Dai fondamenti agli oggetti