Elaine Teixeira de Oliveira

Slides:



Advertisements
Apresentações semelhantes
Python: Recursão Claudio Esperança.
Advertisements

Introdução à Programação Um enfoque orientado a construção de modelos em programas baseados em objetos Gustavo Motta Departamento de Informática - UFPB.
Exemplos de Indução Matemática
Diagrama explicativo de Recursividade
Marco Antonio Montebello Júnior
Amintas engenharia.
Eletricidade Básica Prof. Hebert Monteiro.
Inteligência Artificial
BCC 101 – Matemática Discreta I
Recursividade Conceitos e Aplicações.
Estruturas de Controle
THOBER CORADI DETOFENO, MSC. Aula 07
Dividir-e-Conquistar
Recorrências.
Indução Métodos de prova já vistos Excepções
A Lógica das Sentenças Abertas Profa. Ana Florencia Aula 9
Filosofia
PIBID – SUBPROJETO DE MATEMÁTICA CERES CAICÓ EXPRESSÕES ARITMÉTICAS
Métodos de Demonstração
Buscas em Grafos Prof. André Renato 1º Semestre/2012
Lógica Matemática e Computacional
Aula 12 Fábio Nakano. Aquecimento... Demonstre por indução que: S n = (2n-1)=n 2.
T ÓPICOS DE I.A. Métodos de Busca Busca em Espaços de Estado Prof. Mário Dantas.
Programação Linear Universidade Federal de Itajubá – UNIFEI
Argumentos, verdade e validade 2
Informática Teórica Engenharia da Computação
Informática Teórica Engenharia da Computação
PROGRESSÕES GEOMÉTRICAS
Cálculo Numérico / Métodos Numéricos
Informática Teórica Engenharia da Computação
Aulas 9,10 Fábio Nakano.
Recursão.
Indução Matemática Recursão
1 - Equações Diferenciais Ordinárias
Algoritmos e Estruturas de Dados I – Recursão
BCC 101 – Matemática Discreta I
Algoritmos e Estruturas de Dados I – Recursão
UNIVERSIDADE SEVERINO SOMBRA
Formação Contínua em Matemática para professores do 1º Ciclo
Recursão Uma função é dita recursiva quando dentro do seu código existe uma chamada para si mesma Exemplo Cálculo do fatorial de um número:
LEMA 1 Utilização de material concreto no Ensino de Matemática
Universidade do Vale do Rio dos Sinos - São Leopoldo -
BCC 101 – Matemática Discreta I
Programação Linear Universidade Federal de Itajubá – UNIFEI
Algoritmos e Estruturas de Dados RECURSIVIDADE. O que é recursividade? Recursividade significa algo ser definido em termos de sí próprio. Em termos de.
Inteligência Artificial
Torre de  Hanói.
Lógica Matemática Introdução.
Programação Lógica com Prolog
TORRE DE HANÓI Existem várias lendas a respeito da origem do jogo, a mais conhecida diz respeito a um templo cosmopolita holandês, situado no centro do.
Fundamentos de linguagens de programação
Recursividade Profs. De Prog2 e Lab2.
INE Fundamentos de Matemática Discreta para a Computação
Algoritmos.
Complexidade de Computação Katia Guimarães. Avaliando a Qualidade de um Algoritmo É preciso ter bem definido –O que é dado de entrada e –O que é esperado.
1 Indução Definições Indutivas Prova por indução Referência: Language, Proof and Logic Jon Barwise e John Etchemendy, 1999 Capítulo: 16.
Potenciação an = a . a . a a (a ≠ 0) n fatores onde: a: base
Algoritmos e Programação I
ALGORITMOS Profº Antonio Carlos Marcelino de Paula.
Professor Luiz José Hoffmann Filho
Vinicius Ponte Machado
TEORIA DOS NÚMEROS Aula 2 – Princípio da Indução Finita
A Torre de Hanói.
Prof. Mário Alves Aula de Revisão da AV1 FUNDAMENTOS DE ANÁLISE I.
RADICAIS RECORDA PROPRIEDADE 1
MATEMÁTICA E SUAS TECNOLOGIAS
Hidrodinâmica Aula 02 (1 0 Sem./2016) 1. Redução do contínuo ao discreto: 2 Partição do fluido em pequenos elementos de volume infinitesimal dV e massa.
Recursividade e análise Cristiano Arbex Valle Vinicius Fernandes dos Santos
Aulão de Matemática Análise Combinatória Professor: Mundico
CIRCUITOS CENTRO DE CIÊNCIAS E TECNOLOGIA AGROALIMENTAR UNIDADE ACADÊMICA DE TECNOLOGIA DE ALIMENTOS DISCIPLINA: FÍSICA III Prof. Bruno Farias.
Transcrição da apresentação:

Elaine Teixeira de Oliveira Princípio da Indução Matemática e Recursividade Indução Matemática é um processo de prova ou demonstração de propriedades definidas sobre o conjunto dos números inteiros que, baseada numa quantidade finita de observações, estende e generaliza a propriedade para todo o conjunto de números inteiros. O processo de prova baseia-se nos seguintes argumentos: Prove que a propriedade vale para n=1, supondo que a propriedade vale para n, prove que ela também vale para n+1. Elaine Teixeira de Oliveira

Princípio de Indução Matemática Para provar n  N P(n): Lembrete: Para provar que alguma coisa é verdadeira para todo inteiro n  que algum valor, pense em indução. Provar: P(0) (caso base) (k)[P(k)  P(k+1)] (passo indutivo) Demonstrações por Indução Matemática Árvore genealógica da família Silva Geração Descendentes 1 2 = 21 2 4 = 22 3 8 = 23 . . . Parece que a geração n contém 2n descendentes. Mais formalmente, P(n) = 2n.

Princípio de Indução Matemática Exemplo 6.4: 20 = 1 = 21 – 1 20 + 21 = 1 + 2 = 3 = 22 – 1 20 + 21 + 22 = 1 + 2 + 4 = 7 = 23 – 1 20 + 21 + 22 + 23 = 1 + 2 + 4 + 8 = 15 = 24 – 1 No exemplo acima o padrão mais geral parece com: 20 + 21 + 22 +…+ 2n = 2n-1 – 1 Mas, não podemos afirmar que este padrão será sempre verdadeiro para todos os valores de n a menos que provemos. Prove que para todo número natural n, 20 + 21 + 22 +…+ 2n = 2n-1 – 1.

Princípio de Indução Matemática Prove que n  N, 3|(n3 – n), ou seja, que n3 – n é divisível por 3. Prove que n  5, 2n > n2. Prove que para todo inteiro positivo n, n2> n Prove que n2 > 3n para n  4. Prove que o número 22n – 1, n  N é divisível por 3. 12 + 22 + … + n2 = k(k+1)(2k+1)/6 1+3+5 +...+ (2n-1) = n2.

Relações de Recorrência Definições recorrentes Uma definição onde o item sendo definido aparece como parte da definição é chamada de definição recorrente ou definição por recorrência ou ainda definição por indução. Como?? Uma base, ou condição básica, onde alguns casos simples (pelo menos um) do item que está sendo definido são dados explicitamente. Um passo de indução ou recorrência, onde novos casos do item que está sendo definido são dados em função dos casos anteriores.

Seqüências Definidas por Recorrência Define-se o primeiro valor (ou alguns poucos ) na seqüência e depois os valores subseqüentes na seqüência em termos de valores anteriores Exemplo: A seqüência S é definida por recorrência por S(1) = 2 S(n) = 2S(n -1) para n  2 Relação de Recorrência

Algoritmos Definidos por Recorrência S(inteiro n) //função que calcula iterativamente o valor S(n) para a seqüência S do exemplo //anterior Variáveis locais: inteiro i //índice do laço Valor corrente // valor corrente da função S se n = 1 então retorne 2 senão i = 2 ValorCorrente = 2 enquanto i <= n faça ValorCorrente = 2 * ValorCorrente i = i + 1 fim do enquanto //agora o ValorCorrente tem o valor S(n) retorne ValorCorrente fim do se fim da função S Algoritmo Iterativo

Algoritmos Definidos por Recorrência S(inteiro n) //função que calcula o valor S(n) de forma recorrente para a //seqüência S do exemplo anterior se n = 1 então retorne 2 senão retorne 2 * S(n - 1) fim do se fim da função S Algoritmo Recorrente Mais curto Mais complicado Pode acontecer overflow

Resolvendo relações de recorrência Lembrando, do exemplo anterior: S(1) = 2 (1) S(n) = 2S(n - 1) para n  2 (2) Como S(1) = 2 = 21 S(2) = 4 = 22 S(3) = 8 = 23 S(4) = 16 = 24 e assim por diante, vemos que S(n) = 2n (3) É possível calcular diretamente S(n) sem ter que calcular explicitamente ou por recorrência. Solução em forma fechada para a relação de recorrência (2) sujeita à condição básica (1)

Problemas Recorrentes Problemas onde soluções utilizam a idéia de recorrência, onde a solução de cada problema depende de soluções de casos mais simples do mesmo problema. A Torre de Hanói Matemático francês Édouard Lucas em 1883 (8 discos). Lenda romântica sobre a Torre de Brama, com 64 discos de ouro empilhados em três agulhas de diamantes.

Problemas Recorrentes – Torre de Hanói Considerando uma torre com n discos n – 1 discos menores para pino intermediário (Tn-1 movimentos) maior disco (um movimento) n – 1 discos menores em cima do maior (Tn-1 movimentos) Tn  2Tn + 1, para n > 0 Corremos o risco de mover o maior disco mais de uma vez Tn  2Tn + 1, para n > 0 Essas duas inequações junto com a trivial para n = 0, fornecem T0 = 0 Tn = 2Tn-1 + 1, para n > 0 Como resolver essa relação de recorrência?

Problemas Recorrentes – Torre de Hanói Uma possibilidade é adivinhar a solução e depois provar que adivinhamos corretamente. (Casos mais simples) T1 = 2 * 0 + 1 = 1 T2 = 2 * 1 + 1 = 3 T3 = 2 * 3 + 1 = 7 T4 = 2 * 7 + 1 = 15 T5 = 2 * 15 + 1 = 31 T6 = 2 * 31 + 1 = 63 Está parecendo que Tn = 2n – 1 Vamos provar!

Problemas Recorrentes – Torre de Hanói Dicas para encontrar uma forma fechada, ou seja, encontrar uma solução da relação de recorrência: Considere casos simples. Isso nos faz compreender melhor o problema e nos ajuda nas etapas 2 e 3. Ache uma expressão matemática e prove sua validade. Ache uma forma fechada para a expressão matemática e demonstre sua validade. Curiosidade: Para a Torre de Brama (n=64), serão necessários 264 –1 movimentos (aproximadamente 18 quintilhões). Com a velocidade de um movimento por microssegundo, isso levaria 5000 séculos!

Exercícios Prove que 1 + 2 + 22 + … + 2n = 2n+1 - 1, para todo n  1. Para qualquer inteiro positivo n, 2n > n. Para todo inteiro positivo n, o número 22n – 1 é divisível por 3. Prove 13 + 23 + … + n3 = 1/4(n+1)2 n2 Encontre uma solução em forma fechada para a relação de recorrência S(n) = 2S(n-1) + 3 para n  2 sujeita à condição básica S(1) = 4