Lógica Computacional

Já não me lembro muito bem da cadeira, mas recordo me tanto as aulas teóricas como práticas eram importantes, Os testes requerem muito estudo e noções teóricas, usem AI como o NoteBook para método estudo e síntese de matéria

A cadeira de Lógica Computacional foi, na minha opinião, uma unidade curricular importante para desenvolver raciocínio lógico e capacidade de argumentação formal. Apesar de ser uma cadeira mais teórica e abstrata do que outras, acaba por ser útil porque ensina a estruturar melhor o pensamento, justificar conclusões e trabalhar com regras de inferência de forma rigorosa.

A carga de trabalho foi moderada a pesada. A matéria não é impossível, mas exige prática regular, porque no início alguns exercícios podem parecer pouco intuitivos. Temas como lógica proposicional, lógica de predicados,...

Cadeira muito difícil de perceber os professores não explicam muito bem a matéria

Uma cadeira puramente sobre aprenderes as formas de fazer as práticas. Tens práticas bastante precisas e as avaliações que se baseiam a letra no que fazes nas mesmas. Professores atenciosos. Cadeira um pouco teórica que se fizeres as fichas práticas disponibilizadas, irá começar a fazer mais sentido.