Lógica

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: 

  • Enderton, H. B. (2000). A Mathematical Introduction to Logic (2 ed.). Harcourt/Academic Press.
  • van Dalen, D. (2004). Logic and Structure. Springer.
  • Goldblatt, R. (1987). Logics of Time and Computation. University of Chicago Press.

Complementar: 

  • Brachman, R., & Levesque, H. (2004). Knowledge Representation and Reasoning. The Morgan Kaufmann Series in Artificial Intelligence (1 ed.). Morgan Kaufmann.
  • Mates, B. (1972). Elementary Logic. Oxford University Press.
  • Velleman, D. J. (2006). How to Prove It: A Structured Approach. Cambridge University Press.
  • Jr., E. M. C., Grumberg, O., & Peled, D. A. (1999). Model Checking. MIT Press.

Período: 

  • Eletiva