Lógica

• Carga horária: 60 horas
• Tipo: Eletiva
• Pré-requisito: Não existe
• Professor: Alexandre Rademaker

Ementa

Cálculo Proposicional: a noção de linguagem formal. Linguagem formal do cálculo proposicional. Traduções. Definições indutivas e definições recursivas. A semântica da linguagem proposicional. A noção de conseqüência lógica. A álgebra das proposições O sistema de Dedução Natural para a lógica Clássica. Cálculo dos Predicados: a linguagem formal do cálculo dos predicados de primeira ordem. A semântica para a linguagem de primeira ordem. Definibilidade, homomorfismos entre estruturas. O sistema de Dedução Natural para a lógica clássica de Primeira Ordem.

Bibliografia

Obrigatória

1. Enderton, H. B. (2001). A Mathematical Introduction to Logic (2nd ed.). Academic Press.
2. Brachman, R., & Levesque, H. (2004). Knowledge Representation and Reasoning (1st ed.). Morgan Kaufmann.
3. van Dalen, D. (2004). Logic and Structure. Springer.

Complementar

1. Mates, B. (1972). Elementary Logic. Oxford University Press.
2. Velleman, D. J. (2006). How to Prove It: A Structured Approach. Cambridge University Press.
3. Goldblatt, R. (1992). Logics of Time and Computation (1st ed.). University of Chicago Press.
4. Jr., E. M. C., Grumberg, O., & Peled, D. A. (1999). Model Checking. MIT Press.