Logo Passei Direto
Buscar
Material
páginas com resultados encontrados.
páginas com resultados encontrados.
left-side-bubbles-backgroundright-side-bubbles-background

Crie sua conta grátis para liberar esse material. 🤩

Já tem uma conta?

Ao continuar, você aceita os Termos de Uso e Política de Privacidade

left-side-bubbles-backgroundright-side-bubbles-background

Crie sua conta grátis para liberar esse material. 🤩

Já tem uma conta?

Ao continuar, você aceita os Termos de Uso e Política de Privacidade

left-side-bubbles-backgroundright-side-bubbles-background

Crie sua conta grátis para liberar esse material. 🤩

Já tem uma conta?

Ao continuar, você aceita os Termos de Uso e Política de Privacidade

left-side-bubbles-backgroundright-side-bubbles-background

Crie sua conta grátis para liberar esse material. 🤩

Já tem uma conta?

Ao continuar, você aceita os Termos de Uso e Política de Privacidade

left-side-bubbles-backgroundright-side-bubbles-background

Crie sua conta grátis para liberar esse material. 🤩

Já tem uma conta?

Ao continuar, você aceita os Termos de Uso e Política de Privacidade

left-side-bubbles-backgroundright-side-bubbles-background

Crie sua conta grátis para liberar esse material. 🤩

Já tem uma conta?

Ao continuar, você aceita os Termos de Uso e Política de Privacidade

left-side-bubbles-backgroundright-side-bubbles-background

Crie sua conta grátis para liberar esse material. 🤩

Já tem uma conta?

Ao continuar, você aceita os Termos de Uso e Política de Privacidade

left-side-bubbles-backgroundright-side-bubbles-background

Crie sua conta grátis para liberar esse material. 🤩

Já tem uma conta?

Ao continuar, você aceita os Termos de Uso e Política de Privacidade

left-side-bubbles-backgroundright-side-bubbles-background

Crie sua conta grátis para liberar esse material. 🤩

Já tem uma conta?

Ao continuar, você aceita os Termos de Uso e Política de Privacidade

left-side-bubbles-backgroundright-side-bubbles-background

Crie sua conta grátis para liberar esse material. 🤩

Já tem uma conta?

Ao continuar, você aceita os Termos de Uso e Política de Privacidade

Prévia do material em texto

Matemática Discreta
Leandro Colombi Resendo
Matemática Discreta – Bacharel em Sistemas de Informações
Demonstrações, Recorrências e 
Análise de Algoritmos
Matemática Discreta – Bacharel em Sistemas de Informações
• Técnicas de Demonstração
• Indução
• Mais Sobre Demonstração de Correção
• Recursividade e relações de Recorrência
• Análise de Algoritmo
Indução
Matemática Discreta – Bacharel em Sistemas de Informações
1. Você consegue alcançar o primeiro degrau. (proposição)
2. Uma vez chegando a um degrau, você é capaz de chegar 
ao próximo. (condicional)
Escrito formalmente...
Primeiro Princípio de indução Matemática
Dada uma propriedade P:
1. P(1) é verdade
2. (k)[P(k) verdade  P(k+1) verdade]
Então P(n) é verdade para todo inteiro positivo n.
Indução
Matemática Discreta – Bacharel em Sistemas de Informações
Ex: Em uma árvore binária o número de elementos do nível n é 
igual 2n.
Ex: Prove que a equação 1 + 3 + 5 + ... + (2n - 1) = n2 é 
verdadeira para qualquer inteiro positivo n.
Resumo
Passo 1 Prove a base da indução
Passo 2 Suponha P(k)
Passo 3 Prove P(k+1)
Indução
Matemática Discreta – Bacharel em Sistemas de Informações
Ex: Prove que 1 + 2 + 22 + ... + 2n = 2n+1 – 1, para todo n ≥ 1.
Ex: Prove que, para qualquer inteiro positivo n,
Ex: Prove que, para qualquer inteiro positivo n, 2n > n.
Ex: Prove que, para qualquer inteiro positivo n, o número 22n–1 
é divisível por 3.
Note que: 22n–1 = 3k ou 22n = 3k + 1
2
)1(...321  nnn
Indução
Matemática Discreta – Bacharel em Sistemas de Informações
Ex: Prove que n2 > 3n para n ≥ 4.
Passo 1: P(4) OK!
Passo 2: Suponha que k2 > 3k e mostre que (k+1)2 > 3(k+1)
Passo 3: (k+1)2 = k2 + 2k + 1 (por hipótese)
> 3k + 2k + 1 (como k ≥ 4)
≥ 3k + 8 + 1 ...
Indução
Matemática Discreta – Bacharel em Sistemas de Informações
Prova geométrica
Ex: Mostrar que, para qualquer inteiro positivo n, se 
removermos um quadrado de um tabuleiro originalmente 
com 2n x 2n quadrados, ele pode ser ladrilhado com 
“ângulos de ferro”.
ângulo de ferro:
Indução
Matemática Discreta – Bacharel em Sistemas de Informações
Para lembrar:
Primeiro Princípio de indução Matemática
Dada uma propriedade P:
1. P(1) é verdade
2. (k)[P(k) verdade  P(k+1) verdade]
Então P(n) é verdade para todo inteiro positivo n.
Segundo Princípio de indução Matemática
1. P(1) é verdade
2. (k)[P(r) verdade para todo r, 1 ≤ r ≤ k  P(k+1) verdade]
Então P(n) é verdade para todo inteiro positivo n.
Indução
Matemática Discreta – Bacharel em Sistemas de Informações
Para lembrar:
Primeiro Princípio de indução Matemática
Dada uma propriedade P:
1. P(1) é verdade
2. (k)[P(k) verdade  P(k+1) verdade]
Então P(n) é verdade para todo inteiro positivo n.
Segundo Princípio de indução Matemática
1. P(1) é verdade
2. (k)[P(r) verdade para todo r, 1 ≤ r ≤ k  P(k+1) verdade]
Então P(n) é verdade para todo inteiro positivo n.
Indução
Matemática Discreta – Bacharel em Sistemas de Informações
Princípio da Boa Ordenação: Toda coleção de inteiros 
positivos que contém algum elemento tem um menor 
elemento.
Indução
Matemática Discreta – Bacharel em Sistemas de Informações
Ex: Seja uma linguagem de programação onde um produto “a 
vezes b” é escrito como (a)b. Mostre que qualquer produto 
pode ser escrito com número par de parênteses.
Ex: Prove que, para todo n ≥ 2, n é um número primo ou é um 
produto de primos.
Ex: Prove que qualquer quantia, para franquia postal, maior ou 
igual a 8 centavos pode ser conseguida usando-se apenas 
selos de 3 e 5 centavos.
Lista Mínima de Exercícios
Matemática Discreta – Bacharel em Sistemas de Informações
Seção 2.2: 3, 5, 9, 13, 15, 22, 23, 28, 31, 33, 38, 42, 45, 49, 55, 
61, 67 e 69.

Mais conteúdos dessa disciplina