Prof. Adolfo Neto (DAINF-UTFPR)

This is an old revision of the document!

---

• 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 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.