Objectivos de Aprendizagem |
Esta disciplina apresenta os principais conceitos da Lógica, na sua vertente computacional, i.e. acompanhados dos algoritmos e das técnicas computacionais, assim os objetivos de aprendizagem focam-se: Compreensão dos Fundamentos da Lógica de Programação; Aprendizado da Sintaxe e Semântica do Prolog; Desenvolvimento de Habilidades de Programação Declarativa; Construção de Sistemas Baseados em Regras; Aplicação em Inteligência Artificial e Sistemas Especialistas; Resolução de Problemas Lógicos; Desenvolvimento de Projetos Práticos e Entendimento da Eficiência e Limitações do Prolog.
|
Bibliografia principal |
Material de ensino: Disponibilizado na página da UC no Moodle.
Livros: Mordechai Ben-Ari. Mathematical Logic for Computer Science. Springer, 3rd edition, 2012. Michael Huth and Mark Ryan. Logic in Computer Science: Modelling and reasoning about systems. CUP, 2004. Jon Barwise and John Etchmendy. Language, Proof, and Logic. CSLI, 2nd Edition, 2011. D. van Dalen. Logic and Structure. 5th Edition, Springer Verlag, Berlin, Germany, 2013.
Adicional: -Shawn Hedman. A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity. Oxford Texts in Logic, 2004.
|