Acompanhamento Abril Primeira Parte

Foram abordamos os tópicos:

• Lógica de Predicados
  • Quantificadores
• Técnicas de Demonstração
  • Nomenclatura
  • Regras de inferência
  • Falácias
  • Prova Direta
  • Prova por Contraposição
  • Prova por Contradição
  • Prova por Indução

Leitura

• Seção 2.1 e 2.2 do livro (Gersting, 1993)
• Seções 1.3, 1.4, 2.1 e 2.2 do livro (Gersting, 2014)

Exercícios Sugeridos

Seguindo o livro (Gersting, 2014)

• Na seção 1.3
  • 1, 3, 7, 11, 12, 38.
• Na seção 1.4
  • 7, 8, 11-14, 38.
• Na seção 2.1
  • 5, 7, 9-19.
• Na seção 2.2
  • 1, 36-39.

Referências

1. Gersting, J. L. (1993). Fundamentos matemáticos para a ciência da computação. LTC. https://books.google.com.br/books?id=gqajkQEACAAJ
2. Gersting, J. (2014). Mathematical Structures for Computer Science. Macmillan Learning. https://books.google.com.br/books?id=unyTnQEACAAJ