Lógica

A disciplina de Lógica Computacional, que é uma disciplina obrigatória da área científica de Sistemas Simbólicos de Decisão e de Informação (SSDI), é leccionada no 1ª semestre da Licenciatura em Engenharia Informática. A carga horária semanal é de 3 horas teóricas e 3 horas práticas. O número de unidades de crédito obtidas com a disciplina é de 4.
Objectivos: Pretende-se dar aos alunos uma introdução à lógica de primeira ordem com ênfase no seu uso prático para a resolução de problemas, isto é, nos seus aspectos computacionais.

Vem Conhecer o NEEC!!