Gleifer Vaz Alves :: Ciência da Computação
Áreas de Interesse e Atuação:
Fundamentos Matemáticos da Computação:
Lógica;
Teoria da Prova;
Teoria da Computação;
Sistemas de Provas;
Provadores de Teoremas;
Programação Funcional:
Haskell;
Algoritmos & Estrutura de Dados
Ensino de Informática:
Maple;
Voltar
|
Informações
|
CV
|
Pesquisa
Novembro/2003