| 1º Ano |
|---|
| Ano | Nome | Regime | ECTS |
|---|
| 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 |
| total | 60 |
| 2º Ano |
|---|
| Ano | Nome | Regime | ECTS |
|---|
| 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 |
| total | 60 |
| 3º Ano |
|---|
| Ano | Nome | Regime | ECTS |
|---|
| 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 |
| total | 60 |
