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

Em cada um dos três temas principais (teoria de modelos, compatibilidade e limitações dos sistemas formais), o programa está estruturado por ordem crescente de complexidade de conceitos, ilustrados com vários exemplos. O estudante deve conhecer os resultados principais e saber aplica-los. A discussão e resolução de exercícios bem com a realização de um pequeno projeto individual permite que o estudante adquira familiaridade com a aplicação dos principais conceitos e técnicas.