Informação adicional: http://lc.ssdi.di.fct.unl.pt
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.
Conhecimento
Aptidões
Competências
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
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
Horas por crédito | 28 | ||
Horas p/ semana | Semanas | Horas | |
Aulas práticas e laboratoriais | 36.0 | ||
Aulas teóricas | 24.0 | ||
Avaliação | 6.0 | ||
Estudo | 96.0 | ||
Orientação tutorial | 6.0 | ||
Total de Horas | 168 | ||
ECTS | 6.0 |