| Ano |
Nome |
Regime |
ECTS |
| 1º Ano |
| 1 |
Álgebra Linear CC |
S1 |
7.5 |
| 1 |
Cálculo |
S1 |
5 |
| 1 |
Tópicos de Matemática |
S1 |
7.5 |
| 1 |
Programação Funcional |
S1 |
5 |
| 1 |
Opção UMinho |
S1 |
5 |
| 1 |
Análise |
S2 |
5 |
| 1 |
Geometria |
S2 |
5 |
| 1 |
Matemática Discreta |
S2 |
5 |
| 1 |
Programação Imperativa |
S2 |
5 |
| 1 |
Sistemas de Computação |
S2 |
5 |
| 1 |
Laboratório de Algoritmia I |
S2 |
5 |
| 2º Ano |
| 2 |
Álgebra |
S3 |
7.5 |
| 2 |
Análise Numérica |
S3 |
7.5 |
| 2 |
Algoritmos e Complexidade |
S3 |
5 |
| 2 |
Sistemas de Comunicação e Redes |
S3 |
5 |
| 2 |
Lógica CC |
S3 |
5 |
| 2 |
Laboratório de Algoritmia II |
S4 |
5 |
| 2 |
Autómatos e Linguagens Formais |
S4 |
5 |
| 2 |
Cálculo de Programas |
S4 |
5 |
| 2 |
Programação Orientada aos Objetos |
S4 |
5 |
| 2 |
Sistemas Operativos |
S4 |
5 |
| 2 |
Álgebra Universal e Categorias |
S4 |
5 |
| 3º Ano |
| 3 |
Computabilidade e Complexidade |
S5 |
7.5 |
| 3 |
Lógica Computacional |
S5 |
5 |
| 3 |
Probabilidades e Aplicações |
S5 |
7.5 |
| 3 |
Bases de Dados |
S5 |
5 |
| 3 |
Processamento de Linguagens e Compiladores |
S5 |
5 |
| 3 |
Teoria de Números Computacional |
S6 |
5 |
| 3 |
Computação Gráfica |
S6 |
5 |
| 3 |
Programação Concorrente |
S6 |
5 |
| 3 |
Interação e Concorrência |
S6 |
5 |
| 3 |
Semântica das Linguagens de Programação |
S6 |
5 |
| 3 |
Projeto |
S6 |
5 |