Prof. Alberto Davide Adolfo Momigliano

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

Libri adottati dal prof. Alberto Davide Adolfo Momigliano

Benjamin – Logical Foundations – Metodi Formali (Informatica - magistrale, esame facoltativo · 6 CFU)
Benjamin – Software Foundations – Metodi Formali (Informatica - magistrale, esame facoltativo · 6 CFU)
Chris Vogler – Il viaggio dell'eroe – Progetto Multimediale (Informatica per la comunicazione digitale, esame facoltativo · 9 CFU)
McCann – The Art and Science of HDR Imaging – Progetto Multimediale (Informatica per la comunicazione digitale, esame facoltativo · 9 CFU)

Materie del prof. Alberto Davide Adolfo Momigliano

Programmazione Dichiarativa – con Prof. Camillo Fiorentini 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.

Metodi Formali 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

Benjamin – Logical Foundations Vai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Benjamin – Software Foundations Vai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: Esploreremo delle tecniche formali per migliorare l'affidabilità del software, concentrandoci in particolare sulla specifica e dimostrazione di proprietà del software. La particolarità di questa parte è di essere costruita interamente all'interno di Rocq (formerly Coq), uno dei proof assistant (p.a.) più maturi ed usati. Un p.a.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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

Programmazione Dichiarativa Canale unico

Corso di laurea: Informatica musicale · 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.

Progetto Multimediale – con Prof. Alessandro Rizzi Canale unico

Corso di laurea: Informatica per la comunicazione digitale · Laurea triennale (L-31) · esame facoltativo · 9 CFU

Statale di Milano · Facoltà di Scienze e Tecnologie · 9 CFU · apri nel catalogo · Informatica per la comunicazione digitale · 3º anno · 2º semestre ›

Il docente indica 2 testi · da studiare tutti

Chris Vogler – Il viaggio dell'eroe Vai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

McCann – The Art and Science of HDR Imaging Vai su Amazon ›Da studiare: Pp. XXV+389, (2011Verificato sulla scheda ufficiale il 02/10/2026

Bacheca del docente: cosa indica di studiare

Le slide ed il materiale integrativo, preparato dai docenti, viene reso disponibile sul sito web dell'insegnamento (myAriel).

Argomenti del programma: Il programma dell'insegnamento riguarda le problematiche implementative e tecnologiche, alla base dello sviluppo di un progetto che porti ad un prodotto di tipo multimediale, audiovisivo, grafico o correlato. In sintesi gli argomenti trattati sono: - tecniche di sviluppo della narrazione, della caratterizzazione dei personaggi, di plot e fabula - tecniche di scrittura del contenuto: sceneggiatura, storyboard, etc -…

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. Alberto Davide Adolfo Momigliano per Metodi Formali?

Benjamin – Logical Foundations; Benjamin – Software Foundations

Quali libri consiglia il prof. Alberto Davide Adolfo Momigliano per Progetto Multimediale?

Chris Vogler – Il viaggio dell'eroe; McCann – The Art and Science of HDR Imaging