Algebra, Logics and Computation
Cycle
Segundo ciclo
Degree
Mestre
This path is an option of
ECTS Coordinator
Maria Luísa Martins Macedo de Faria Mascarenhas
Coordinator
Maria Luísa Martins Macedo de Faria Mascarenhas
Structure
| 1.º Semester | ||
| Code | Name | ECTS |
| 8528 | Grafos e Algoritmos | 6.0 |
| 8526 | Lógica | 6.0 |
| 8527 | Semigrupos e Aplicações | 6.0 |
| 1.º Semester - Opção I | ||
| Code | Name | ECTS |
| Options | ||
| 8508 | Actuariado Vida | 6.0 |
| 8533 | Análise Funcional | 6.0 |
| 8537 | Análise Numérica das Equações Diferenciais Parciais I | 6.0 |
| 8534 | Complementos de Análise Numérica | 6.0 |
| 8511 | Complementos de Estatística | 6.0 |
| 8538 | Controlo Óptimo | 6.0 |
| 9977 | Criptografia | 6.0 |
| 8539 | Equações com Derivadas Parciais I | 6.0 |
| 8535 | Equações Diferenciais e Sistemas Dinâmicos | 6.0 |
| 8540 | Equações Diferenciais Estocásticas | 6.0 |
| 3123 | Inferência Estatística | 6.0 |
| 8512 | Optimização Combinatória | 6.0 |
| 8509 | Simulação | 6.0 |
| 8536 | Teoria da Medida | 6.0 |
| 9978 | Teoria de Correcção de Erros | 6.0 |
| 8510 | Teoria do Risco | 6.0 |
O aluno deverá obter 6.0 créditos nesta opção. |
||
| 1.º Semester - Opção II | ||
| Code | Name | ECTS |
| Options | ||
| 8288 | Algoritmos para Problemas Difíceis | 6.0 |
| 8150 | Computação Gráfica e Interfaces | 6.0 |
| 8298 | Lógicas para Especificação e Verificação | 6.0 |
| 3336 | Representação de Conhecimento e Raciocínio | 6.0 |
| 8290 | Simulação e Computação Numérica | 6.0 |
| 3327 | Síntese de Imagem | 6.0 |
| 8293 | Web Semântica | 6.0 |
O aluno deverá obter 6.0 créditos nesta opção. |
||
| 2.º Semester | ||
| Code | Name | ECTS |
| 8530 | Análise Matricial | 6.0 |
| 8529 | Álgebra Universal e Reticulados | 6.0 |
| 8413 | Teoria Algébrica dos Autómatos | 6.0 |
| 2.º Semester - Opção III | ||
| Code | Name | ECTS |
| Options | ||
| 8508 | Actuariado Vida | 6.0 |
| 8533 | Análise Funcional | 6.0 |
| 8537 | Análise Numérica das Equações Diferenciais Parciais I | 6.0 |
| 8534 | Complementos de Análise Numérica | 6.0 |
| 8511 | Complementos de Estatística | 6.0 |
| 8538 | Controlo Óptimo | 6.0 |
| 9977 | Criptografia | 6.0 |
| 8539 | Equações com Derivadas Parciais I | 6.0 |
| 8535 | Equações Diferenciais e Sistemas Dinâmicos | 6.0 |
| 8540 | Equações Diferenciais Estocásticas | 6.0 |
| 3123 | Inferência Estatística | 6.0 |
| 8512 | Optimização Combinatória | 6.0 |
| 8509 | Simulação | 6.0 |
| 8536 | Teoria da Medida | 6.0 |
| 9978 | Teoria de Correcção de Erros | 6.0 |
| 8510 | Teoria do Risco | 6.0 |
O aluno deverá obter 6.0 créditos nesta opção. |
||
| 2.º Semester - Opção IV | ||
| Code | Name | ECTS |
| Options | ||
| 8288 | Algoritmos para Problemas Difíceis | 6.0 |
| 8150 | Computação Gráfica e Interfaces | 6.0 |
| 8298 | Lógicas para Especificação e Verificação | 6.0 |
| 3336 | Representação de Conhecimento e Raciocínio | 6.0 |
| 8290 | Simulação e Computação Numérica | 6.0 |
| 3327 | Síntese de Imagem | 6.0 |
| 8293 | Web Semântica | 6.0 |
O aluno deverá obter 6.0 créditos nesta opção. |
||
| 3.º Semester | ||
| Code | Name | ECTS |
| 8531 | Álgebra Multilinear e Aplicações | 6.0 |
| 8415 | Computabilidade e Complexidade | 6.0 |
| 9072 | Dissertação em Matemática e Aplicações | 42.0 |
| 8417 | Sistemas de Reescrita | 6.0 |