---

Docente verbalizzatore del corso. Prof. Maurizio Lenzerini.

A chi è rivolto il corso. Questo corso di 6 crediti è tenuto nel secondo semestre (periodo didattico da marzo 2022 a maggio 2022), ed è rivolto agli studenti del terzo anno del Corso di Laurea in Ingegneria Informatica e Automatica della Sapienza Università di Roma.
Struttura del corso. Il corso è strutturato in due sezioni, ciascuna dedicata ad uno di due aspetti basilari della preparazione di un ingegnere informatico, la logica matematica (docente: Prof. Maurizio Lenzerini) e gli algoritmi (docente: Prof. Stefano Leonardi). Gli studenti sosterranno un esame per ognuna delle due sezioni, e per ciascuna sezione dovranno seguire le indicazioni fornite dal docente della sezione, in particolare consultando la pagina web della sezione stessa. L'esame finale sarà registrato dal docente verbalizzatore (Prof. Maurizio Lenzerini) ed il voto dipenderà dai voti ottenuti nelle due sezioni. Quando uno studente avrà superato l'esame delle due sezioni, si dovrà iscrivere ad un appello del corso utilizzando, come al solito, Infostud al fine di registrare il voto. Si prega di consultare le notizie in questa pagina per le date in cui sono previsti gli appelli per le registrazioni.

---

News

• 30 maggio 2022 Si invitano gli studenti che vogliono verbalizzare l'esame a prenotarsi su Infostud per l'appello che sceglieranno. Ovviamente al momento della verbalizzazione lo studente deve aver superato l'esame di entrambe le sezioni del corso. Il prossimo appello è previsto per settembre 2022 e le relative prenotazioni si accettano dal 1/8/2022 al 16/9/2022.

---

Informazioni sulle due sezioni
Come detto in precedenza, il corso è strutturato in due sezioni, insegnate da due diversi docenti. Si riportano qui gli elementi essenziali relativi alle due sezioni, rimandando alle specifiche pagine web per ulteriori informazioni.

• Sezione 1: Logica e informatica
  • Docente: Prof. Maurizio Lenzerini
  • Numero di crediti: 3
  • Obiettivi: La prima sezione del corso ha l’obiettivo di introdurre la logica matematica come potente strumento per modellare e ragionare formalmente su diversi aspetti dell’informatica, come i requisiti di un progetto, i dati, i programmi, gli automi e la computazione in generale. Vengono studiati i principali sistemi formali della logica, in primis la logica proposizionale e la logica dei predicati. Viene affrontato il tema dell’uso della logica nello specificare argomenti, dimostrare o confutare la loro validità ed inferire le loro conseguenze, anche in modo automatico. Vengono poi approfonditi alcuni temi che riguardano l’uso della logica nell’informatica, in particolare nella gestione dei dati, nell’interrogazione di basi di dati, nella specifica di programmi e nel ragionamento sulle proprietà dei programmi e degli automi.
  • La pagina web della sezione: Logica e informatica

• Sezione 2: Metodi probabilistici in informatica
  • Docente: Prof. Stefano Leonardi
  • Numero di crediti: 3
  • Obiettivi: La seconda sezione del corso intende illustrare alcune importanti applicazioni dei metodi probabilistici e dell’ottimizzazione dinamica in informatica quali, ad esempio, la soluzione efficiente di problemi numerici e combinatorici, l’apprendimento automatico, la sicurezza, le strategie sequenziali di decisione, la codifica dell’informazione, e l’analisi dei dati e delle reti ad ampia scala.
  • Pagina web della sezione: Metodi probabilistici per l'informatica

---

Edizioni passate

• Anno Accademico 2020/21
• Per le edizioni del corso relative agli anni accademici precedenti rispetto al 2020/2021 si faccia riferimento alla docente Prof.ssa Fiora Pirri.