Algoritmos para Lógica Computacional

I liked the course, though I understand it's not for everyone — it’s exactly what the name suggests: algorithms and logic.

There are three small projects with the same problem, each solved in a different paradigm. I found the first one the hardest because it was more abstract, but overall they were all relatively easy to complete (you can do them all in Python using the provided interfaces).

Completing the projects and solving previous exams is enough to prepare for the exam. I recommend attending the lab sessions; I didn't go to the lectures, and I don't think I missed much. I recommend the...