Portal do Ementário

Compreender os conceitos matemáticos de lógica e de conjuntos que são fundamentais para probabilidade e estatística computacional e aplicar os seus fundamentos na formalização e solução de problemas.

Lógica formal: Sentenças e conectivos lógicos; tabelas-verdade; tautologias; uso das tautologias para simplificar condições lógicas em um programa; Lógica proposicional: axiomas e regra de inferência para a lógica proposicional; o método dedutivo; exemplos de demonstrações na lógica proposicional; Lógica de predicados. Técnicas de demonstração: raciocínio indutivo e dedutivo; uso de contraexemplos; técnicas para demonstração de teoremas: direta; por contraposição; por exaustão; por contradição; e princípio da indução matemática. Aplicações de lógica à computação: Recursão e Relação de Recorrência. Conjuntos. Aplicações de conjuntos à probabilidade.

GERSTING, Judith L. Fundamentos matemáticos para a ciência da computação. 7. ed. Rio de Janeiro: LTC, 2016 1 recurso online  SOUZA, João Nunes de. Lógica para ciência da computação: uma introdução concisa. 2. ed., rev. e atual. Rio de Janeiro: Elsevier, 2008. 220 p. IEZZI, Gelson. Fundamentos de matemática elementar. 4. ed. São Paulo: Atual, 1977. vol. 1.

ABE, J.M.; SCALZITTI, A.; SILVA FILHO, J., Introdução à lógica para a ciência da computação, 2. ed. Editora Arte & Ciência, 2002. MORTARI, Cezar A.. Introdução à lógica. São Paulo: Editora da UNESP, 2001. xiii, 393 p.  MORGADO, A. C.; CARVALHO, Paulo Cezar Pinto. Matemática discreta. 2a. edição. Rio de Janeiro: SBM, 2015. 284 p. SILVA, F.; FINGER, M.; MELO, A., Lógica para computação , 1a. edição, Editora Thomson, 2006. ROSEN, Kenneth H. Matemática discreta e suas aplicações. 6. ed. São Paulo: McGraw-Hill, 2009. xxi, 982 p.