Portal do Ementário

Trabalhar com expressões de lógica, convertendo de linguagem informal para expressões de lógica proposicional e de predicados. [Uso] Construir provas em lógica proposicional e em lógica de predicados usando regras de inferência. [Uso] Aplicar métodos formais da lógica proposicional e de predicados para calcular validade de fórmulas e computar formas normais. [Uso] Descrever como a lógica simbólica pode ser usada para modelar situações ou aplicações do mundo real, incluindo aquelas que surgem no contexto da computação, como análise de software (ex. correção de programas), consultas de bancos de dados e algoritmos. [Uso] Aplicar provas lógicas e raciocínio lógico a problemas reais (ex.: prever comportamento de software ou resolver enigmas). [Uso] Descrever os pontos fracos e fortes da lógica proposicional e da lógica de predicados. [Familiaridade]

Lógica proposicional: sintaxe e semântica. Sistemas dedutivos para lógica proposicional. Lógica de predicados: sintaxe e semântica. Sistemas dedutivos para lógica de predicados. Programação em lógica. Semântica e verificação de programas.

NOLT, John; ROHATYN, Dennis. Lógica. Makron Books, 1991. SOUZA, João Nunes de. Lógica para Ciência da Computação. 2a Ed. Campus, 2008. ALENCAR FILHO, Edgard. Iniciação à Lógica Matemática. 21a Ed. Nobel, 1999.

CERQUEIRA, Luiz Alberto.; OLIVA, Alberto. Introdução a Lógica. 3a ed. -. Rio de Janeiro: Zahar, 1982. COPI, Irving Marmer. Introdução a Lógica. 3a ed. São Paulo: Mestre Jou, 1981. ZIMBARG, Jacob. Introdução a lógica matemática. Instituto de Matemática Pura e Aplicada, Rio de Janeiro, 1973. SILVA, Flávio Soares Corrêa da; FINGER, Marcelo; MELO, Ana Cristina Vieira de. Lógica para Computação. 1a Ed. Thomson Pioneira, 2006. HUTH, Michael; RYAN, Mark. Logic in Computer Science: Modelling and Reasoning about Systems. 2a Ed. Cambridge University Press, 2004.