Instituto de Matemática

Departamento de Ciência da Computação

  • MAB235: Lógica em Programação
  • MAB508: Inteligência Artificial

    COPPE

    Departamento de Engenharia de Sistemas e Computação

  • CPS862: Tópicos Especiais em Computação de Alto Desempenho
  • COS740: Inteligência Artificial
  • COS873: Tópicos Especiais em Processamento Paralelo
  • COS840: Tópicos Especiais em Inteligência Artificial
  • COS773: Sistemas Operacionais
  • COS761: Programação Concorrente
  • Lógica (2006-1)