Lógica Computacional

Imagem d@ Sebastião Pais [Ficheiro Local]
Sebastião Pais
Código:
16673
Ano:
2
Semestre:
S1
Créditos ECTS:
6
Carga Horária:
PL(30H)/T(30H)
Área Científica:
Informática
Tipo de ensino:
Presencial.
Estágios:
Não aplicável.
Objectivos de Aprendizagem:
Esta UC 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.
Conteúdos programáticos:
Introdução à disciplina: reflexão sobre os conceitos fundamentais relacionados com a resolução de problemas por computador e sobre os paradigmas de programação.
Introdução à Programação Lógica: Caracterização do paradigma lógico; Definições básicas: predicados, termos e cláusulas; Unificação; Árvore de Prova e Árvore de Procura; Estratégias de pesquisa e "Backtracking"; Explicação Operacional dos predicados de controlo;
Sistema Prolog: Interação com o exterior, leitura e escrita; Constatação das propriedades fundamentais dum Sistema de Prova (máquina de inferência); Predicados pré-definidos;
Estruturas de Dados recursivas: listas, árvores e grafos;
Gramáticas e tratamento de linguagens;
Sistemas periciais.
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.
Língua:
Português