Lógica e Fundamentos da Matemática

Ciclo

Terceiro ciclo

Grau

Doutor

Este percurso é um perfil de

• Matemática

Coordenador

Luís Manuel Trabucho de Campos

Estrutura

1.º Semestre
Código	Nome	Créditos

1.º Semestre - Opção 1
Código	Nome	Créditos
Opções
9624	Álgebra Homotópica	6.0
9623	Álgebra Universal	6.0
9634	Álgebras de Operadores	6.0
9635	Cálculo das Variações e Aplicações	6.0
9636	Complementos de Análise Funcional e Teoria de Operadores	6.0
9739	Complementos de Álgebra	6.0
9644	Complementos de Complexidade Computacional	6.0
9645	Complementos de Lógica	6.0
9628	Complementos de Sistemas de Reescrita	6.0
9629	Complementos de Teoria de Semigrupos	6.0
9639	Equações Diferenciais e Integrais em Biologia	6.0
9642	Geometria Algébrica	6.0
9643	Introdução à Dinâmica Holomorfa	6.0
9630	Matrizes, Valores Próprios e Multiplicidades	6.0
9740	Método dos Elementos Finitos	6.0
9641	Métodos Matemáticos e Numéricos Em Mecânica dos Fluidos	6.0
9640	Métodos Matemáticos em Mecânica dos Meios Contínuos	6.0
9638	Teoria da Homogeneização	6.0
9632	Teoria de Grafos	6.0
9646	Tópicos de Lógica Matemática	6.0
9633	Tópicos de Semigrupos	6.0
9648	Tópicos de Teoria da Computação	6.0
O aluno deverá obter 6.0 créditos nesta opção.

1.º Semestre - Opção 2
Código	Nome	Créditos
Opções
9624	Álgebra Homotópica	6.0
9623	Álgebra Universal	6.0
9634	Álgebras de Operadores	6.0
9635	Cálculo das Variações e Aplicações	6.0
9636	Complementos de Análise Funcional e Teoria de Operadores	6.0
9739	Complementos de Álgebra	6.0
9644	Complementos de Complexidade Computacional	6.0
9645	Complementos de Lógica	6.0
9628	Complementos de Sistemas de Reescrita	6.0
9629	Complementos de Teoria de Semigrupos	6.0
9639	Equações Diferenciais e Integrais em Biologia	6.0
9642	Geometria Algébrica	6.0
9643	Introdução à Dinâmica Holomorfa	6.0
9630	Matrizes, Valores Próprios e Multiplicidades	6.0
9740	Método dos Elementos Finitos	6.0
9641	Métodos Matemáticos e Numéricos Em Mecânica dos Fluidos	6.0
9640	Métodos Matemáticos em Mecânica dos Meios Contínuos	6.0
9638	Teoria da Homogeneização	6.0
9632	Teoria de Grafos	6.0
9646	Tópicos de Lógica Matemática	6.0
9633	Tópicos de Semigrupos	6.0
9648	Tópicos de Teoria da Computação	6.0
O aluno deverá obter 6.0 créditos nesta opção.

1.º Semestre - Opção 3
Código	Nome	Créditos
Opções
9624	Álgebra Homotópica	6.0
9623	Álgebra Universal	6.0
9634	Álgebras de Operadores	6.0
9635	Cálculo das Variações e Aplicações	6.0
9636	Complementos de Análise Funcional e Teoria de Operadores	6.0
9739	Complementos de Álgebra	6.0
9644	Complementos de Complexidade Computacional	6.0
9645	Complementos de Lógica	6.0
9628	Complementos de Sistemas de Reescrita	6.0
9629	Complementos de Teoria de Semigrupos	6.0
9639	Equações Diferenciais e Integrais em Biologia	6.0
9642	Geometria Algébrica	6.0
9643	Introdução à Dinâmica Holomorfa	6.0
9630	Matrizes, Valores Próprios e Multiplicidades	6.0
9740	Método dos Elementos Finitos	6.0
9641	Métodos Matemáticos e Numéricos Em Mecânica dos Fluidos	6.0
9640	Métodos Matemáticos em Mecânica dos Meios Contínuos	6.0
9638	Teoria da Homogeneização	6.0
9632	Teoria de Grafos	6.0
9646	Tópicos de Lógica Matemática	6.0
9633	Tópicos de Semigrupos	6.0
9648	Tópicos de Teoria da Computação	6.0
O aluno deverá obter 6.0 créditos nesta opção.

1.º Semestre - Opção 4
Código	Nome	Créditos
Opções
9624	Álgebra Homotópica	6.0
9623	Álgebra Universal	6.0
9634	Álgebras de Operadores	6.0
9635	Cálculo das Variações e Aplicações	6.0
9636	Complementos de Análise Funcional e Teoria de Operadores	6.0
9739	Complementos de Álgebra	6.0
9644	Complementos de Complexidade Computacional	6.0
9645	Complementos de Lógica	6.0
9628	Complementos de Sistemas de Reescrita	6.0
9629	Complementos de Teoria de Semigrupos	6.0
9639	Equações Diferenciais e Integrais em Biologia	6.0
9642	Geometria Algébrica	6.0
9643	Introdução à Dinâmica Holomorfa	6.0
9630	Matrizes, Valores Próprios e Multiplicidades	6.0
9740	Método dos Elementos Finitos	6.0
9641	Métodos Matemáticos e Numéricos Em Mecânica dos Fluidos	6.0
9640	Métodos Matemáticos em Mecânica dos Meios Contínuos	6.0
9638	Teoria da Homogeneização	6.0
9632	Teoria de Grafos	6.0
9646	Tópicos de Lógica Matemática	6.0
9633	Tópicos de Semigrupos	6.0
9648	Tópicos de Teoria da Computação	6.0
O aluno deverá obter 6.0 créditos nesta opção.

1.º Semestre - Opção 5
Código	Nome	Créditos
Opções
9624	Álgebra Homotópica	6.0
9623	Álgebra Universal	6.0
9634	Álgebras de Operadores	6.0
9635	Cálculo das Variações e Aplicações	6.0
9636	Complementos de Análise Funcional e Teoria de Operadores	6.0
9739	Complementos de Álgebra	6.0
9644	Complementos de Complexidade Computacional	6.0
9645	Complementos de Lógica	6.0
9628	Complementos de Sistemas de Reescrita	6.0
9629	Complementos de Teoria de Semigrupos	6.0
9639	Equações Diferenciais e Integrais em Biologia	6.0
9642	Geometria Algébrica	6.0
9643	Introdução à Dinâmica Holomorfa	6.0
9630	Matrizes, Valores Próprios e Multiplicidades	6.0
9740	Método dos Elementos Finitos	6.0
9641	Métodos Matemáticos e Numéricos Em Mecânica dos Fluidos	6.0
9640	Métodos Matemáticos em Mecânica dos Meios Contínuos	6.0
9638	Teoria da Homogeneização	6.0
9632	Teoria de Grafos	6.0
9646	Tópicos de Lógica Matemática	6.0
9633	Tópicos de Semigrupos	6.0
9648	Tópicos de Teoria da Computação	6.0
O aluno deverá obter 6.0 créditos nesta opção.

2.º Semestre
Código	Nome	Créditos
Opções
9632	Teoria de Grafos	6.0

2.º Ano
Código	Nome	Créditos
9658	Tese de Lógica e Fundamentos da Matemática	147.0