Teoria da Computação
Procura-se aprender a trabalhar com modelos computacionais comuns - autómatos finitos, de pilha e máquinas de Turing. Os alunos deverão, também, entender e saber utilizar os conceitos de maquinismo, linguagem formal, gramática e recursos computacionais.
Devem compreender os conceitos de tarefas algorítmica e não algorítmica, bem como os limites para as primeiras. Deverão entender a computação como conceito físico-matemático e não como puramente matemático.