Saltar para o conteúdo

DC-UFRPE/Bacharelado em Ciência da Computação/Matemática Discreta 1

Fonte: Wikiversidade

Programa da Disciplina

[editar | editar código-fonte]
Nome: MATEMÁTICA DISCRETA I
Código: 14203
Departamento: Departamento de Computação (DC)
Área: Computação
Carga-horária total: 60 horas
Créditos: 4
Pré-requisitos: Nenhum
  • Lógica proposicional.
  • Lógica de predicados de primeira ordem.
  • Técnicas de demonstração básicas: direta, por contraposição, por redução ao absurdo, por casos. Provas existenciais construtivas e não-construtivas. Teoria dos conjuntos. Relações n-árias, binárias, de equivalência e de ordem.
  • Funções e seqüências: injetividade e sobrejetividade.
  • Cardinalidade: prova por diagonalização.
  • Teoria dos números: divisibilidade, números primos, algoritmo da divisão (teorema) e aritmética modular.
  • Definições recursivas e provas por indução.
  • Aplicações na Computação nas áreas de: Inteligência Artificial, Métodos Formais, Bancos de Dados, Análise de Algoritmos e Criptografia.

Equivalências

[editar | editar código-fonte]

06203 - MATEMÁTICA DISCRETA

Bibliografia Básica

[editar | editar código-fonte]
  • GERSTING, J. L. Fundamentos Matemáticos para a Ciência da Computação. 5a edição. Rio de Janeiro: LTC, 2004.
  • SCHEINERMAN, E. R. Matemática Discreta: Uma Introdução. Segunda edição. São Paulo: Cengage Learning, 2011.
  • MILIES, C. P.; COELHO, S. P. Números: uma introdução à matemática. 3a edição. São Paulo: EDUSP, 2001.

Bibliografia Complementar

[editar | editar código-fonte]
  • ROSEN, K. H. Matemática Discreta e suas Aplicações. Sexta edição. São Paulo: McGraw-Hill, 2009.
  • MENEZES, Paulo Blauth. Matemática discreta para computação e informática. 2. ed. Porto Alegre: Sagra Luzzatto, 2005.
  • SILVA, F. S. C. da; FINGER, M.; MELO, A. C. V. de. Lógica para computação. São Paulo: Thomson, 2006.
  • PATASHNIK, O.; GRAHAM, R. L.; KNUTH, D. E. Matemática Concreta: Fundamentos para a Ciência da Computação. Segunda edição. Rio de Janeiro: LTC, 1995.
  • LOVÁSZ, L., PELIKÁN, J., VESZTERGOMBI, K. Matemática Discreta. Sociedade Brasileira de Matemática, 2006