• Apresentação
  • Linhas de Pesquisa
  • Teses e Dissertações
  • Corpo Docente
Principal
  • Home
  • Apresentação
  • Regimento Interno e Normas
  • Corpo Docente
  • Teses e Dissertações
  • Linhas de Pesquisa
    • Ciência Computacional
    • Sistemas de Informação
    • Teoria da Computação
  • Grupos de Pesquisa
  • Notícias
  • Infraestrutura
  • Contatos
Processo Seletivo
  • Inscrições
  • Informações Gerais
  • Editais e Portarias
  • Áreas e Sub-Áreas
  • Resultados
Alunos
  • Oferta de Disciplinas
  • Componentes Curriculares
  • Normas de Exame de Qualificação
  • Normalização de Trabalhos Acadêmicos
  • Acesso às ementas
Home Linhas de Pesquisa Teoria da Computação

Teoria da Computação

PDF | Imprimir | E-mail

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
 

Copyright © 2010-2011 MDCC-UFC.
All Rights Reserved.

Designed by Joomla Desk.