Grupo de Pesquisa em
Fundamentos de Computação
Embedded Files
Instituto de Informática - Universidade Federal de Goiás
Sobre
Sobre
A linha de pesquisa em Fundamentos de Computação investiga aspectos teóricos da computação e de suas aplicações práticas, tratando tópicos em:
Linguagens Formais,
Algoritmos,
Grafos,
Lógica e Semântica de Programas,
Matemática Discreta e
Otimização.
Interesses de Pesquisa
Interesses de Pesquisa
Algoritmos e Grafos
Teoria de Grafos
Algoritmos e Complexidade Computacional
Lógica e Semântica de Programas
Modelos de Computação
Teoria de Tipos
Pesquisa Operacional
Otimização
Mineração de Dados
Objetivo
Objetivo
Identificar e formular problemas matematicamente ou logicamente;
Desenvolver algoritmos eficientes para os mesmos;
Mostrar, em certos casos, que algoritmos eficientes potencialmente não existem;
Disseminar conhecimento fundamental que contribua para avanços na área.
Portais relacionados
Portais relacionados
Monkeys
Page updated
Report abuse