Home
Linhas de Pesquisa
Teoria da Computação


Teoria da Computação
Temas de Pesquisa:
- Lógicas não clássicas (não monotônica, paraconsistente)
- Representação do Conhecimento
- Teoria da Prova
- Teoria de Grafos Algoritmos (paralelos, distribuídos, aleatórios, exatos)
- Heurísticas e Meta-heurísticas
- Otimização (programação linear, não linear e inteira)
- Métodos de Decomposição em Otimização
Docentes:
- Prof.ª Dr.ª Ana Karolinna Maia de Oliveira
- Prof.ª Dr.ª Ana Teresa de Castro Martins
- Prof. Dr. Carlos Eduardo Fish de Brito
- Prof.ª Dr.ª Cláudia Linhares Sales
- Prof. Dr. Fernando Antônio de Carvalho Gomes
- Prof. Dr. João Fernando Lima Alcântara
- Prof. Dr. João Paulo Pordeus Gomes
- Prof. Dr. Manoel Bezerra Campêlo Neto
- Prof. Dr. Marcelino Cavalcante Pequeno
- Prof. Dr. Rafael Castro de Andrade
- Prof. Dr. Rudini Menezes Sampaio
- Prof. Dr. Victor Almeida Campos