aaaaaaaaaaaaaa

pções para UCs Opção 1, 2, 3 e 4 (5 ECTS cada)
Álgebra Linear Numérica
Algoritmos Numéricos e Computação Paralela
Complementos de Análise Complexa
Complementos de Análise Numérica
Computabilidade
Estatística Computacional
Introdução aos Algoritmos e à Programação
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
- 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)
- E-Science - não funciona no ano letivo 2013/14
(UCs: High-Performance Scientific Computing, Large Scale Data Analysis, Modelação e Simulação, Algoritmos e Métodos Numéricos)

Contactos:
Departamento de Matemática e Aplicações
Universidade do Minho
4710-057 Braga
Telefone: 253604362
Fax: [phone]
Email: [e-mail]
URL: http://www.math.uminho.pt

Programas resumidos

Álgebra Linear Numérica
Sistemas de equações lineares: factorizações LU, Cholesky, QR e SVD; métodos iterativos; método dos gradientes conjugados; pré-condicionamento; sistemas sobredeterminados e mínimos quadrados. Valores e vectores próprios: métodos da potência e potência inversa; método QR; método de Lanczos. Valores singulares (decomposição).
[^]
Algoritmos Numéricos e Computação Paralela
Noções básicas da computação paralela. Sistemas de memória distribuída e sistemas de memória partilhada. O modelo ?message-passing?. Algoritmos paralelos para a multiplicação de matrizes e decomposições LU, de Cholesky e