Modelli di Calcolo. A.A. 2024/25

Laurea in Ingegneria Informatica e Automatica

Organizzazione

Questa pagina si riferisce alla sezione Modelli di Calcolo del corso Logica, Modelli di Calcolo e Metodi Probabilistici per l’Informatica. Per informazioni riguardanti il corso in generale è possibile consultare la seguente pagina: Logica, Modelli di Calcolo e Metodi Probabilistici per l’Informatica

Docente

Marco Console (console+lc at diag dot uniroma1 dot it)

Per Chi è Questo Corso

Il corso è rivolto agli studenti della laurea triennale in Ingegneria Informatica e Automatica

Prerequisiti

Sebbene il corso sia pensato come introduttivo, è richiesta una buona conoscenza dei linguaggi di programmazione, delle architetture degli elaboratori e degli algoritmi e strutture dati più comuni.

Obbiettivi del Corso

Fatta salva l’acquisizione di una serie di obiettivi di fondo (conoscenza e comprensione della disciplina; capacità di applicare conoscenza e comprensione; capacità critiche e di giudizio; capacità di comunicare quanto si è appreso; capacità di proseguire lo studio in modo autonomo), il corso si propone di raggiungere più specificamente i seguenti ulteriori obiettivi: dei modelli computazionali più comuni (automi a stati finiti e macchine di Turing) e delle loro proprietà di base.

Materiale del Corso

I lucidi utilizzati per le lezioni sono disponibili nella pagina Google Classroom del corso. Per chi volesse approfondire, consiglio i seguenti testi di riferimento:

  1. M. Sisper. Introduzione alla Teoria della Computazione

  2. S. Arora, B. Barak. Computational Complexity: a Modern Approach

  3. C. H. Papadimitriou. Computational Complexity.