Lógica para Programação

O objetivo da UC é fornecer conhecimento sobre o que é uma lógica - quais os seus componentes, como desenvolver provas no sistema dedutivo, como utilizar o sistema semântico e como relacionar estes dois últimos. Iremos ainda perceber os conceitos subjacentes ao raciocínio automático e programar com o paradigma da programação em lógica (em Prolog).

Os Slides da UC, bem como o Livro que acompanha a cadeira (Lógica e Raciocínio, do professor Pavão Martins) e a coletânea de exercícios (da professora Maria Cravo) não podem ser disponibilizados nesta página. Contudo, deverão estar acessíveis na página da cadeira no Fénix, pelo que qualquer menção a estes documentos (e.g referência a um slide, por exemplo) terá em conta que os alunos têm acesso aos mesmos, ainda que não disponibilizados aqui.

Recursos