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