Lógica Aplicada à Computação

Objetivo Geral

Apresentar e discutir os fundamentos da lógica matemática, sistemas de prova, semântica, formalização e aplicações, visando desenvolver o potencial discente quanto a formalização e dedução de problemas inerentes à computação.

Ementa

Lógica Proposicional. Proposições e conectivos. Operações Lógicas sobre proposições. Construção de tabelas-verdade. Tautologias, contradições e contingências. Implicação Lógica. Equivalência lógica. Álgebra das proposições. Métodos para determinação da validade de fórmulas da Lógica Proposicional. Sistemas dedutivos. Tableaux semânticos. Lógica de Predicados.

Bibliografia Básica

• ALENCAR FILHO, Edgard de. Iniciação à lógica matemática. São Paulo: Nobel, 2002. (RB=1128)
• SILVA, Flávio Soares Corrêa da; FINGER, Marcelo; MELO, Ana Cristina Vieira de. Lógica para computação. São Paulo: Cengage Learning, 2017. (RB=6281)
• SOUZA, João Nunes de. Lógica para ciência da computação e áreas afins: uma introdução concisa. 3. ed. Rio de Janeiro: Elsevier, 2015. (RB=7190)

Bibliografia Complementar

• COPI, Irving Marmer. Introdução à lógica. 2. ed. São Paulo: Mestre Jou, 1978. (RB=5895)
• SOUZA, João Nunes de. Lógica para ciência da computação: Fundamentos de linguagem, semântica e sistemas de educação. Rio de Janeiro: Elsevier, 2002.(RB=81)
• SOUZA, João Nunes de. Lógica para ciência da computação: uma introdução concisa. 2 ed. Rio de Janeiro: Elsevier, 2008. (RB=6410)