É uma cadeira de Educaçao Geral oferecida pelo DME (e leccionada por mim e Luis Gaspar) ao resto da universidade. Se ve Logica Proposicional e de Primeira Ordem com um enfoque diferente ao da disciplina Logica Computacional. Alem disto, ven-se diferentes modelos de raciocinio (dedução, indução, abdução, não monotonia). Finalmente ve-se uma introdução a teoria da decisão.
Espero ter esclarecido.
Cumprimentos,
EF