Demonstração da coerência do programa com os objectivos

O curso é um curso padrão de computabilidade e complexidade: a introdução à computabilidade é aprofundada, enquanto a introdução à complexidade abrange apenas os conceitos iniciais do tema.