Informações:

• Docente: Prof. Dr. Pedro H. D. B. Hokama - IMC
• Aulas: Segundas e Terças das 21:00 até 22:30 na sala B4103.

Referências bibliográficas e Material de Apoio:

• Livro Texto: Gomide, Anamaria; Stolfi, Jorge. Elementos de Matematica Discreta para Computação.
• Rosen, Kenneth H. Discrete mathematics and its applications. McGraw-Hill Education, 8th Edition, 2019.

Noticias:

1. 05/12 - Atualizado Slides de todo o semestre.
2. 17/10 - Divulgado notas Trabalho 1 e notas Prova 1
3. 05/10 - Disponibilizado enunciado do trabalho 1, entrega até 13/10 valendo 2 pontos.
4. 07/08 - Página da disciplina no Ar

Aulas:

• 26/09 - Indução Matemática.
• 25/09 - Demonstrações construtivas e não construtivas, Prova por contra-exemplo.
• 21/09 - Método da Redução ao Absurdo.
• 18/09 - Método da Contrapositiva.
• 12/09 - Método Direto.
• 11/09 - Métodos de demonstração.
• 05/09 - Quantificadores.
• 04/09 - Lógica de Predicados.
• 29/08 - Lógica Proposicional (cont.).
• 28/08 - Lógica Proposicional.
• 22/08 - Teoria dos Conjuntos (cont.).
• 21/08 - Teoria dos Conjuntos (cont.).
• 14/08 - Exercício.
• 08/08 - Teoria dos Conjuntos.
• 07/08 - Apresentação, Introdução e Silogismos.

Critérios de Avaliação:

• Em breve.