Eixo Profissional: Algoritmos e Combinatória

A modelagem de problemas usando grafos e o projeto de algoritmos são essenciais em quase todas as áreas de Ciência da Computação. Neste núcleo, a investigação fica voltada para problemas de natureza combinatória com objetivo de desenvolver algoritmos eficientes, exatos ou heurísticos.

Esse núcleo compreende as disciplinas da área de Teoria da Computação com especialização nas áreas de Algoritmos, Teoria dos Grafos e Otimização Combinatória.

Dentre as disciplinas obrigatórias deste eixo estão:
Estruturas de Dados I, Lógica para Computação, Matemática Discreta para Computação, Análise e Projeto de Algoritmos, Grafos e Algoritmos, Linguagens Formais e Autômatos e Otimização Linear.

Professores Responsáveis:

• Adria Lyra
• Daniel Posner
• Fernanda Couto
• Ricardo C. Corrêa

Além das disciplinas obrigatórias, o discente deverá cursar uma carga horária mínima de 180 (cento e oitenta) horas em disciplinas optativas para estar apto a solicitar o Certificado de Estudos Especiais para este eixo, o equivalente a 3 (três) disciplinas de 60 (sessenta) horas. As disciplinas optativas que compõem este eixo, seus pré-requisitos e ementas são:

• Tópicos Especiais em Otimização (TM420)
• Otimização Combinatória
• Introdução a Biologia Computacional
• Introdução à Pesquisa Operacional
• Teoria dos Grafos
• Tópicos Especiais em Grafos e Algoritmos
• Teoria dos Jogos Algorítmica