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

Anno Accademico 2014-2015


Anni Accademici: 2010-2011 2011-2012 2012-2013 2013-2014


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 di massima 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:

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

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 Giuseppe Di Battista e Maurizio Patrignani / 1 ottobre 2013