DISI Laurea e Diploma in Informatica

Corso di Metodi Formali dell'Informatica (IV anno) - a.a. 1998/99


Prerequisiti

ASD II anno, LM II anno e LP III anno.

Obiettivi

Il corso fornisce i principali fondamenti teorici alla base di molti linguaggi di programmazione, integrando quindi quanto e' stato fatto al corso LP III anno. La seconda parte fornisce nozioni e risultati fondamentali di calcolabilita' (in parte accennati nel corso ASD II anno) e complessita' computazionale.

Modalita' degli esami

L'esame si suddivide in una prova scritta ed una orale. La prova scritta consiste di due parti valutate indipendentemente (relative rispettivamnte alla prima e seconda parte del corso). Per ciascuna parte sara' dato un tempo prefissato (in genere 2 ore). Durante lo scritto e' possibile consultare dispense e libri. E' possibile conservare il voto dello scritto (o anche di una delle 2 parti) negli appelli successivi, basta non ritentarlo (o non cosegnare quella parte). La data degli orali viene concordata direttamente con i docenti.

Programma

La parte su Calcolabilita' e Complessita' e' a comune con ASD III anno

Testi di Riferimento