Lógica Matemática

Os conteúdos da cadeira não são os mais acessíveis, por isso, é importante ir acompanhando ao longo do semestre.

É útil ir às aulas. Os apontamentos são incompletos e não temos acesso a muitos exercícios resolvidos.

A avaliação baseia-se em quatro testes de 30 minutos cada - o que é claramente insuficiente, uma vez que é preciso tempo para pensar nos exercícios e resolvê-los propriamente dito.

Esta é uma das melhores cadeiras que já tive. Os conteúdos são super interessantes e o professor é excelente, explica muito bem e a um ritmo adequado. As notas de apoio são muito incompletas e os exercícios não têm resolução, mas o professor escreve tudo de forma organizada no quadro durante as aulas e resolve bastantes exercícios nas aulas práticas. A avaliação é em quatro testes e em exame de recurso é permitido melhorá-los individualmente, o que é excelente. No entanto, a dificuldade do exame de recurso é inexplicavelmente maior, pelo que é aconselhável apostar na avaliação contínua.

That was a really well-structured course, where we learn a lot not only about the fundaments but also about the aplications of Logic. In addition, the evaluation method was clever. The materials given were very adequate and I suggest that for the Next time we have a project about a specific subject