Curso


Grau académico de Mestre

--
(Percurso Geral) 120 ECTS
Entidade Situação de acreditação Publicada em Processo de acreditação
A3ES Com Acreditação 28-07-2021 Link
Grau académico de Mestre

--
ⓘ Clique sobre um Percurso, de forma a consultar toda a sua informação relativa à Estrutura Curricular e ao Plano de Estudos.
Entidade Situação de acreditação Publicada em Processo de acreditação
A3ES Com Acreditação 28-07-2021 Link
Grau académico de Mestre

--
ⓘ Clique sobre um Percurso, de forma a consultar toda a sua informação relativa à Estrutura Curricular e ao Plano de Estudos.
Entidade Situação de acreditação Publicada em Processo de acreditação
A3ES Com Acreditação 15-01-2016 Link
Grau académico de Mestre

--
ⓘ Clique sobre um Percurso, de forma a consultar toda a sua informação relativa à Estrutura Curricular e ao Plano de Estudos.
Estrutura Curricular
Estrutura Curricular
Área Científica Sigla ECTS Peso
Obrigatórios Optativos
Mínimo Máximo
Qualquer Área Científica QAC 0 5 5 4.17%
Matemática MAT 90 10 10 83.33%
Matemática/Ciências da Computação/Estatística/Informática MAT/CC/EST/I 0 5 5 4.17%
Informática I 0 0 0 0%
Ciências da Computação CC 0 0 0 0%
Estatística EST 0 0 0 0%
Matemática / Ciências da Computação / Estatística MAT/CC/EST 0 10 10 8.33%
Total 90 30
Plano de Estudos
Plano de Estudos
Duração Op. Unidades Curriculares Sigla Horas ECTS
Total Contacto
1º Ano 1680h 345h 60
Semestral 1ºS Computação Científica MAT 140h 45h
 ( TP 45h  )
5
Semestral 1ºS Sim Opção 1
Leque de Escolha:
Semigrupos
Teoria de Categorias
Introdução aos Algoritmos e à Programação
Aplicações em Probabilidade e Modelação Estocástica
Tópicos de Lógica
Complementos de Análise Numérica
Teoria de Códigos
Tópicos de Equações com Derivadas Parciais
Introdução à Otimização
MAT/CC/EST/I 140h

140h
140h
140h
140h
140h
140h
140h
140h
140h
0h

45h  ( T 30h  TP 15h  )
45h  ( T 15h  TP 30h  )
45h  ( TP 30h  T 15h  )
45h  ( TP 45h  )
45h  ( TP 45h  )
45h  ( TP 45h  )
45h  ( TP 45h  )
45h  ( T 15h  TP 30h  )
45h  ( TP 45h  )
5

5
5
5
5
5
5
5
5
5
Semestral 1ºS Sim Opção 2
Leque de Escolha:
Tópicos de Lógica
Teoria de Categorias
Introdução à Otimização
Tópicos de Equações com Derivadas Parciais
Complementos de Análise Numérica
Semigrupos
MAT 140h

140h
140h
140h
140h
140h
140h
0h

45h  ( TP 45h  )
45h  ( T 15h  TP 30h  )
45h  ( TP 45h  )
45h  ( T 15h  TP 30h  )
45h  ( TP 45h  )
45h  ( T 30h  TP 15h  )
5

5
5
5
5
5
5
Semestral 1ºS Tópicos de Álgebra MAT 210h 60h
 ( T 45h  TP 15h  )
7.5
Semestral 1ºS Tópicos de Análise Funcional MAT 210h 60h
 ( T 30h  TP 30h  )
7.5
Semestral 2ºS Modelação Matemática e Simulação MAT 140h 45h
 ( T 30h  TP 15h  )
5
Semestral 2ºS Sim Opção 3
Leque de Escolha:
Estatística Bayesiana e Aplicações
Complementos de Álgebra Linear
Módulos e Anéis
Álgebra Linear Computacional
Otimização em Machine Learning
Complementos de Análise Funcional
Tópicos de Sistemas Dinâmicos
Teoria de Aprendizagem Estatística
MAT/CC/EST 140h

140h
140h
140h
140h
140h
140h
140h
140h
0h

45h  ( TP 45h  )
45h  ( TP 45h  )
45h  ( TP 15h  T 30h  )
45h  ( TP 45h  )
45h  ( T 15h  PL 30h  )
45h  ( T 15h  TP 30h  )
45h  ( TP 45h  )
45h  ( TP 30h  PL 15h  )
5

5
5
5
5
5
5
5
5
Semestral 2ºS Sim Opção 4
Leque de Escolha:
Álgebra Linear Computacional
Tópicos de Sistemas Dinâmicos
Módulos e Anéis
Complementos de Análise Funcional
Complementos de Álgebra Linear
MAT 140h

140h
140h
140h
140h
140h
0h

45h  ( TP 45h  )
45h  ( TP 45h  )
45h  ( TP 15h  T 30h  )
45h  ( T 15h  TP 30h  )
45h  ( TP 45h  )
5

5
5
5
5
5
Semestral 2ºS Projeto Integrado em Matemática e Computação MAT 280h 90h
 ( OT 90h  )
10
Semestral 2ºS Tópicos de Geometria e Topologia MAT 140h 45h
 ( T 30h  TP 15h  )
5
2º Ano 1680h 30h 60
Anual Dissertação MAT 1400h 30h
 ( OT 30h  )
50
Semestral 1ºS Sim Opção 5
Leque de Escolha:
Introdução à Topologia Algébrica
Teoria de Categorias
Complementos de Análise Numérica
Métodos de Previsão e Séries Temporais
Teoria de Códigos
Introdução à Otimização
Geometria Computacional
Tópicos de Lógica
Estatística Espacial
Introdução aos Algoritmos e à Programação
Teoria Ergódica
Tópicos de Equações com Derivadas Parciais
Métricas em Machine Learning
Modelos de Dados Longitudinais
QAC 140h

140h
140h
140h
140h
140h
140h
140h
140h
140h
140h
140h
140h
140h
140h
0h

45h  ( T 30h  TP 15h  )
45h  ( T 15h  TP 30h  )
45h  ( TP 45h  )
45h  ( PL 15h  TP 30h  )
45h  ( TP 45h  )
45h  ( TP 45h  )
45h  ( TP 45h  )
45h  ( TP 45h  )
45h  ( TP 30h  PL 15h  )
45h  ( TP 30h  T 15h  )
45h  ( TP 45h  )
45h  ( T 15h  TP 30h  )
45h  ( T 15h  PL 30h  )
45h  ( TP 45h  )
5

5
5
5
5
5
5
5
5
5
5
5
5
5
5
Semestral 1ºS Sim Opção 6
Leque de Escolha:
Introdução à Otimização
Métricas em Machine Learning
Aplicações em Probabilidade e Modelação Estocástica
Teoria de Categorias
Álgebra Universal
Geometria Riemanniana
Complementos de Análise Numérica
Introdução à Topologia Algébrica
Semigrupos
História da Análise
Teoria de Códigos
Estatística Espacial
Tópicos de Equações com Derivadas Parciais
Modelos de Dados Longitudinais
Métodos de Previsão e Séries Temporais
MAT/CC/EST 140h

140h
140h
140h
140h
140h
140h
140h
140h
140h
140h
140h
140h
140h
140h
140h
0h

45h  ( TP 45h  )
45h  ( T 15h  PL 30h  )
45h  ( TP 45h  )
45h  ( T 15h  TP 30h  )
45h  ( TP 30h  T 15h  )
45h  ( TP 45h  )
45h  ( TP 45h  )
45h  ( T 30h  TP 15h  )
45h  ( T 30h  TP 15h  )
45h  ( TP 45h  )
45h  ( TP 45h  )
45h  ( TP 30h  PL 15h  )
45h  ( T 15h  TP 30h  )
45h  ( TP 45h  )
45h  ( PL 15h  TP 30h  )
5

5
5
5
5
5
5
5
5
5
5
5
5
5
5
5
T: Ensino teórico , TP: Ensino teórico-prático , PL: Ensino prático e laboratorial , TC: Trabalho de campo , S: Seminário , E: Estágio , OT: Orientação tutorial , O: Outro tipo de contacto
AD: Assíncrono a distância , SD: Síncrono a distância
Estrutura Curricular
Estrutura Curricular
Área Científica Sigla ECTS Peso
Obrigatórios Optativos
Mínimo Máximo
Matemática/Ciências da Computação/Estatística/Informática MAT/CC/EST/I 0 5 5 4.17%
Informática I 0 10 10 8.33%
Ciências da Computação CC 62.5 0 0 52.08%
Matemática MAT 22.5 0 0 18.75%
Matemática / Ciências da Computação / Informática MAT/CC/I 0 5 5 4.17%
Ciências da Computação / Informática CC/I 0 10 10 8.33%
Qualquer Área Científica QAC 0 5 5 4.17%
Estatística EST 0 0 0 0%
Total 85 35
Plano de Estudos
Plano de Estudos
Duração Op. Unidades Curriculares Sigla Horas ECTS
Total Contacto
1º Ano 1680h 300h 60
Semestral 1ºS Sim Opção 1
Leque de Escolha:
Computação Paralela
Introdução à Otimização
Teoria de Códigos
Introdução aos Algoritmos e à Programação
Requisitos e Arquiteturas de Software
Computação Científica
Engenharia de Serviços em Rede
Geometria Computacional
Aplicações e Serviços de Computação em Nuvem
Teoria de Categorias
MAT/CC/I 140h

140h
140h
140h
140h
140h
140h
140h
140h
140h
140h
0h

45h  ( T 15h  PL 30h  )
45h  ( TP 45h  )
45h  ( TP 45h  )
45h  ( TP 30h  T 15h  )
45h  ( T 15h  PL 30h  )
45h  ( TP 45h  )
45h  ( PL 30h  T 15h  )
45h  ( TP 45h  )
45h  ( PL 30h  T 15h  )
45h  ( T 15h  TP 30h  )
5

5
5
5
5
5
5
5
5
5
5
Semestral 1ºS Sim Opção 2
Leque de Escolha:
Métodos Formais em Engenharia de Software
Segurança de Dados
Métricas em Machine Learning
CC/I 140h

140h
140h
140h
0h

45h  ( T 15h  TP 30h  )
45h  ( PL 30h  T 15h  )
45h  ( T 15h  PL 30h  )
5

5
5
5
Semestral 1ºS Sim Opção 3
Leque de Escolha:
Cálculo de Sistemas de Informação
Segurança de Sistemas de Computação
Dados e Aprendizagem Automática
Computação Quântica: Fundamentos e Algoritmos
I 140h

140h
140h
140h
140h
0h

45h  ( T 30h  TP 15h  )
45h  ( PL 30h  T 15h  )
45h  ( T 15h  PL 30h  )
60h  ( PL 30h  T 30h  )
5

5
5
5
5
Semestral 1ºS Tópicos de Álgebra MAT 210h 60h
 ( T 45h  TP 15h  )
7.5
Semestral 1ºS Tópicos de Lógica Computacional CC 210h 60h
 ( T 30h  TP 30h  )
7.5
Semestral 2ºS Complexidade Computacional CC 140h 45h
 ( TP 45h  )
5
Semestral 2ºS Modelação Matemática e Simulação MAT 140h 45h
 ( T 30h  TP 15h  )
5
Semestral 2ºS Sim Opção 4
Leque de Escolha:
Lógica Quântica
Programação Ciber-Física
Criptografia
Otimização em Machine Learning
CC/I 140h

140h
140h
140h
140h
0h

60h  ( TP 30h  T 30h  )
45h  ( TP 15h  T 30h  )
45h  ( T 15h  PL 30h  )
45h  ( T 15h  PL 30h  )
5

5
5
5
5
Semestral 2ºS Sim Opção 5
Leque de Escolha:
Elementos de Aprendizagem Máquina Quântica
Aprendizagem Profunda
Segurança de Software
Verificação Formal
I 140h

140h
140h
140h
140h
0h

60h  ( TP 30h  T 30h  )
45h  ( T 15h  PL 30h  )
45h  ( T 15h  PL 30h  )
45h  ( T 30h  TP 15h  )
5

5
5
5
5
Semestral 2ºS Projeto Integrado em Matemática e Computação MAT 280h 90h
 ( OT 90h  )
10
2º Ano 1680h 30h 60
Anual Dissertação CC 1400h 30h
 ( OT 30h  )
50
Semestral 1ºS Sim Opção 6
Leque de Escolha:
Geometria Computacional
Métodos Formais em Engenharia de Software
Estatística Espacial
Engenharia de Serviços em Rede
Requisitos e Arquiteturas de Software
Aplicações e Serviços de Computação em Nuvem
Computação Paralela
Teoria de Códigos
Computação Científica
Métricas em Machine Learning
Teoria de Categorias
Introdução à Otimização
Modelos de Dados Longitudinais
QAC 140h

140h
140h
140h
140h
140h
140h
140h
140h
140h
140h
140h
140h
140h
0h

45h  ( TP 45h  )
45h  ( T 15h  TP 30h  )
45h  ( TP 30h  PL 15h  )
45h  ( PL 30h  T 15h  )
45h  ( T 15h  PL 30h  )
45h  ( PL 30h  T 15h  )
45h  ( T 15h  PL 30h  )
45h  ( TP 45h  )
45h  ( TP 45h  )
45h  ( T 15h  PL 30h  )
45h  ( T 15h  TP 30h  )
45h  ( TP 45h  )
45h  ( TP 45h  )
5

5
5
5
5
5
5
5
5
5
5
5
5
5
Semestral 1ºS Sim Opção 7
Leque de Escolha:
Teoria de Categorias
Aplicações em Probabilidade e Modelação Estocástica
Computação Paralela
Métricas em Machine Learning
Aplicações e Serviços de Computação em Nuvem
Modelos de Dados Longitudinais
Métodos Formais em Engenharia de Software
Geometria Computacional
Introdução à Otimização
Computação Científica
Estatística Espacial
MAT/CC/EST/I 140h

140h
140h
140h
140h
140h
140h
140h
140h
140h
140h
140h
0h

45h  ( T 15h  TP 30h  )
45h  ( TP 45h  )
45h  ( T 15h  PL 30h  )
45h  ( T 15h  PL 30h  )
45h  ( PL 30h  T 15h  )
45h  ( TP 45h  )
45h  ( T 15h  TP 30h  )
45h  ( TP 45h  )
45h  ( TP 45h  )
45h  ( TP 45h  )
45h  ( TP 30h  PL 15h  )
5

5
5
5
5
5
5
5
5
5
5
5
T: Ensino teórico , TP: Ensino teórico-prático , PL: Ensino prático e laboratorial , TC: Trabalho de campo , S: Seminário , E: Estágio , OT: Orientação tutorial , O: Outro tipo de contacto
AD: Assíncrono a distância , SD: Síncrono a distância
Entidade Situação de acreditação Publicada em Processo de acreditação
A3ES Com Acreditação 15-05-2026 Link
Logótipos (COMPETE 2020, PORTUGAL 2020 e UE)