Demonstração da coerência das metodologias com os objectivos
As metodologias de ensino permitem capacitar o estudante nas vertentes teórica e prática e de iniciação à investigação em Lógica Matemática. As partes teórica e prática são desenvolvidas com a resolução de exercícios de forma a fomentar a compreensão e consolidação dos conteúdos programáticos. A parte de investigação é adquirida no desenvolvimento do projeto individual.