Menu Conteúdo 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 que permitam o seu uso num contexto de engenharia Informática
Conteúdos programáticos Apresentação Contextual e Histórica da Lógica
Conjuntos Indutivos, Indução Estrutural e Bem Fundada
Lógica Proposicional:
-Sintaxe
-Semântica
- Sistema semântico: resolução
Forma normal conjuntiva e forma clausal
Algoritmo de Horn
Resolução e refutação
- Sistema dedutivo: dedução natural
Regras de introdução e eliminação
Derivação e prova
Coerência e Completude

Lógica de primeira ordem (LPO)
-Sintaxe:
Termos a partir de descrições em linguagem natural
Alfabeto e Definição indutiva de LPO
Variáveis livres e substituição
-Semântica:
Valoração e estrutura de interpretação: relação de satisfação
Validade e consequência lógica
Equivalência e raciocínio equacional
- Sistema semântico: resolução
Forma Normal Prenex e de Skolem e skolemização
Unificação e resolução
- Sistema dedutivo: dedução natural
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:
1. Mordechai Ben-Ari. Mathematical Logic for Computer Science. Springer, 3rd edition, 2012.
2. Michael Huth and Mark Ryan. Logic in Computer Science: Modelling and reasoning about systems. CUP, 2004.
3. 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: 2021-06-17
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.