Metodologia de Avaliação

Composta por seis trabalhos individuais. Os trabalhos são de duas naturezas: a) definições e provas formais sobre a teoria das linguagens de programação e b) trabalhos de programação que implementando relações nos fundamentos formais ou aplicações dos conceitos avançados em linguagens de programação.