* [[Guia de Estudo para a Prova 1 de Lógica para Computação]]
  * [[Guia de Estudo para a Prova 2 de Lógica para Computação]]
  * [[Trabalho sobre Lógica de Predicados|Trabalho 3, sobre Lógica de Predicados]]
  * [[Guia de Estudo para a Prova 3 de Lógica para Computação]]
  * Para a Prova de Recuperação, use o Guia de Estudo da Prova cuja nota deseja recuperar.
  * Para a Prova Final, use o Guia de Estudo das Provas 1 a 3.