Automata, Languages, and Computing
(Laurea Magistrale in Ing. Informatica - 1° anno)

Anno Accademico 2023-2024


Anni Accademici precedenti (corso di Informatica Teorica): 2019-2020 2020-2021 2021-2022 2022-2023


Corso Quantum Computing


Informazioni sugli obiettivi formativi, sui docenti, sull'orario delle lezioni e sul calendario degli esami sono disponibili nella pagina del Collegio Didattico di Ingegneria Informatica.

Docente: Giuseppe Di Battista

In questa pagina potrete trovare:

Avvisi

Archivio avvisi

Programma del corso

Il programma di massima del corso di Automata, Languages, and Computing è il seguente:

Materiale didattico (i link inattivi corrispondono a materiale in corso di revisione)

Prove d'esame

Prova scritta

L'esame è costituito da una prova scritta. Per sola comodità di erogazione, tale prova è suddivisa in due parti relative al primo e al secondo modulo

Valutazione in itinere

Alternativamente all'esame ci si può avvalere della valutazione in itinere (prove intermedie).

Esempi di prove d'esame

Le seguenti prove d'esame si riferiscono al corso di Informatica Teorica I (Ord. D.M. 509/99), corrispondente grosso modo alla prima parte del corso attuale, e sono fornite a titolo d'esempio.

Le seguenti prove d'esame si riferiscono al corso di Informatica Teorica II (Ord. D.M. 509/99), corrispondente grosso modo alla seconda parte del corso attuale, e sono fornite a titolo d'esempio.

 

Automata, Languages, and Computing / A cura di Giuseppe Di Battista e Maurizio Patrignani / 22 settembre 2021