Lógica para a Ciência da Computação - GAN00166
- Ementa: Lógica proposicional. Métodos de prova para a lógica proposicional. Lógica de primeira ordem. Métodos de prova para a lógica de primeira ordem. Introdução à programação em lógica.
- Bibliografia básica
- SOUZA, João Nunes de. Lógica para Ciência da Computação: fundamentos de linguagem, semântica e sistemas de dedução. 10ª reimpr. Rio de Janeiro: Elsevier, 2002. 303p.
- SILVA, Flávio Soares Corrêa da; FINGER, Marcelo; MELO, Ana Cristina Vieira de. Lógica para computação. São Paulo: Cengage Learning, 2006. 234 p
- Bibliografia complementar
- NOLT, John; ROHATYN, Dennis. Lógica. São Paulo: Makron, 1991. 596p