COPPE/Departamento de Engenharia de Sistemas e Computação

Lógica Matemática

Ementa

Bibliografia

Listas de exercícios

Avaliação

Material de apoio:

  • Apostila do Prof. Mario Benevides
  • Notas de aula sobre Lógica (baseadas no livro do Russell, caps 6, 7 e 9):
  • Sobre Prolog: