Álgebra e Lógica

Terceiro ciclo

Doutor

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

1.º Semestre
Código	Nome	Créditos

1.º Semestre - Opção I
Código	Nome	Créditos
Opções
11628	Análise Numérica das Equações Diferenciais com Derivadas Parciais	6.0
9623	Álgebra Universal	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
11641	Tópicos de Análise Avançada	6.0
11640	Tópicos de Álgebra Comutativa e Geometria Algébrica	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	Créditos
Opções
11628	Análise Numérica das Equações Diferenciais com Derivadas Parciais	6.0
9623	Álgebra Universal	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
11641	Tópicos de Análise Avançada	6.0
11640	Tópicos de Álgebra Comutativa e Geometria Algébrica	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	Créditos
Opções
11628	Análise Numérica das Equações Diferenciais com Derivadas Parciais	6.0
9623	Álgebra Universal	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
11641	Tópicos de Análise Avançada	6.0
11640	Tópicos de Álgebra Comutativa e Geometria Algébrica	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	Créditos
Opções
11628	Análise Numérica das Equações Diferenciais com Derivadas Parciais	6.0
9623	Álgebra Universal	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
11641	Tópicos de Análise Avançada	6.0
11640	Tópicos de Álgebra Comutativa e Geometria Algébrica	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	Créditos
Opções
11628	Análise Numérica das Equações Diferenciais com Derivadas Parciais	6.0
9623	Álgebra Universal	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
11641	Tópicos de Análise Avançada	6.0
11640	Tópicos de Álgebra Comutativa e Geometria Algébrica	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	Créditos
11622	Seminário de Álgebra e Lógica	3.0