Doutoramento em Álgebra Computacional
O trabalho a desenvolver durante um ano letivo por um estudante, de acordo com o plano indicativo do ciclo de estudos e em regime de tempo integral, corresponde a 60 ECTS.
Plano de Estudos
| Nome da unidade curricular | Ano | Regime | Tipo | Área Científica | Créditos ECTS |
|---|---|---|---|---|---|
| GAP em Grupos e Semigrupos | 1 | Semestral | Obrigatória | MAT | 10.0 |
| Lógica | 1 | Semestral | Obrigatória | MAT | 10.0 |
| Programação | 1 | Semestral | Obrigatória | TIC | 10.0 |
| Raciocínio Automático | 1 | Semestral | Obrigatória | TIC | 10.0 |
| Teoria dos Grupos | 1 | Semestral | Obrigatória | MAT | 10.0 |
| Teoria dos Semigrupos | 1 | Semestral | Obrigatória | MAT | 10.0 | Nome da unidade curricular | Ano | Regime | Tipo | Área Científica | Créditos ECTS |
| Tese | 2 | Plurianual | Obrigatória | MAT | 180.0 |