Metodi Quantitativi per l'Informatica (A.A. 2022/2023)


Docente verbalizzatore del corso. Prof. Maurizio Lenzerini.

A chi è rivolto il corso. Questo corso di 6 crediti è tenuto nel secondo semestre (periodo didattico da febbraio 2023 a maggio 2023), 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 ed il suo rapporto con l'informatica (docente: Prof. Maurizio Lenzerini) ed i metodi probabilistici in informatica (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

  • 18 novembre 2023 Si invitano gli studenti che vogliono verbalizzare l'esame nella sessione invernale 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.


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