LINHA 3: Teorias e Métodos Computacionais

LINHA 3: Teorias e Métodos Computacionais

Esta linha se caracteriza pelo estudo de algoritmos em seu aspecto fundamental (teoria) e aplicado, visando a utilização dos métodos e técnicas computacionais na solução de problemas técnicos e científicos. A linha inclui os seguintes grandes temas: Correção e Propriedades Formais de Algoritmos; Teoria dos Grafos; Complexidade de Algoritmos; Computação Paralela, Distribuida e de Alto-Desempenho; Algoritmos para Grandes Volumes de Dados; Heurísticas e Meta-Heurísticas; Otimização Combinatória e Pesquisa Operacional; Lógica; Inteligência Computacional; Sistemas de Computação; Teoria da Computação; Matemática da Computação.