Lógica Computacional (2017/2018) - Departamento de Informática

Informação adicional: lc.ssdi.di.fct.unl.pt

Descrição

Esta UC cobre os requisitos em lógica matemática previstos no ACM 2008 CS Curriculum na área de Estruturas Discretas (DS/BasicLogic [core]). Em complemento dos acima referidos, este documento inclui como objectivo a aplicação de métodos formais das lógicas proposicional e de predicados.

Objectivos

Conhecimento

Aptidões

Competências

Programa

1. Lógica Proposicional
1.1. Sintaxe:
• Definição indutiva de linguagem proposicional
1.2. Semântica:
• Tabelas de verdade e álgebra de Boole
• Valoração e estrutura de interpretação: satisfação
• Validade e consequência lógica; equivalência
1.3. Algoritmos de Decisão e Sistemas de Prova
• Dedução natural: Regras de introdução e eliminação
• Resolução: Forma clausal, Algoritmos de Horn
2. Lógica de primeira ordem
2.1. Sintaxe:
• Termos e Linguagem de 1ª ordem
• Tradução de descrições em língua natural
• Variáveis livres e substituição
2.2. Semântica:
• Valoração e estrutura de interpretação: satisfação
2.3. Algoritmos de Decisão e Sistemas de Prova:
• Resolução: Skolemização, Unificação
• Dedução natural: Regras de introdução e eliminação
3. Indução Matemática

Bibliografia Principal

Principal livro de texto:

• Language, Proof, and Logic, David Barker-Plummer, Jon Barwise, John Etchemendy, Center for the Study of Language and Information; 2nd edition, October 2011.

Literatura adicional:

• Mathematical Logic: a course with exercices. Part I: propositional calculus, boolean algebras, predicate calculus, René Cori e Daniel Lascar, Oxford Press, 2007.

• A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity, Shawn Hedman, Oxford Texts in Logic, 2004.

• Logic in Computer Science: modelling and reasoning about systems (2nd edition), Michael Huth and Mark Ryan, Cambridge University Press, 2004

Esforço do Aluno
  Horas por crédito 28
  Horas p/ semana Semanas Horas
Aulas práticas e laboratoriais 3 12 36.0
Aulas teóricas 2 12 24.0
Avaliação   6.0
Estudo   96.0
Orientação tutorial   6.0
Total de Horas 168
ECTS 6.0