Prof. Massimo Bartoletti

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

Libri adottati dal prof. Massimo Bartoletti

Winskel – La semantica formale dei linguaggi di Programmazione – Linguaggi di Programmazione (Informatica – sede di Cagliari, 3º anno · 1º semestre · 9 CFU)
Pierce – Types and Programming Languages – Linguaggi di Programmazione (Informatica – sede di Cagliari, 3º anno · 1º semestre · 9 CFU)
Jonathan Katz – Introduction to Modern Cryptography – Cryptography (Informatica – sede di Cagliari, esame facoltativo · 6 CFU)

Materie del prof. Massimo Bartoletti

Linguaggi di Programmazione Canale unico

Corso di laurea: Informatica – sede di Cagliari · Laurea triennale (L-31) · 3º anno · 1º semestre · 9 CFU

Cagliari · Scienze · 9 CFU · apri nel catalogo · Informatica – sede di Cagliari · 3º anno · 1º semestre ›

Il docente indica 2 testi · da studiare tutti

Winskel – La semantica formale dei linguaggi di Programmazione Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Pierce – Types and Programming Languages Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: Il corso si articola in 48 ore di lezioni teoriche e 36 ore di attività di laboratorio. I contenuti teorici riguardano i principali concetti e metodi per la descrizione, l'analisi e l'implementazione dei linguaggi di programmazione, con particolare riferimento ai seguenti temi: * sintassi e semantica dei linguaggi di programmazione; * semantica operazionale e modellazione dell'esecuzione dei programmi; *…

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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

Cryptography Canale unico

Corso di laurea: Informatica – sede di Cagliari · Laurea magistrale (LM-18) · esame facoltativo · 6 CFU

Cagliari · Scienze · 6 CFU · apri nel catalogo · Informatica – sede di Cagliari · 1º semestre ›

Il docente indica 1 testo

Jonathan Katz – Introduction to Modern Cryptography Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: * Introduzione alla cybersecurity e alla crittografia. Crittografia vs. steganografia. * Definizione formale di cifrario. Encryption deterministica vs. probabilistica. * Shift cipher e sue varianti. Intuizione su ECB mode e perfect secrecy. Obiettivi e conoscenza dell'attaccante. * Cifrari perfetti. Shift cipher. One-time pad. Perfect indistinguishability. Limiti della perfect secrecy * Complessità computazionale.

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. Massimo Bartoletti per Linguaggi di Programmazione?

Winskel – La semantica formale dei linguaggi di Programmazione; Pierce – Types and Programming Languages

Quali libri consiglia il prof. Massimo Bartoletti per Cryptography?

Jonathan Katz – Introduction to Modern Cryptography