Plano de Estudo - Matemática e Ciências da Computação
| Ano |
Unidade Curricular |
Regime* |
ECTS |
| 1ºano |
| 1 |
Lógica da Programação |
S1 |
7,5 |
| 1 |
Teoria de Números Computacional |
S1 |
7,5 |
| 1 |
Opção 1 |
S1 |
5 |
| 1 |
Complexidade |
S2 |
5 |
| 1 |
Opção 2 |
S2 |
5 |
| 1 |
Projecto Integrado |
S2 |
10 |
| 1 |
Opções de Informática |
S1/S2 |
20 |
| 2ºano |
| 2 |
Opção 3 |
S1 |
5 |
| 2 |
Opção 4 |
S1 |
5 |
| 2 |
Estágio/Dissertação |
A |
50 |
Opções – ver lista abaixo
*
S1 – 1º Semestre
S2 – 2º Semestre
A – Anual
Requisitos:
As opções de informática são 4 e devem ser escolhidas de forma coerente de forma a constituirem um Perfil de Especialização em Informática / Engenharia Informática - ver lista abaixo.
Opções para UCs Opção 1, 2, 3 e 4 (5 ECTS cada)
• Álgebra Linear Numérica
• Algoritmos e Programação
• Algoritmos Numéricos e Computação Paralela
• Complementos de Análise Complexa
• Complementos de Análise Numérica
• Computabilidade
• Estatística Computacional
• Geometria Computacional
• Métodos Numéricos para Equações Diferenciais
• Processamento de Sinal e Ôndulas
• Semigrupos, Autómatos e Linguagens
• Sistemas Matemáticos Computacionais
• Teoria da Aproximação
• Teoria de Categorias
• Teoria de Códigos
• Teoria de Grafos Computacional
Perfis de Especialização em Informática / Engenharia Informática
- E-Science
(UCs: High-Performance Scientific Computing, Large Scale Data Analysis, Modelação e Simulação, Algoritmos e Métodos Numéricos)
- Métodos Formais em Engenharia de Software
(UCs: Especificação e Modelação, Análise e Teste, Arquitectura e Cálculo, Verificação Formal)
- Sistemas Distribuídos e Criptografia
(UCs: Criptografia e Segurança da Informação, Paradigmas de Sistemas Distribuídos, Segurança de Sistemas Informáticos, Sistemas Distribuídos Confiáveis)
Contactos:
Departamento de Matemática e Aplicações
Universidade do Minho
4710-057 Braga
Telefone: 253604362
Fax: 253604369
Email: m-mc@math.uminho.pt
URL: http://www.math.uminho.pt