DISI Laurea in Informatica

Informatica Teorica (III anno, NO) - a.a. 2002/03

Il corso e' mutuato dal secondo semestre di Algoritmi e Strutture Dati: Algoritmi, Calcolabilita' e Complessita' (III anno, VO)

Prerequisiti

Matematica Discreta (Logica Matematica), Programmazione, Algoritmi e Strutture Dati.

Obiettivi

Fornire nozioni e risultati fondamentali di calcolabilita' e complessita' computazionale.

Modalita' degli esami

L'esame si suddivide in una prova scritta ed una orale. Per la prova scritta si danno in genere 2 ore. Durante lo scritto e' possibile consultare dispense e libri. E' possibile conservare il voto dello scritto negli appelli successivi, basta non ritentarlo (o non cosegnare quella parte). Tuttavia, alla fine di ogni anno accademico viene fatto un reset dei voti (per maggiori dettagli vedi ESAMI).

Programma

Testi di Riferimento