Algoritmos para Lógica Computacional

The theoretical classes are pretty important - would not skip them. The lecturer is also pretty good at teaching.

On the practical classes we went through some practical exercises and we did some coding exercises similar to what is expected for the project, I recommend going.

Esta cadeira é das mais interessantes que já tive e o professor explica muito bem. Os slides são muito bons. Os projetos são acessíveis mas os testes públicos disponibilizados são demasiado simples, comparando com os testes privados que o professor usa para avaliar, e não há informação dos tempos de execução previstos para termos noção da qualidade da nossa implementação. O exame tem nível de dificuldade moderado, e sendo uma cadeira de 1.º período o exame de recurso é só vários meses depois de a cadeira acabar, pelo que seria preferível fazer dois testes ao longo do período e um exame de...

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