Matemática Discreta - 06
|
|
|
- Zaira Marreiro Lisboa
- 8 Há anos
- Visualizações:
Transcrição
1 Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 06 Prof. Jorge Cavalcanti [email protected] 1
2 Recursividade e relações de recorrência 2
3 Definições Recorrentes Uma definição onde o item a ser 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 definir algo em torno de si mesmo? 1. Uma base, ou condição básica, onde alguns casos simples (pelo menos um) do item que está sendo definido são dados explicitamente. 2. 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. O item 1 nos dá o começo, fornecendo casos simples e concretos. O item 2 nos permite construir novos casos, a partir dos simples e ainda outros casos a partir desses novos e assim por diante. 3
4 Sequências definidas por Recorrência Uma sequência S é uma lista de objetos que são numerados em uma determinada ordem. Existe um primeiro objeto, um segundo e assim por diante. S(k) denota o k-ésimo objeto da sequência. Uma sequência é definida por recorrência nomeando-se o primeiro valor (ou alguns primeiros) na sequência e depois definindo os demais valores subsequentes em termos dos valores anteriores. 4
5 Sequências definidas por Recorrência Ex. 01:A seqüência S é definida por recorrência por 1.S(1) = 2 2.S(n) = 2S(n -1) para n 2 Pela proposição 1, S(1) = 2. Depois, pela proposição 2, o segundo objeto em S é S(2) = 2S(1) = 2(2)=4. Novamente, pela proposição 2, S(3)=2S(2) = 2(4) = 8. Continuando desse modo, vemos que a sequência S é: 2, 4, 8, 16, Uma regra como a da proposição 2, que define um valor de uma sequência em termos de um ou mais valores anteriores é uma relação de recorrência. 5
6 Sequências definidas por Recorrência Ex. 02:A seqüência T é definida por recorrência por 1.T(1) = 1 2.T(n) = T(n -1) + 3 para n 2 Escreva os cinco primeiros valores da sequência T. Ex. 03: A famosa sequência de Fibonacci é uma sequência de números definida por recorrência por: F(1) = 1 F(2) = 1 F(n) = F(n-2) + F(n-1), para n>2 Nesse caso, são dados os dois primeiros valores e relação de recorrência define o n-ésimo valor em termos dos dois valores precedentes. Na sua forma mais geral, a relação de recorrência é a soma de F em seus dois valores anteriores. Ex. 04: Escreva os oito primeiros valores da sequência de Fibonacci. 6
7 Sequências definidas por Recorrência Ex. 05: Prove diretamente que, na sequência de Fibonacci, a fórmula F(n+4)=3F(n+2) F(n), para todo n 1, é verdadeira. A relação de recorrência da sequência de Fibonacci pode ser escrita como: F(n+2)=F(n)+F(n+1) ou, F(n+1) = F(n+2) F(n) (1) Logo, F(n+4)=F(n+2)+F(n+3) F(n+4)=F(n+2)+F(n+2)+F(n+1) //Reescrevendo F(n+3) F(n+4)=F(n+2)+ F(n+2)+[F(n+2)-F(n)] // de (1) F(n+4)=3F(n+2)-F(n) 7
8 Sequências definidas por Recorrência Ex. 06: Prove diretamente que, na sequência de Fibonacci, a fórmula F(n+1)+F(n-2) = 2F(n), para todo n 3, é verdadeira. Da relação de Recorrência: F(n+1)=F(n-1) + F(n) e F(n)=F(n-1)+F(n-2) = F(n-1)+F(n) + F(n-2) = [F(n-1)+F(n-2)] + F(n) =F(n)+ F(n) = 2F(n) Observar que só é válida porque n 3. 8
9 Sequências definidas por Recorrência Ex. 07: Prove diretamente que, na sequência de Fibonacci, a fórmula F(n+3)=2F(n+1) + F(n), para todo n 1, é verdadeira. 9
10 Operações definidas por Recorrência Certas operações comuns em objetos podem ser definidas de forma recorrente, conforme os exemplos a seguir: Ex. 08: Uma definição recorrente da operação de exponenciação a n de um número real não nulo a, onde n é um inteiro não negativo é: 1. a 0 =1 2. a n =(a n-1 )a para n 1 Ex. 09: Uma definição recorrente para a multiplicação de dois inteiros positivos m e n é: 1. m(1) = m 2. m(n) = m(n-1) + m para n 2 10
11 Resolvendo Relações de Recorrência Tomando por base novamente o Exemplo 01 Ex.01: A seqüência S é definida por recorrência por S(1) = 2 (1) S(n) = 2S(n -1) para n 2 (2) Como: S(1) = 2 = 2 1 S(2) = 4 = 2 2 S(3) = 8 = 2 3 S(4) = 16 = 2 4 e assim por diante, vemos que S(n) = 2 n (3) Solução em forma fechada para a relação de recorrência (2) sujeita à condição básica (1) É possível calcular diretamente S(n) sem ter que calcular explicitamente ou por recorrência. 11
12 Resolvendo Relações de Recorrência Relações de recorrência são usadas em programas computacionais, estudos de decaimento químico, crescimento populacional etc. Seria bom encontrar sempre soluções fechadas! Uma técnica para resolver relações de recorrência é uma abordagem do tipo expandir, conjecturar e verificar. Essa técnica usa repetidamente a relação de recorrência para expandir a expressão a partir do n-ésimo termo até que se tenha uma idéia da forma geral. Após obtida a forma geral, a conjectura é provada por indução matemática. 12
13 Resolvendo Relações de Recorrência Ex. 10: Considere novamente a seqüência S S(1) = 2 (1) S(n) = 2S(n -1) para n 2 (2) Desconsiderando que já sabemos a solução fechada, vamos usar a abordagem de expandir, conjecturar e verificar para encontrar a solução. A relação S(n) = 2S(n -1) estabelece que um elemento S pode ser substituído por duas vezes o elemento anterior. Seguindo essa receita, expandimos para n, n-1, n-2, assim por diante: S(n) = 2S(n -1) = 2[2S(n -2)] = 2 2 S(n-2) = 2 2 [2S(n-3)] = 2 3 S(n-3) Olhando o padrão que está se formando, conjecturamos que, após k expansões, a equação tem a forma: S(n) = 2 k S(n-k) 13
14 Resolvendo Relações de Recorrência Ex. 10: Forma geral da expansão: S(n) = 2 k S(n-k) A expansão dos elementos de S em função dos elementos anteriores pára quando n-k=1 (significa que estamos com o último e o penúltimo elemento da relação). n-k =1 então, k=n-1 e nesse ponto temos: S(n) = 2 n-1 S[n-(n-1)] = 2 n-1 S(1) 2 n-1 (2) = 2 n que é a solução em forma fechada A solução encontrada é apenas a conjectura, que precisa ser confirmada, ou seja devemos provar que S(n)=2 n para n 1. Provaremos usando a indução matemática. 14
15 Resolvendo Relações de Recorrência Ex. 10: Provar que S(n) = 2 n para n Base da indução S(1) = 2 1 é verdadeiro 2. Hipótese da indução S(k) = 2 k 3. Devemos provar que S(k+1) = 2 k+1 S(k+1) = 2S(k) S(k+1) =2(2 k ) S(k+1) =2 k+1 Isso prova que a solução fechada encontrada está correta. 15
Recursividade e relações de recorrência
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 06 Prof. Jorge Cavalcanti [email protected] www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
Matemática Discreta - 05
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 05 Prof. Jorge Cavalcanti [email protected] www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
Matemática Discreta - 04
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 04 Prof. Jorge Cavalcanti [email protected] www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
Aula prática 5. Funções Recursivas
Programação Funcional UFOP DECOM 2014.1 Aula prática 5 Funções Recursivas Resumo Definições recursivas são comuns na programação funcional. Nesta aula vamos aprender a definir funções recursivas. Sumário
Quantos Dígitos...? 1
1 Introdução Quantos Dígitos? 1 Roberto Ribeiro Paterlini Departamento de Matemática da UFSCar É muito comum encontrarmos, em textos de Matemática para o 1 e 2 graus, questões sobre contagem de dígitos
Divisão e Conquista. Norton T. Roman. Apostila baseada nos trabalhos de Cid de Souza, Cândida da Silva e Delano M. Beder
Divisão e Conquista Norton T. Roman Apostila baseada nos trabalhos de Cid de Souza, Cândida da Silva e Delano M. Beder Divisão e Conquista Construção incremental Ex: Consiste em, inicialmente, resolver
Técnicas de análise de algoritmos
CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DE MINAS GERAIS Técnicas de análise de algoritmos Algoritmos e Estruturas de Dados I Natália Batista https://sites.google.com/site/nataliacefetmg/ [email protected]
Análise de Problemas Recursivos. Algoritmos e Estruturas de Dados Flavio Figueiredo (
Análise de Problemas Recursivos Algoritmos e Estruturas de Dados 2 2017-1 Flavio Figueiredo (http://flaviovdf.github.io) 1 Lembrando de Recursividade Procedimento que chama a si mesmo Recursividade permite
Algoritmos e Programação
Universidade Federal do Vale do São Francisco Curso de Engenharia da Produção / Elétrica Parte 03 Prof. Jorge Cavalcanti [email protected] www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
XIX Semana Olímpica de Matemática. Nível 3. Funções Geratrizes. José Armando Barbosa
XIX Semana Olímpica de Matemática Nível 3 Funções Geratrizes José Armando Barbosa O projeto da XIX Semana Olímpica de Matemática foi patrocinado por: Funções Geratrizes Semana Olímpica/206 Prof. Armando
Matemática Discreta - 09
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 09 Prof. Jorge Cavalcanti [email protected] www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
Princípio da boa ordenação. Aula 03. Princípio da boa ordenação. Princípio da boa ordenação. Indução Finita e Somatórios
Princípio da boa ordenação Aula 0 Indução Finita e Somatórios Prof. Marco Aurélio Stefanes marco em dct.ufms.br www.dct.ufms.br/ marco Aula 0 p. 1 Aula 0 p. Princípio da boa ordenação Princípio da boa
MC102 Aula 26. Instituto de Computação Unicamp. 17 de Novembro de 2016
MC102 Aula 26 Recursão Instituto de Computação Unicamp 17 de Novembro de 2016 Roteiro 1 Recursão Indução 2 Recursão 3 Fatorial 4 O que acontece na memória 5 Recursão Iteração 6 Soma em um Vetor 7 Números
Matemática Discreta - 07
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 07 Prof. Jorge Cavalcanti [email protected] www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
Solução de Recorrências
CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DE MINAS GERAIS Solução de Recorrências Algoritmos e Estruturas de Dados I Natália Batista https://sites.google.com/site/nataliacefetmg/ [email protected]
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/30 3 - INDUÇÃO E RECURSÃO 3.1) Indução Matemática 3.2)
Técnicas de projeto de algoritmos: Indução
Técnicas de projeto de algoritmos: Indução ACH2002 - Introdução à Ciência da Computação II Delano M. Beder Escola de Artes, Ciências e Humanidades (EACH) Universidade de São Paulo [email protected] 08/2008
11º ano - Indução matemática
1 O conjunto dos números racionais Q é enumerável, ou seja, é possível atribuir (associar) a cada número racional um número natural Abaixo, os números racionais positivos estão representados na forma de
Matemática Discreta Bacharelado em Sistemas de Informação Resolução - 4ª Lista de Exercícios. Indução e Recursão
1) Prove utilizando o princípio da indução matemática, que são verdadeiras as seguintes igualdades: a) 1+4+7+...+(3n 2) Para n 1 temos que: 3.1 2. 1 1 da indução é Supondoo que a igualdade nk seja verdadeira,
Matemática Discreta - 07
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 07 Prof. Jorge Cavalcanti [email protected] www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
Relações de recorrência
Relações de recorrência Sequências. Relações de recorrência. Equação caraterística. Relações de recorrência de 2ª ordem não homogéneas. Referência: Capítulo: 4 Discrete Mathematics with Graph Theory Edgar
Relações de Recorrência
Relações de Recorrência Profa. Sheila Morais de Almeida DAINF-UTFPR-PG junho - 2018 Sheila Almeida (DAINF-UTFPR-PG) Relações de Recorrência junho - 2018 1 / 102 Este material é preparado usando como referências
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/27 4 - INTROD. À ANÁLISE COMBINATÓRIA 4.1) Arranjos
Módulo Tópicos Adicionais. Recorrências
Módulo Tópicos Adicionais Recorrências Módulo Tópico Adicionais Recorrências 1 Exercícios Introdutórios Exercício 1 Considere a sequência definida por x 1 d e x n r + x n 1, para n > 1 Trata-se de uma
Aula 06: Análise matemática de algoritmos recursivos
Aula 06: Análise matemática de algoritmos recursivos David Déharbe Programa de Pós-graduação em Sistemas e Computação Universidade Federal do Rio Grande do Norte Centro de Ciências Exatas e da Terra Departamento
ALGORITMOS AVANÇADOS UNIDADE II Recursividade. Luiz Leão
Luiz Leão [email protected] http://www.luizleao.com Conteúdo Programático 2.1 - Definições recursivas 2.2 - Como implementar recursividade 2.3 - Quando não usar recursividade 2.4 - Desenvolvendo algoritmos
ENQ Gabarito MESTRADO PROFISSIONAL EM MATEMÁTICA EM REDE NACIONAL. Questão 01 [ 1,25 ]
MESTRADO PROFISSIONAL EM MATEMÁTICA EM REDE NACIONAL ENQ 017 Gabarito Questão 01 [ 1,5 ] Encontre as medidas dos lados e ângulos de dois triângulos ABC diferentes tais que AC = 1, BC = e A BC = 0 Considere
RESOLUÇÃO DCC-UFRJ MATEMÁTICA COMBINATÓRIA 2006/2 PROVA Considere a soma. S n = n 2 n 1
DCC-UFRJ MATEMÁTICA COMBINATÓRIA 2006/2 PROVA 1 1. Considere a soma S n = 1 2 0 + 2 2 1 + 3 2 2 + + n 2 n 1. Mostre, por indução finita, que S n = (n 1)2 n + 1. Indique claramente a base da indução, a
Algoritmos e Programação
Universidade Federal do Vale do São Francisco Curso de Engenharia da Produção / Elétrica Exercícios Unidade 01 Prof. Jorge Cavalcanti [email protected] www.univasf.edu.br/~jorge.cavalcanti
INE Fundamentos de Matemática Discreta para a Computação
INE5403 - Fundamentos de Matemática Discreta para a Computação ) Fundamentos.1) Conjuntos e Sub-conjuntos.) Números Inteiros.3) Funções.4) Seqüências e Somas.5) Crescimento de Funções Seqüências Uma seqüência
PCC104 - Projeto e Análise de Algoritmos
PCC104 - Projeto e Análise de Algoritmos Marco Antonio M. Carvalho Departamento de Computação Instituto de Ciências Exatas e Biológicas Universidade Federal de Ouro Preto 7 de outubro de 2016 Marco Antonio
Estruturas de Dados, Análise de Algoritmos e Complexidade Estrutural. Carlos Alberto Alonso Sanches
CT-234 Estruturas de Dados, Análise de Algoritmos e Complexidade Estrutural Carlos Alberto Alonso Sanches CT-234 2) Algoritmos recursivos Indução matemática, recursão, recorrências Indução matemática Uma
O verbo induzir significa gerar. Nesta aula, começaremos a ver o assunto Indução Matemática
Polos Olímpicos de Treinamento Curso de Álgebra - Nível 2 Prof. Marcelo Mendes Aula 6 Indução - Parte I O verbo induzir significa gerar. Nesta aula, começaremos a ver o assunto Indução Matemática (ou Indução
Expansões AULA ... META. Apresentar a expansão binomial e multinomial. OBJETIVOS. Ao final da aula o aluno deverá ser capaz de:
Expansões META Apresentar a expansão binomial e multinomial. OBJETIVOS Ao final da aula o aluno deverá ser capaz de: Identificar e utilizar algumas propriedades dos coeficientes binomiais; Expandir produto
Matemática Discreta - 01
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 01 Prof. Jorge Cavalcanti [email protected] www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
Prof. Jorge Cavalcanti
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 01 Prof. Jorge Cavalcanti [email protected] www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
Universidade Federal de Santa Maria Departamento de Matemática Curso de Verão Lista 2. Sequências de Números Reais
Universidade Federal de Santa Maria Departamento de Matemática Curso de Verão 0 Lista Sequências de Números Reais. Dê o termo geral de cada uma das seguintes sequências: a,, 3, 4,... b, 4, 9, 6,... c,,
Algoritmos e Estrutura de Dados. Aula 04 Recorrência Prof. Tiago A. E. Ferreira
Algoritmos e Estrutura de Dados Aula 04 Recorrência Prof. Tiago A. E. Ferreira Esta Aula... Nesta aula veremos três métodos para resolver recorrência: Método da substituição É suposto um limite hipotético
4.1 O exercício de Fibonacci
Capítulo 4 Números de Fibonacci 4.1 O exercício de Fibonacci No século XIII, o matemático italiano Leonardo Fibonacci estudou a seguinte questão (não tão realística): Leonardo Fibonacci Um fazendeiro cria
Programação Estruturada
Programação Estruturada Recursão Professores Emílio Francesquini e Carla Negri Lintzmayer 2018.Q3 Centro de Matemática, Computação e Cognição Universidade Federal do ABC Recursão Recursão 1 Recursão 2
Números Naturais. MA12 - Unidade 1. Os Axiomas de Peano. O Axioma da Indução. Exemplo: uma demonstração por indução
Os Números Naturais MA1 - Unidade 1 Números Naturais Paulo Cezar Pinto Carvalho PROFMAT - SBM January 7, 014 Números Naturais: modelo abstrato para contagem. N = {1,,3,...} Uma descrição precisa e concisa
Bruno Hott Algoritmos e Estruturas de Dados I DECSI UFOP. Recursividade
Bruno Hott Algoritmos e Estruturas de Dados I DECSI UFOP Recursividade Conceito de Recursividade Fundamental em Matemática e Ciência da Computação Um programa recursivo é um programa que chama a si mesmo
étodos uméricos SISTEMAS DE EQUAÇÕES LINEARES (Continuação) Prof. Erivelton Geraldo Nepomuceno PROGRAMA DE PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA
étodos uméricos SISTEMAS DE EQUAÇÕES LINEARES (Continuação) Prof. Erivelton Geraldo Nepomuceno PROGRAMA DE PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA UNIVERSIDADE DE JOÃO DEL-REI PRÓ-REITORIA DE PESQUISA CENTRO
Sociedade Brasileira de Matemática Mestrado Profissional em Matemática em Rede Nacional
Sociedade Brasileira de Matemática Mestrado Profissional em Matemática em Rede Nacional MA12 Matemática Discreta Avaliação - GABARITO AV 3 - MA 12 13 de julho de 2013 1. (2,0) Seja (a n ) uma progressão
GABARITO. Prova 2 (points: 120/100; bonus: 18 ; time: 100 ) FMC1, (Turmas do Thanos) Regras: Boas provas! Gabarito 23/11/2016
FMC1, 2016.2 (Turmas do Thanos) Prova 2 (points: 120/100; bonus: 18 ; time: 100 ) Nome: Θάνος Gabarito 23/11/2016 Regras: I. Não vires esta página antes do começo da prova. II. Nenhuma consulta de qualquer
Notas sobre Definições Recursivas
Notas sobre Definições Recursivas Anjolina Grisi de Oliveira Centro de Informática Universidade Federal de Pernambuco CIn-UFPE Introdução A torre de Hanói Jogo antigo inventado pelo matemético francês
Luciana Santos da Silva Martino
Sumário APLICAÇÕES DA INDUÇÃO Luciana Santos da Silva Martino lulismartino.wordpress.com [email protected] PROFMAT - Colégio Pedro II 11 de agosto de 2017 Sumário 1 Definição por Recorrência 2 Binômio
Princípio KISS. Semana Olímpica/ Nível 1. Prof. Armando Barbosa. 25 de janeiro de 2019
Princípio KISS Semana Olímpica/2019 - Nível 1 Prof. Armando Barbosa 25 de janeiro de 2019 1 Pensar simples (Principio KISS) A ideia dessa seção é apresentar o príncipio KISS (Keep it simple, stupid) à
Modelagem com relações de recorrência. Exemplo: Determinada população dobra a cada ano; população inicial = 5 a n = população depois de n anos
Relações de recorrência 8. RELAÇÕES DE RECORRÊNCIA Introdução a relações de recorrência Modelagem com relações de recorrência Solução de relações de recorrência Exemplos e aplicações Relações de recorrência
Aula 05: - Recursão (parte 1)
MCTA028 Programação Estruturada Aula 05: - Recursão (parte 1) Prof. João Henrique Kleinschmidt Material elaborado pelo prof. Jesús P. Mena-Chalco 3Q-20108 Recursão: Se você ainda não entendeu; Ver: "Recursão".
Análise I. Notas de Aula 1. Alex Farah Pereira de Agosto de 2017
Análise I Notas de Aula 1 Alex Farah Pereira 2 3 23 de Agosto de 2017 1 Turma de Matemática. 2 Departamento de Análise-IME-UFF 3 http://alexfarah.weebly.com ii Conteúdo 1 Conjuntos 1 1.1 Números Naturais........................
Relações de recorrência
Relações de recorrência Sequências. Relações de recorrência. Equação caraterística. Relações de recorrência de ª ordem não homogéneas. Referência: Capítulo: 4 Discrete Mathematics with Graph Theory Edgar
Algoritmos de Ordenação
Algoritmos de Ordenação! Problema: encontrar um número de telefone em uma lista telefônica! simplificado pelo fato dos nomes estarem em ordem alfabética! e se estivesse sem uma ordem?! Problema: busca
MA14 - Aritmética Unidade 2 - Parte 2
MA14 - Aritmética Unidade 2 - Parte 2 Aplicação da Indução (Aplicações Lúdicas) Abramo Hefez PROFMAT - SBM Aviso Este material é apenas um resumo de parte do conteúdo da disciplina e o seu estudo não garante
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/81 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
Matemática Discreta - 08
Universidade Federal do Vale do São Francisco urso de Engenharia da omputação Matemática Discreta - 08 Prof. Jorge avalcanti [email protected] www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
05 Análise de Algoritmos (parte 4) SCC201/501 - Introdução à Ciência de Computação II
05 Análise de Algoritmos (parte 4) SCC201/501 - Introdução à Ciência de Computação II Prof. Moacir Ponti Jr. www.icmc.usp.br/~moacir Instituto de Ciências Matemáticas e de Computação USP 2010/2 Moacir
Introdução à Análise Algoritmos
Introdução à Análise Algoritmos Notas de aula da disciplina IME 4-182 Estruturas de Dados I Paulo Eustáquio Duarte Pinto (pauloedp arroba ime.uerj.br) abril/218 Ordenação por SELEÇÃO: Idéia: Dado um vetor
Referências e materiais complementares desse tópico
Notas de aula: Análise de Algoritmos Centro de Matemática, Computação e Cognição Universidade Federal do ABC Profa. Carla Negri Lintzmayer Conceitos matemáticos e técnicas de prova (Última atualização:
1 Conjuntos, Números e Demonstrações
1 Conjuntos, Números e Demonstrações Definição 1. Um conjunto é qualquer coleção bem especificada de elementos. Para qualquer conjunto A, escrevemos a A para indicar que a é um elemento de A e a / A para
Introdução à Ciência da Computação II. Recursão. Prof. Ricardo J. G. B. Campello
Introdução à Ciência da Computação II Recursão Prof. Ricardo J. G. B. Campello Agradecimentos Parte dos slides a seguir são adaptações dos originais em Pascal gentilmente cedidos pelo Prof. Rudinei Goularte
Indução Matemática. Profa. Sheila Morais de Almeida. junho DAINF-UTFPR-PG
Indução Matemática Profa. Sheila Morais de Almeida DAINF-UTFPR-PG junho - 2018 Sheila Almeida (DAINF-UTFPR-PG) Indução Matemática junho - 2018 1 / 38 Este material é preparado usando como referências os
Introdução ao Curso. Área de Teoria DCC/UFMG 2019/01. Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG /01 1 / 22
Introdução ao Curso Área de Teoria DCC/UFMG Introdução à Lógica Computacional 2019/01 Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG - 2019/01 1 / 22 Introdução: O que é
Pré-Cálculo. Humberto José Bortolossi. Aula 5 27 de agosto de Departamento de Matemática Aplicada Universidade Federal Fluminense
Pré-Cálculo Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Aula 5 27 de agosto de 200 Aula 5 Pré-Cálculo Expansões decimais: exemplo Números reais numericamente
Recursividade. David Menotti Algoritmos e Estruturas de Dados II DInf UFPR
Recursividade David Menotti Algoritmos e Estruturas de Dados II DInf UFPR Conceito de Recursividade Fundamental em Matemática e Ciência da Computação Um programa recursivo é um programa que chama a si
Determinação de raízes de polinômios: Método de Briot-Ruffini-Horner
Determinação de raízes de polinômios: Marina Andretta/Franklina Toledo ICMC-USP 13 de maio de 2015 Baseado no livro Cálculo Numérico, de Neide B. Franco Marina Andretta/Franklina Toledo (ICMC-USP) sme0301
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/26 3 - INDUÇÃO E RECURSÃO 3.1) Indução Matemática 3.2)
Roteiro da segunda aula presencial - ME
PIF Enumerabilidade Teoria dos Números Congruência Matemática Elementar Departamento de Matemática Universidade Federal da Paraíba 29 de outubro de 2014 PIF Enumerabilidade Teoria dos Números Congruência
ANÁLISE DE ALGORITMOS: PARTE 4
ANÁLISE DE ALGORITMOS: PARTE 4 Prof. André Backes 2 Função recursiva Função que chama a si mesma durante a sua execução Exemplo: fatorial de um número N. Para N = 4 temos 4! = 4 * 3! 3! = 3 * 2! 2! = 2
Universidade Federal do ABC Centro de Matemática, Computação e Cognição Análise na Reta (2017) Curso de Verão
Lista L1 Preliminares Observações: Universidade Federal do ABC Centro de Matemática, Computação e Cognição Análise na Reta (017) Curso de Verão Esta lista corresponde a um conjunto de exercícios selecionados
Matemática Discreta 10
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta 10 Prof. Jorge Cavalcanti [email protected] - www.univasf.edu.br/~jorge.cavalcanti 1 Muitas
Técnicas de projeto de algoritmos: Indução
Técnicas de projeto de algoritmos: Indução ACH2002 - Introdução à Ciência da Computação II Delano M. Beder Escola de Artes, Ciências e Humanidades (EACH) Universidade de São Paulo [email protected] 08/2008
Provas de Análise Real - Noturno - 3MAT003
Provas de 2006 - Análise Real - Noturno - 3MAT003 Matemática - Prof. Ulysses Sodré - Londrina-PR - provas2006.tex 1. Definir a operação ϕ entre os conjuntos A e B por ϕ(a, B) = (A B) (A B). (a) Demonstrar
1 a Lista de Exercícios
1 a Lista de Exercícios Prof. Ms. Ricardo Leite Matemática para Engenharia Unisal September 8, 01 Exercise 1. AVILA, G. Variáveis Complexas e Aplicações, 000. Pág. 8 Exercício 8 Dados três vértices de
X Encontro da Olimpíada Regional de Matemática
completa X Encontro da Olimpíada Regional de Matemática Florianópolis, 28 de Março de 2015. completa Demonstrando igualdades Seja n um número natural qualquer maior do que 1. Qual será o valor da soma
19 AULA. Princípio da Boa Ordem LIVRO. META Introduzir o princípio da boa ordem nos números naturais e algumas de suas conseqüências.
LIVRO Princípio da Boa Ordem META Introduzir o princípio da boa ordem nos números naturais e algumas de suas conseqüências. OBJETIVOS Ao fim da aula os alunos deverão ser capazes de: Aplicar o princípio
José Paulo Carneiro (0; 0) (0; 1) (0; 2) (0; 3) (1; 0) (1; 1) (1; 2) (1; 3) (2; 0) (2; 1) (2; 2) (2; 3) (3; 0) (3; 1) (3; 2) (3; 3)
A ENUMERABILIDADE DE E O CHÃO TRIANGULAR José Paulo Carneiro Nível Intermediário < < é < < e
Aula 05: - Recursão (parte 1)
MCTA028 Programação Estruturada Aula 05: - Recursão (parte 1) Prof. Jesús P. Mena-Chalco [email protected] 3Q-20107 1 Recursão: Se você ainda não entendeu; Ver: "Recursão". Efeito Droste Anuncio
A DEFINIÇÃO AXIOMÁTICA DO CONJUNTO DOS NÚMEROS NATURAIS.
A DEFINIÇÃO AXIOMÁTICA DO CONJUNTO DOS NÚMEROS NATURAIS. SANDRO MARCOS GUZZO RESUMO. A construção dos conjuntos numéricos é um assunto clássico na matemática, bem como o estudo das propriedades das operações
Análise de Algoritmos
Análise de Algoritmos Técnicas de Prova Profa. Sheila Morais de Almeida DAINF-UTFPR-PG julho - 2015 Técnicas de Prova Definição Uma prova é um argumento válido que mostra a veracidade de um enunciado matemático.
RADICIAÇÃO, POTENCIAÇÃO, LOGARITMAÇÃO. Potência POTENCIAÇÃO, RADICIAÇÃO E LOGARITMAÇÂO NOS NÚMEROS REAIS. Potenciação 1
RADICIAÇÃO, POTENCIAÇÃO, LOGARITMAÇÃO Potência POTENCIAÇÃO, RADICIAÇÃO E LOGARITMAÇÂO NOS NÚMEROS REAIS Potenciação 1 Neste texto, ao classificarmos diferentes casos de potenciação, vamos sempre supor
Funções Polinomiais com Coeficientes Complexos. Quantidade de Raízes e Consequências. 3 ano E.M. Professores Cleber Assis e Tiago Miranda
Funções Polinomiais com Coeficientes Complexos Quantidade de Raízes e Consequências 3 ano E.M. Professores Cleber Assis e Tiago Miranda Funções Polinomiais com Coeficientes Complexos Quantidade de Raízes
Teoria dos Conjuntos. (Aula 6) Ruy de Queiroz. O Teorema da. (Aula 6) Ruy J. G. B. de Queiroz. Centro de Informática, UFPE
Ruy J. G. B. de Centro de Informática, UFPE 2007.1 Conteúdo 1 Seqüências Definição Uma seqüência é uma função cujo domíno é um número natural ou N. Uma seqüência cujo domínio é algum número natural n N
Torre de Hanói e Sequência de Fibonacci via Transformada Z
Proceeding Series of the Brailian Society of Computational and Applied Mathematics Torre de Hanói e Sequência de Fibonacci via Transformada Z Roy Wilhelm Probst Simone Venturi Universidade Tecnológica
Álgebra Linear e Aplicações - Primeira Prova - Gabarito. Problema 1 (2 pontos) Calcule dim(ran(t )) para a transformação linear T : R 4 R 3
Álgebra Linear e Aplicações - Primeira Prova - Gabarito Problema (2 pontos) Calcule dim(ran(t )) para a transformação linear T : R R 3 com a seguinte representação matricial na base canônica. 2 3 A = 0
Indução Matemática. George Darmiton da Cunha Cavalcanti CIn - UFPE
Indução Matemática George Darmiton da Cunha Cavalcanti CIn - UFPE Introdução Qual é a fórmula para a soma dos primeiros n inteiros ímpares positivos? Observando os resultados para um n pequeno, encontra-se
Transformada de Fourier: fundamentos matemáticos, implementação e aplicações musicais
Transformada de Fourier: fundamentos matemáticos, implementação e aplicações musicais MAC 0337 Computação Musical Jorge H. Neyra-Araoz IME USP 22/11/2007 Resumo Série de Fourier para funções periódicas
