Tópicos avançados em lógica

• Área: Mátematica da informação
• Código: MIF010
• Carga horária: 45 horas
• Créditos: 3

Docente(s)

• Alexandre Rademaker

Ementa

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.

Bibliografia

1. Enderton, H. B. (2001). A Mathematical Introduction to Logic (2nd ed.). Academic Press.
2. First-Order Logic. (1995). Dover Publications.
3. Prawitz, D. (2006). Natural Deduction: A Proof-Theoretical Study. Dover Publications.