Slides

• Lógica Proposicional I - Cálculo de Sequentes (versão: 11/06/2008)
• Lógica Proposicional II - Método Tableaux, Formas Clausais, Resolução (versão: 11/06/2008)
• Lógica Proposicional III - Algoritmo Davis Putnam, BDDs (versão: 11/06/2008)
• Lógica de Primeira Ordem (versão: 11/06/2008)

Exercícios Teórico-Práticos

• Exercícios (versão: 11/06/2008)

Bibliografia

• Proof Theory and Automated Deduction. Jean Goubault-Larrecq & Ian Mackie , Kluwer Academic Publishers, 1997.

• From Logic to Logic Programming. Kees Doets, MIT Press, 1994.

• Proofs and Types. Jean-Yves Girard & Yves Lafont & Paul Taylor, Cambridge University Press, 1990. (disponível em http://www.cs.man.ac.uk/~pt/stable/Proofs+Types.html).

• The Art of Prolog : advanced programming techniques. L. Sterling & E. Shaphiro, MIT Press, 1994.

• Prolog Programming for Artificial Intelligence. Ivan Bratko, Addison-Wesley, 1993.

• Essentials of Logic Programming. Christopher John Hogger. Oxford University Press, 1990.

Apontadores Web

• SWI Prolog (Reference Manual)

Edições Anteriores da Disciplina

• 2007/2008
• 2006/2007
• 2005/2006

Disciplinas Relacionadas do plano de curso de LCC

• Lógica - 2º ano, 1º semestre.

Disciplinas Relacionadas do plano antigo de LMCC

• ELP1 - Elementos Lógicos da Programação I (2º ano, 1º semestre)
• ELP2 - Elementos Lógicos da Programação II (2º ano, 2º semestre)