Tópicos Avançados em Lógica
Lógica Proposicional: formalização de sentenças, sintaxe e semântica, Tableaux para Lógica Proposicional, Completude e Corretude. Lógica de Primeira Ordem (FOL): formalização de sentenças, sintaxe e semântica, corretude e completude. Sistemas dedutivos para FOL.
Informações Básicas
Carga horária
60 horas
Obrigatória:
- Enderton, H. B. (2001). A Mathematical Introduction to Logic (2 ed.). Academic Press.
- First-Order Logic. (1995). First-Order Logic. Dover Publications.
- Prawitz, D. (2006). Natural Deduction: A Proof-Theoretical Study. Dover Publications.