Conteúdo / Main content
Menu Rodapé
  1. Início
  2. Cursos
  3. Engenharia Informática
  4. Lógica Computacional

Lógica Computacional

Código 14336
Ano 2
Semestre S2
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 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.
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.
Metodologias de Ensino e Critérios de Avaliação Avaliação em Frequência:
1. Trabalho prático (TP): 25% da nota final
2. Frequência (F): 75% da nota final

Nota final = TP*0.25 + F*0.75

Mínimos para ser aprovado à disciplina por Frequência (avaliação contínua):
Nota final >= 9.5 valores, mínimo 6 valores na frequência.

Mínimos para admissão a exame:
Nota mínima de 6 valores em TP*0.25 + F*0.75

Avaliação em Exame:
Nota do exame é a nota final.
São aprovados à UC os alunos com nota >= 9.5 no exame.
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
Data da última atualização: 2024-03-01
As cookies utilizadas neste sítio web não recolhem informação pessoal que permitam a sua identificação. Ao continuar está a aceitar a política de cookies.