Fundamentos de Lógica e Matemática Discreta - Turma 01 - 2022s1

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. 02/08 - Atualizado notas.
2. 29/07 - Atualizado notas.
3. 18/07 - Liberados novos Quizes.
4. 17/06 - Liberado o Quiz 05.
5. 17/06 - Atualizado slides do Módulo 11.
6. 15/06 - A aula de 15/06 será na sala I2102.
7. 08/06 - Atualizado notas. Qualquer discrepância me avise.
8. 13/05 - Atualizado Slides do Módulo 06.
9. 16/03 - Página da disciplina no Ar

Avaliação:

• Quiz 11. Prazo de Entrega: 27/07
• Quiz 10. Prazo de Entrega: 27/07
• Quiz 09. Prazo de Entrega: 26/07
• Quiz 08. Prazo de Entrega: 26/07
• Quiz 07. Prazo de Entrega: 25/07
• Quiz 06. Prazo de Entrega: 25/07
• Quiz 05. Prazo de Entrega: 12/07
• 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:

• 22/07 - Revisão e Questionários.
• 20/07 - Introdução à Teoria de Grafos. (cont.)
• 15/07 - Introdução à Teoria de Grafos. (cont.)
• 13/07 - Introdução à Teoria de Grafos. Slides
• 08/07 - Revisão.
• 06/07 - Cardinalidade de Conjuntos. (cont.)
• 01/07 - Cardinalidade de Conjuntos. Slides
• 29/06 - Contagem. (cont.)
• 24/06 - Contagem. Slides
• 22/06 - Sequências infinitas e recorrências. Slides
• 17/06 - Revisão e Questionário.
• 15/06 - Somatórias e Produtórias. (cont.)
• 10/06 - Somatórias e Produtórias. Slides
• 08/06 - Funções. (cont.)
• 03/06 - Funções. Slides
• 01/06 - Relações de Ordem e Equivalência. Slides
• 27/05 - Aula de Dúvidas/Exercícios.
• 25/05 - Relações. (cont.)
• 20/05 - Relações. Slides
• 18/05 - Princípio da Indução Forte, Princípio da Boa Ordenação. (cont.)
• 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. (cont.)
• 06/05 - Métodos de Demonstração. Redução ao Absurdo. (cont.)
• 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. (cont.)
• 06/04 - Teoria dos Conjuntos. Slides
• 30/03 - Apresentação, Introdução e Silogismos. Slides

Critérios de Avaliação:

• Nt média dos questionários do bimestre t.
• Bônus: até 1 ponto pode ser somado em Nt por participações excepcionais.
• Média parcial M = (N1 + N2) / 2
• Se frequência menor que 75% o aluno reprovou-se.
• Senão se, M maior ou igual a 6, o aluno aprovou-se.
• Senão se, M menor que 6, o aluno faz uma Sub que substitui a menor entre N1 e N2.
• Em caso de plágio, fraude, tentativa de burlar os sistemas, nota zero será aplicado na disciplina a todos os envolvidos e estarão automaticamente reprovado.