Advanced Topics in Logic

Propositional Logic: formalization of sentences, syntax and semantics, Tableaux for Propositional Logic, Completeness and Correctness. First Order Logic (FOL): formalization of sentences, syntax and semantics, correctness and completeness. Deductive systems for FOL. 

Basic Information

Workload
60 hours

Mandatory:

  • 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.
A A A
High contrast

Esse site usa cookies

Nosso website coleta informações do seu dispositivo e da sua navegação e utiliza tecnologias como cookies para armazená-las e permitir funcionalidades como: melhorar o funcionamento técnico das páginas, mensurar a audiência do website e oferecer produtos e serviços relevantes por meio de anúncios personalizados. Para mais informações, acesse o nosso Aviso de Cookies e o nosso Aviso de Privacidade.