Fundamentos da Matematica Discreta - Proposicoes, Demonstracao e Inducao

Semana Tema Subtemas Atividades TeóricoPráticas 01 Fundamentos Proposições valorlógico conectivos lógicos equivalência lógica implicação lógica Variáveis predicados quantificadores Conjunto pertinência inclusão operações e suas propriedades conjunto das partes Conjuntos numéricos naturais inteiros suas propriedades aritméticas e de ordem leitura de texto resolução de exercícios discussão no fórum da semana 02 Demonstração Prova direta pela contrapositiva por vacuidade por contradição por casos equivalências construtivas X existenciais leitura de texto resolução de exercícios discussão no fórum da semana 03 Indução As várias formas do princípio de Indução indução indução completa indução para subconjuntos de inteiros limitados inferiormente indução passo k indução com passo pra trás Equivalência entre princípios Demonstrações usando indução Definições recursivas de sequências e de conjuntos leitura de texto resolução de exercícios discussão no fórum da semana 04 Avaliação resolução de exercícios 05 Relação Relações binárias eas classificações Relações de ordem Ordens parciais totais e boa ordem Grafos leitura de texto resolução de exercícios discussão no fórum da semana 06 Indução estrutural Indução em conjuntos bem ordenados Relações bem fundadas e indução bem fundada leitura de texto resolução de exercícios discussão no fórum da semana