Álgebra e Lógica

Objetivos educativos

A disponibilizar brevemente

Caracterização geral

Código DGES

951

Ciclo

Área de especialidade

Grau

Doutor

Acesso a outros cursos

A disponibilizar brevemente

Coordenador

João Jorge Ribeiro Soares Gonçalves de Araújo

Data de abertura

A disponibilizar brevemente

Número de vagas

A disponibilizar brevemente

Propinas

A disponibilizar brevemente

Horários

A disponibilizar brevemente

Idioma de ensino

A disponibilizar brevemente

Requisitos para obtenção do grau ou diploma

A disponibilizar brevemente

Este percurso é um perfil de

Matemática

Condições de acesso

A disponibilizar brevemente

Regras de avaliação

A disponibilizar brevemente

Estrutura

1.º Semestre - Opção I
Código Nome ECTS
Opções
9623 Álgebra Universal 6.0
11628 Análise Numérica das Equações Diferenciais com Derivadas Parciais 6.0
9635 Cálculo das Variações e Aplicações 6.0
11632 Ciências da Decisão 6.0
11630 Complementos de Análise Funcional 6.0
9644 Complementos de Complexidade Computacional 6.0
11631 Complementos de Equações Diferenciais Ordinárias 6.0
9645 Complementos de Lógica 6.0
11633 Dinâmica Populacional 6.0
11634 Equações Diferenciais com Derivadas Parciais 6.0
11635 Equações Diferenciais Estocásticas 6.0
11636 Modelação em Investigação Operacional 6.0
9631 Semigrupos Numéricos 6.0
11637 Teoria Aditiva dos Números 6.0
11638 Teoria Combinatória de Grupos 6.0
9632 Teoria de Grafos 6.0
11639 Teoria de Operadores 6.0
11640 Tópicos de Álgebra Comutativa e Geometria Algébrica 6.0
11641 Tópicos de Análise Avançada 6.0
11642 Tópicos de Física-Matemática 6.0
9646 Tópicos de Lógica Matemática 6.0
11643 Tópicos de Otimização Combinatória 6.0
11644 Tópicos de Otimização Não Linear 6.0
11696 Tópicos de Semigrupos 6.0
9648 Tópicos de Teoria da Computação 6.0
11645 Tópicos de Topologia e Geometria de Variedades 6.0
11646 Tópicos de Topologia Geral e Algébrica 6.0
O aluno deverá obter 6.0 créditos nesta opção.
1.º Semestre - Opção II
Código Nome ECTS
Opções
9623 Álgebra Universal 6.0
11628 Análise Numérica das Equações Diferenciais com Derivadas Parciais 6.0
9635 Cálculo das Variações e Aplicações 6.0
11632 Ciências da Decisão 6.0
11630 Complementos de Análise Funcional 6.0
9644 Complementos de Complexidade Computacional 6.0
11631 Complementos de Equações Diferenciais Ordinárias 6.0
9645 Complementos de Lógica 6.0
11633 Dinâmica Populacional 6.0
11634 Equações Diferenciais com Derivadas Parciais 6.0
11635 Equações Diferenciais Estocásticas 6.0
11636 Modelação em Investigação Operacional 6.0
9631 Semigrupos Numéricos 6.0
11637 Teoria Aditiva dos Números 6.0
11638 Teoria Combinatória de Grupos 6.0
9632 Teoria de Grafos 6.0
11639 Teoria de Operadores 6.0
11640 Tópicos de Álgebra Comutativa e Geometria Algébrica 6.0
11641 Tópicos de Análise Avançada 6.0
11642 Tópicos de Física-Matemática 6.0
9646 Tópicos de Lógica Matemática 6.0
11643 Tópicos de Otimização Combinatória 6.0
11644 Tópicos de Otimização Não Linear 6.0
11696 Tópicos de Semigrupos 6.0
9648 Tópicos de Teoria da Computação 6.0
11645 Tópicos de Topologia e Geometria de Variedades 6.0
11646 Tópicos de Topologia Geral e Algébrica 6.0
O aluno deverá obter 6.0 créditos nesta opção.
1.º Semestre - Opção III
Código Nome ECTS
Opções
9623 Álgebra Universal 6.0
11628 Análise Numérica das Equações Diferenciais com Derivadas Parciais 6.0
9635 Cálculo das Variações e Aplicações 6.0
11632 Ciências da Decisão 6.0
11630 Complementos de Análise Funcional 6.0
9644 Complementos de Complexidade Computacional 6.0
11631 Complementos de Equações Diferenciais Ordinárias 6.0
9645 Complementos de Lógica 6.0
11633 Dinâmica Populacional 6.0
11634 Equações Diferenciais com Derivadas Parciais 6.0
11635 Equações Diferenciais Estocásticas 6.0
11636 Modelação em Investigação Operacional 6.0
9631 Semigrupos Numéricos 6.0
11637 Teoria Aditiva dos Números 6.0
11638 Teoria Combinatória de Grupos 6.0
9632 Teoria de Grafos 6.0
11639 Teoria de Operadores 6.0
11640 Tópicos de Álgebra Comutativa e Geometria Algébrica 6.0
11641 Tópicos de Análise Avançada 6.0
11642 Tópicos de Física-Matemática 6.0
9646 Tópicos de Lógica Matemática 6.0
11643 Tópicos de Otimização Combinatória 6.0
11644 Tópicos de Otimização Não Linear 6.0
11696 Tópicos de Semigrupos 6.0
9648 Tópicos de Teoria da Computação 6.0
11645 Tópicos de Topologia e Geometria de Variedades 6.0
11646 Tópicos de Topologia Geral e Algébrica 6.0
O aluno deverá obter 6.0 créditos nesta opção.
1.º Semestre - Opção IV
Código Nome ECTS
Opções
9623 Álgebra Universal 6.0
11628 Análise Numérica das Equações Diferenciais com Derivadas Parciais 6.0
9635 Cálculo das Variações e Aplicações 6.0
11632 Ciências da Decisão 6.0
11630 Complementos de Análise Funcional 6.0
9644 Complementos de Complexidade Computacional 6.0
11631 Complementos de Equações Diferenciais Ordinárias 6.0
9645 Complementos de Lógica 6.0
11633 Dinâmica Populacional 6.0
11634 Equações Diferenciais com Derivadas Parciais 6.0
11635 Equações Diferenciais Estocásticas 6.0
11636 Modelação em Investigação Operacional 6.0
9631 Semigrupos Numéricos 6.0
11637 Teoria Aditiva dos Números 6.0
11638 Teoria Combinatória de Grupos 6.0
9632 Teoria de Grafos 6.0
11639 Teoria de Operadores 6.0
11640 Tópicos de Álgebra Comutativa e Geometria Algébrica 6.0
11641 Tópicos de Análise Avançada 6.0
11642 Tópicos de Física-Matemática 6.0
9646 Tópicos de Lógica Matemática 6.0
11643 Tópicos de Otimização Combinatória 6.0
11644 Tópicos de Otimização Não Linear 6.0
11696 Tópicos de Semigrupos 6.0
9648 Tópicos de Teoria da Computação 6.0
11645 Tópicos de Topologia e Geometria de Variedades 6.0
11646 Tópicos de Topologia Geral e Algébrica 6.0
O aluno deverá obter 6.0 créditos nesta opção.
1.º Semestre - Opção V
Código Nome ECTS
Opções
9623 Álgebra Universal 6.0
11628 Análise Numérica das Equações Diferenciais com Derivadas Parciais 6.0
9635 Cálculo das Variações e Aplicações 6.0
11632 Ciências da Decisão 6.0
11630 Complementos de Análise Funcional 6.0
9644 Complementos de Complexidade Computacional 6.0
11631 Complementos de Equações Diferenciais Ordinárias 6.0
9645 Complementos de Lógica 6.0
11633 Dinâmica Populacional 6.0
11634 Equações Diferenciais com Derivadas Parciais 6.0
11635 Equações Diferenciais Estocásticas 6.0
11636 Modelação em Investigação Operacional 6.0
9631 Semigrupos Numéricos 6.0
11637 Teoria Aditiva dos Números 6.0
11638 Teoria Combinatória de Grupos 6.0
9632 Teoria de Grafos 6.0
11639 Teoria de Operadores 6.0
11640 Tópicos de Álgebra Comutativa e Geometria Algébrica 6.0
11641 Tópicos de Análise Avançada 6.0
11642 Tópicos de Física-Matemática 6.0
9646 Tópicos de Lógica Matemática 6.0
11643 Tópicos de Otimização Combinatória 6.0
11644 Tópicos de Otimização Não Linear 6.0
11696 Tópicos de Semigrupos 6.0
9648 Tópicos de Teoria da Computação 6.0
11645 Tópicos de Topologia e Geometria de Variedades 6.0
11646 Tópicos de Topologia Geral e Algébrica 6.0
O aluno deverá obter 6.0 créditos nesta opção.
2.º Semestre
Código Nome ECTS
11622 Seminário de Álgebra e Lógica 3.0
2.º Ano
Código Nome ECTS
11625 Tese de Álgebra e Lógica 147.0