Informações:

• Prof: Pedro H. D. B. Hokama - IMC
• Aulas: Quartas e Sextas das 19:00 até 20:40 na sala C1106, atendimento a combinar.

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. 13/05 - Atualizado Slides do Módulo 06.
2. 16/03 - Página da disciplina no Ar

Avaliação:

• Quiz 04. Prazo de Entrega: 03/06
• Quiz 03. Prazo de Entrega: 01/06
• Quiz 02. Prazo de Entrega: 30/05
• Quiz 01. Prazo de Entrega: 28/05

Aulas:

• 25/05 - Princípio da Indução Forte, Princípio da Boa Ordenação.
• 13/05 - Princípio da Indução Matemática. Slides
• 11/05 - Métodos de Demonstração. Regras para quantificadores, Demonstrações Não Construtivas e Contra-exemplos.
• 06/05 - Métodos de Demonstração. Redução ao Absurdo.
• 04/05 - Métodos de Demonstração. Introdução, Método Direto e Contrapositiva. Slides
• 29/04 - Lógica de Predicados. Slides
• 20/04 - Lógica Proposicional. Slides
• 13/04 - Introdução Lógica Matemática. Slides
• 08/04 - Teoria dos Conjuntos (Parte 2).
• 06/04 - Teoria dos Conjuntos (Parte 1). Slides
• 30/03 - Apresentação, Introdução e Silogismos. Slides

Critérios de Avaliação:

• a definir