Informatica Teorica
(Laurea Magistrale in Ing. Informatica, Ord. D.M. 270/04 - 1° anno)

Anno Accademico 2011-2012


Anni Accademici: 2008-2009, 2009-2010, 2010-2011


Informatica Teorica per gli studenti della Laurea Magistrale in Ingegneria Informatica (12 CFU) è suddiviso in due moduli, che costituiscono un'introduzione alla teoria dei linguaggi e, parallelamente, alla teoria degli automi e della computabilità.

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

In questa pagina potrete trovare:

Avvisi

Archivio avvisi

Programma dei corsi

Il programma del corso di Informatica Teorica (D.M. 270/04) - Primo Modulo è il seguente:

Il programma di massima del corso di Informatica Teorica (D.M. 270/04) - Secondo Modulo è il seguente:

Il programma del corso di Informatica Teorica I (D.M. 509/99) è reperibile dalla pagina del corso dell'A.A. 2008-2009.

Il programma del corso di Informatica Teorica II (D.M. 509/99) è reperibile dalla pagina del corso dell'A.A. 2008-2009.

Materiale didattico
Prove d'esame

Prova scritta

L'esame è costituito da una prova scritta

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 al Primo Modulo 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 al Secondo Modulo del corso attuale, e sono fornite a titolo d'esempio.

 

Informatica Teorica / A cura di Maurizio Patrignani / 3 ottobre 2011