LISTA DE EXERCÍCIOS. Humberto José Bortolossi

Tamanho: px
Começar a partir da página:

Download "LISTA DE EXERCÍCIOS. Humberto José Bortolossi"

Transcrição

1 GMA DEPARTAMENTO DE MATEMÁTICA APLICADA LISTA DE EXERCÍCIOS Matemática Básica Humberto José Bortolossi 06 O Princípio da Indução Finita e Aplicações [01] Usando o algoritmo recursivo descrito em sala de aula, preencha o jardim abaixo com ladrilhos na forma de L. A letra B indica a posição da estátua de Bill. B [02] Mostre que se n N, então n<2 n. [03] Mostre que se n N, a>0, b>0ea<b,então a n <b n. [04] (Sugerido por T. I. Ramsamujh) Considere o seguinte predicado: P (n): se o máximo de dois inteiros positivos é n, então os inteiros são iguais. Vamos mostrar, usando o princípio da indução, que a sentença quantificada n N,P(n) é verdadeira: Observe que P (1) é verdadeira, pois se o máximo de dois números inteiros positivos é 1, então os dois inteiros devem ser iguais a 1 e, portanto, eles são iguais. Suponha que P (n) seja verdadeira. Vamos mostrar que P (n +1) também é verdadeira. De fato: sejam u e v dois inteiros com máximo n +1. Entãoomáximo de u 1 e v 1 é n. Uma vez que P (n) é verdadeira, segue-se que u 1=v 1. Assim, u = v, demodoquep (n +1) é verdadeira. Sejam r = 999 e s = Note que o máximo entre r e s é n = s = Pelo que acabamos de provar, r = s, istoé, 999 = 1000, mas isso é um absurdo. Onde está o erro? [05] (Código de Gray) Uma sequência de 2 n palavras de tamanho n formadas pela justaposição de zeros e uns éumcódigo de Gray de tamanho n se duas palavras adjacentes na sequência sempre diferem exatamente por uma letra. 1

2 (a) Mostre que (00, 01, 11, 10) éumcódigo de Gray de tamanho n =2. (b) Dê um outro código de Gray de tamanho n = 2 diferente daquele dado no Item (a). (c) Sem consultar o item seguinte, tente construir um código de Gray de tamanho n =3. (d) O algoritmo recursivo descrito a seguir gera códigos de Gray de tamanho arbitrário. Por quê? Passo 1. Seja G 1 =(00, 01). Passo 2. Para cada n = 2, 3,..., uma vez construído um código G n 1, (A) crie uma sequência de palavras justapondo a letra 0 àesquerdadecadapalavradeg n 1 ; (B) crie uma sequência de palavras justapondo a letra 1 àesquerdadecadapalavradeg n 1 ; (C) inverta o ordem que as palavras aparecem na sequência criada no Item (B); (D) defina G n como a sequência formada pelas palavras da sequência construída no Item (A) seguida das palavras da sequência construída no Item (C). (e) Use o algoritmo descrito no Item (d) para gerar um código de Gray de tamanho n =3. Compare com sua resposta para o Item (c). [06] Seja x n onúmero de maneiras diferentes de se cobrir um jardim 2 n com dominós. As figuras abaixo mostram que x 1 =1,x 2 =2ex 3 = 3. Obtenha uma fórmula recursiva para x n. Justifique sua resposta! [07] Prove que se (x +1/x) éumnúmero inteiro, então (x n +1/x n )também éumnúmero inteiro para todo inteiro positivo n. Dica: use o segundo princípio da indução. [08] (Representação de números inteiros positivos em binário) Mostrequeparatodonúmero inteiro positivo n, existeinteiror 0 e inteiros c 0,c 1,...,c r {0, 1} tais que n = r c i 2 i = c 0 + c 1 2+c c r 1 2 r 1 + c r 2 r. i=0 Dica: use o segundo princípio da indução. Para o passo indutivo, considere os casos em que n +1 épar(istoé, n +1 = 2k, comk inteiro positivo menor do que n +1) e n +1 éímpar (isto é, n +1=2k +1,comk inteiro positivo menor do que n +1). 2

3 [09] Mostre que para todo n N, 12 divide n 4 n 2. Dica: use o segundo princípio da indução. Mais precisamente, para o predicado P (n): 12 divide n 4 n 2, mostre que P (1), P (2), P (3), P (4), P (5) e P (6) são verdadeiras. Para o passo indutivo, escreva m = n 5, de modo que n +1=m +6. Use então que 12 divide m 4 m 2 para mostrar que 12 divide (n +1) 4 (n +1) 2. [10] Considere a sequência (a n ) definida recursivamente por: a 1 =1,a 2 =2,a 3 =3ea n = a n 1 + a n 2 + a n 3 para n 4. Mostre que, para todo n 4, a n < 2 n. Dica: use o segundo princípio da indução. [11] Usando o algoritmo recursivo apresentado em sala de aula, indique explicitamente os 2 4 1=15 passos que resolvem o problema da Torre de Hanoi com n =4discos Torre A Torre B Torre C [12] Desenhe a árvore de recursão do algoritmo recursivo apresentado em sala de aula para determinar as permutações de uma lista quando ele é aplicado à lista (a, b, c, d). [13] Desenhe a árvore de recursão do algoritmo recursivo apresentado em sala de aula para determinar o conjunto das partes de um conjunto quando ele é aplicado ao conjunto {a, b, c, d}. [14] Quais valores podem ser formados usando-se selos de 5 e 8 centavos? Prove, por indução, que existe um natural k tal que para todo natural n k, épossível encontrar uma coleção de selos de 5 e 8 centavos totalizando n centavos. Dica: gere uma tabela e tente descobrir um valor para k. Para mais detalhes e generalizações, consulte o Capítulo 6 do livro How to Guard an Art Gallery and Other Discrete Mathematical Adventures de T. S. Michael publicado pela The Johns Hopkins University Press. [15] Verifique se os jardins 3 2 n,6 2 n,3 n 3 n e6 n 6 n podem ou não, para todo n N, serem preenchidos com peças no formato de L, isto é,. [16] Dados dois quadrados, é possível cortá-los em um número finito de peças poligonais (todos os lados são segmentos de reta) e juntas todas as peças de maneira a construir um único quadrado. A figura abaixo mostra uma maneira de se fazer isto. x y a b Se os quadrados tem lados de medida a e b, com a b, então deixe o quadrado menor do jeito que ele está (não o corte), corte o quadrado maior em quatro peças e junte as peças como indicado (isto é, com x =(b a)/2 ey =(a+b)/2). 3

4 (a) Verifique que este método funciona, isto é, verifique que quando você juntaaspeças nada fica faltando ou sobrando e que a figura resultante é de fato um quadrado. (b) Prove que qualquer número de quadrados podem ser cortados e arranjados em um único quadrado. (c) Faça três quadrados de lados 4, 5 e 6, respectivamente, de papel cores diferentes. Corte-os em pedaços poligonais e monte um único quadrado a partir das peças resultantes. Não, isto não é uma aula de artes, mas é instrutivo tentar uma experiência concreta sobre a relação entre demonstrações indutivas e construções explícitas. [17] Mostre que se n N, então (2n 1). n (2 k 1) = n 2.Aqui, k=1 n (2 k 1) éanotação de somatório para k=1 [18] Considere uma sequência de números definida recursivamente pelas seguintes condições: x 0 =1, x 1 =2,x 2 =3e x k = x k 1 + x k 2 + x k 3, para todo k 3. Mostre que x n 3 n para todo n 0. [19] (Sequência de Luca) Defina a sequência (a n ) n N como se segue: a 1 = 1, a 2 = 3 e a k = a k 1 + a k 2 para todo k 3. Use o segundo princípio da indução para mostrar que a n (7/4) n para todo n 1. [20] Defina a sequência (a n ) n N como se segue: a 1 =2,a 2 =8ea k =4(a k 1 a k 2 )paratodok 3. Use o segundo princípio da indução para mostrar que a n = n 2 n para todo n 1. [21] Seja a um número real diferente de zero. Encontre o erro na seguinte demonstração por indução para o fato de que a n = 1 para todo n 0: Passo básico: a 0 =1. Passo indutivo: a n+1 = a n a n /a n 1 =1 1/1 =1. [22] Seja f : R R uma função tal que f(x 1 + x 2 )=f(x 1 )+f(x 2 )paratodox 1,x 2 R. (a) Mostre que f(0) = 0. (b) Mostre que f(n) =nf(1) para todo n N. [23] (Princípio da Boa Ordenação) OPrincípio da Boa Ordenação afirma que todo subconjunto X não-vazio do conjunto N dos números naturais possui um menor elemento. (a) Usando o segundo princípio da indução, demonstre que o Princípio da Boa Ordenação é verdadeiro. Use como predicado: P (n): se n X, então X possui um menor elemento. (b) Assumindo o Princípio da Boa Ordenação, demonstre que o Primeiro Princípio da Indução é verdadeiro. Dos Itens (a) e (b), concluímos que o Princípio da Indução e o Princípio da Boa Ordenação são equivalentes. 4

5 Respostas dos Exercícios Atenção: as respostas apresentadas aqui não possuem justificativas. Você deve escrevê-las! [07] Observe que (x +1/x)(x n +1/x n )=(x n+1 +1/x n+1 )+(x n 1 +1/x n 1 ). Dessa maneira, segue-se que (x n+1 +1/x n+1 )=(x+1/x)(x n +1/x n ) (x n 1 +1/x n 1 ). Pela hipótese de indução, (x+1/x), (x n +1/x n )e(x n 1 +1/x n 1 )são números inteiros. Sendo assim, (x n+1 +1/x n+1 )também éum número inteiro. Texto composto em L A TEX2e, HJB, 27/04/

GMA LISTA DE EXERCÍCIOS. Funções poligonais, funções da forma x elevado a n, função raiz n-ésima

GMA LISTA DE EXERCÍCIOS. Funções poligonais, funções da forma x elevado a n, função raiz n-ésima GMA DEPARTAMENTO DE MATEMÁTICA APLICADA LISTA DE EXERCÍCIOS Pré-Cálculo Humberto José Bortolossi http://www.professores.uff.br/hjbortol/ 12 Funções poligonais, funções da forma x elevado a n, função raiz

Leia mais

Fundamentos de Matemática. Lista de Exercícios Humberto José Bortolossi Argumentos e Exercícios de Revisão

Fundamentos de Matemática. Lista de Exercícios Humberto José Bortolossi   Argumentos e Exercícios de Revisão GMA DEPARTAMENTO DE MATEMÁTICA APLICADA Fundamentos de Matemática Lista de Exercícios Humberto José Bortolossi http://www.professores.uff.br/hjbortol/ 04 Argumentos e Exercícios de Revisão [01] (Exercício

Leia mais

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

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)

Leia mais

LISTA DE EXERCÍCIOS. Demonstrações diretas e por absurdo

LISTA DE EXERCÍCIOS. Demonstrações diretas e por absurdo LISTA DE EXERCÍCIOS Matemática Básica Humberto José Bortolossi http://www.professores.uff.br/hjbortol/ 02 Demonstrações diretas e por absurdo Diga se cada uma das sentenças abaixo é verdadeira ou falsa.

Leia mais

LISTA DE EXERCÍCIOS. Implicações e Teoria dos Conjuntos, Conectivos Lógicos

LISTA DE EXERCÍCIOS. Implicações e Teoria dos Conjuntos, Conectivos Lógicos LISTA DE EXERCÍCIOS Matemática Básica Humberto José Bortolossi http://www.professores.uff.br/hjbortol/ 03 Implicações e Teoria dos Conjuntos, Conectivos Lógicos [01] Considere os seguintes predicados (x

Leia mais

LISTA DE EXERCÍCIOS. Humberto José Bortolossi

LISTA DE EXERCÍCIOS. Humberto José Bortolossi GMA DEPARTAMENTO DE MATEMÁTICA APLICADA LISTA DE EXERCÍCIOS Matemática Básica Humberto José Bortolossi http://wwwprofessoresuffbr/hjbortol/ 09 Funções reais (domínio, imagem e gráfico), funções monótonas,

Leia mais

Fundamentos de Matemática. Lista de Exercícios Humberto José Bortolossi

Fundamentos de Matemática. Lista de Exercícios Humberto José Bortolossi GMA DEPARTAMENTO DE MATEMÁTICA APLICADA Fundamentos de Matemática Lista de Exercícios Humberto José Bortolossi http://www.professores.uff.br/hjbortol/ 02 Demonstração direta, demonstração por absurdo e

Leia mais

LISTA DE EXERCÍCIOS. [01] Determine o domínio natural (efetivo) de cada uma das funções indicadas abaixo.

LISTA DE EXERCÍCIOS. [01] Determine o domínio natural (efetivo) de cada uma das funções indicadas abaixo. LISTA DE EXERCÍCIOS Pré-Cálculo Humberto José Bortolossi http://www.professores.uff.br/hjbortol/ 04 Transformações de gráficos de funções, função raiz quadrada, funções potência [01] Determine o domínio

Leia mais

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

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)

Leia mais

Indução Matemática. George Darmiton da Cunha Cavalcanti CIn - UFPE

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

Leia mais

LISTA DE EXERCÍCIOS. [01] Determine o domínio natural (efetivo/maximal) de cada uma das funções indicadas abaixo.

LISTA DE EXERCÍCIOS. [01] Determine o domínio natural (efetivo/maximal) de cada uma das funções indicadas abaixo. LISTA DE EXERCÍCIOS Matemática Básica Humberto José Bortolossi http://www.professores.uff.br/hjbortol/ 06 Função raiz quadrada, funções da forma y = f(x) = a 2 x 2, funções potência [01] Determine o domínio

Leia mais

Soluções dos exercícios propostos

Soluções dos exercícios propostos Indução e Recursão Soluções dos exercícios propostos 1 Iremos demonstrar que a expressão proposta a seguir é correta: i = 0 + + + + + (n 1) = n(n 1), para n > 0 0 i

Leia mais

Aulas 5 e 6 / 28 e 30 de março

Aulas 5 e 6 / 28 e 30 de março Aulas 5 e / 8 e 30 de março 1 Notação de soma e produto Como expressar a seguinte soma de uma maneira mais concisa? 1 + + 3 3 + + 10? Note que as parcelas são semelhantes, e que a única coisa que varia

Leia mais

Humberto José Bortolossi x 1 < 0 x2 x 12 < 0. x 1 x + 12 (x + 3)(x 4)

Humberto José Bortolossi   x 1 < 0 x2 x 12 < 0. x 1 x + 12 (x + 3)(x 4) SEGUNDA VERIFICAÇÃO DE APRENDIZAGEM Matemática Básica Humberto José Bortolossi http://www.professores.uff.br/hjbortol/ Nome legível: Assinatura: [0] (2.0) Resolva a inequação x 2 < x + 2 no conjunto dos

Leia mais

Lista 1 - PMR2300. Fabio G. Cozman 3 de abril de 2013

Lista 1 - PMR2300. Fabio G. Cozman 3 de abril de 2013 Lista 1 - PMR2300 Fabio G. Cozman 3 de abril de 2013 1. Qual String é impressa pelo programa: p u b l i c c l a s s What { p u b l i c s t a t i c void f ( i n t x ) { x = 2 ; p u b l i c s t a t i c void

Leia mais

Humberto José Bortolossi [01] (a) (1.0) Escreva infinitos números racionais que pertençam ao intervalo

Humberto José Bortolossi   [01] (a) (1.0) Escreva infinitos números racionais que pertençam ao intervalo PRIMEIRA VERIFICAÇÃO DE APRENDIZAGEM Pré-Cálculo Humberto José Bortolossi http://www.professores.uff.br/hjbortol/ Nome legível: Assinatura: [0] (a) (.0) Escreva infinitos números racionais que pertençam

Leia mais

ATIVIDADES EM SALA DE AULA Cálculo I -A- Humberto José Bortolossi

ATIVIDADES EM SALA DE AULA Cálculo I -A- Humberto José Bortolossi ATIVIDADES EM SALA DE AULA Cálculo I -A- Humberto José Bortolossi http://www.professores.uff.br/hjbortol/ 06 Limites, Assíntotas Horizontais e Assíntotas Verticais [0] (2006.2) Considere a função f() =

Leia mais

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

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

Leia mais

LISTA DE EXERCÍCIOS. Números Reais Geometricamente, Numericamente e Axiomaticamente

LISTA DE EXERCÍCIOS. Números Reais Geometricamente, Numericamente e Axiomaticamente LISTA DE EXERCÍCIOS Matemática Básica Humberto José Bortolossi http://wwwprofessoresuffbr/hjbortol/ 07 Números Reais Geometricamente, Numericamente e Axiomaticamente [01] Determine os números reais x,

Leia mais

Funções. Pré-Cálculo. O que é uma função? O que é uma função? Humberto José Bortolossi. Parte 2. Definição

Funções. Pré-Cálculo. O que é uma função? O que é uma função? Humberto José Bortolossi. Parte 2. Definição Pré-Cálculo Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Funções Parte 2 Parte 2 Pré-Cálculo 1 Parte 2 Pré-Cálculo 2 O que é uma função? O que é uma função?

Leia mais

Referências e materiais complementares desse tópico

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:

Leia mais

MC102 Aula 27 Recursão II

MC102 Aula 27 Recursão II MC102 Aula 27 Recursão II Instituto de Computação Unicamp 17 de Novembro de 2016 Roteiro 1 Recursão Relembrando 2 Cálculo de Potências 3 Torres de Hanoi 4 Recursão e Backtracking 5 Exercício (Instituto

Leia mais

Números Naturais. MA12 - Unidade 1. Os Axiomas de Peano. O Axioma da Indução. Exemplo: uma demonstração por indução

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

Leia mais

LISTA DE EXERCÍCIOS. Humberto José Bortolossi

LISTA DE EXERCÍCIOS. Humberto José Bortolossi GMA DEPARTAMENTO DE MATEMÁTICA APLICADA LISTA DE EXERCÍCIOS Cálculo I A Humberto José Bortolossi http://wwwprofessoresuffbr/hjbortol/ 03 Operações com funções: soma, diferença, produto, quociente, composição

Leia mais

Funções. Matemática Básica. O que é uma função? O que é uma função? Folha 1. Humberto José Bortolossi. Parte 07. Definição

Funções. Matemática Básica. O que é uma função? O que é uma função? Folha 1. Humberto José Bortolossi. Parte 07. Definição Folha 1 Matemática Básica Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Funções Parte 07 Aula 9 Matemática Básica 1 Aula 9 Matemática Básica 2 O que é uma

Leia mais

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

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/10 3 - INDUÇÃO E RECURSÃO 3.1) Indução Matemática 3.2)

Leia mais

Lista 2 - PMR2300/3200

Lista 2 - PMR2300/3200 Lista 2 - PMR2300/3200 Fabio G. Cozman, Thiago Martins 8 de março de 2015 1. Qual String é impressa pelo programa: p u b l i c c l a s s What { p u b l i c s t a t i c void f ( i n t x ) { x = 2 ; p u

Leia mais

Seja S = {2, 5, 17, 27}. Quais da sentenças a seguir são verdadeiras? 3. Quantos conjuntos diferentes são descritos abaixo? Quais são eles?

Seja S = {2, 5, 17, 27}. Quais da sentenças a seguir são verdadeiras? 3. Quantos conjuntos diferentes são descritos abaixo? Quais são eles? Seção 3.1 Conjuntos 113 Existem identidades básicas (em pares duais) e elas podem ser usadas para provarem identidades de conjuntos; uma vez que uma identidade seja provada desta maneira, sua dual também

Leia mais

Melhores momentos AULA 3. Algoritmos p.148/188

Melhores momentos AULA 3. Algoritmos p.148/188 Melhores momentos AULA 3 Algoritmos p.148/188 Análise da intercalação Problema: Dados e crescentes, rearranjar de modo que ele fique em ordem crescente. Entra: Sai: Algoritmos p.149/188 Algoritmos p.150/188

Leia mais

Matemática Discreta Bacharelado em Sistemas de Informação Resolução - 4ª Lista de Exercícios. Indução e Recursão

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,

Leia mais

# Estrutura de Dados # Aula 08 Recursão (conceito, utilização, exemplos) Prof. Leinylson Fontinele Pereira

# Estrutura de Dados # Aula 08 Recursão (conceito, utilização, exemplos) Prof. Leinylson Fontinele Pereira # Estrutura de Dados # Aula 08 Recursão (conceito, utilização, exemplos) Prof. Leinylson Fontinele Pereira Na aula anterior... Alocação Dinâmica de Memória Introdução 3 O que vamos aprender? Recursividade

Leia mais

LISTA DE EXERCÍCIOS Cálculo I -A- Humberto José Bortolossi

LISTA DE EXERCÍCIOS Cálculo I -A- Humberto José Bortolossi GMA DEPARTAMENTO DE MATEMÁTICA APLICADA LISTA DE EXERCÍCIOS Cálculo I -A- Humberto José Bortolossi ttp://www.professores.uff.br/jbortol/ 02 Modelando com Funções, Funções Elementares e Obtendo Gráficos

Leia mais

RESOLUÇÃO DCC-UFRJ MATEMÁTICA COMBINATÓRIA 2006/2 PROVA Considere a soma. S n = n 2 n 1

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

Leia mais

Estruturas Discretas

Estruturas Discretas Estruturas Discretas 2017.2 Marco Molinaro > Indução Forte Corretude de Algoritmos 1/20 Indução Forte > Indução Forte Corretude de Algoritmos 2/20 Indução Forte X Indução Fraca Para provar Propriedade

Leia mais

Apresentação do curso

Apresentação do curso Matemática Básica Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Apresentação do curso Parte 1 Parte 1 Matemática Básica 1 Parte 1 Matemática Básica 2 Conteúdo

Leia mais

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

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/20 3 - INDUÇÃO E RECURSÃO 3.1) Indução Matemática 3.2)

Leia mais

Números. Matemática Básica. O que é um número? O que é um número? Dicionário Aurélio: Número. Humberto José Bortolossi. Parte 5.

Números. Matemática Básica. O que é um número? O que é um número? Dicionário Aurélio: Número. Humberto José Bortolossi. Parte 5. Matemática Básica Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Números Parte 5 Parte 5 Matemática Básica Parte 5 Matemática Básica O que é um número? O que

Leia mais

Programação Estruturada

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

Leia mais

Lista de Exercícios 6 Funções

Lista de Exercícios 6 Funções UFMG/ICEx/DCC DCC Matemática Discreta Lista de Exercícios 6 Funções Ciências Exatas & Engenharias o Semestre de 06 Conceitos. Determine e justifique se a seguinte afirmação é verdadeira ou não para todas

Leia mais

Apresentação do curso

Apresentação do curso Folha 1 Matemática Básica Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Apresentação do curso Parte 1 Parte 1 Matemática Básica 1 Parte 1 Matemática Básica

Leia mais

Os números inteiros. Álgebra (Curso de CC) Ano lectivo 2005/ / 51

Os números inteiros. Álgebra (Curso de CC) Ano lectivo 2005/ / 51 Os números inteiros Abordaremos algumas propriedades dos números inteiros, sendo de destacar o Algoritmo da Divisão e o Teorema Fundamental da Aritmética. Falaremos de algumas aplicações como sejam a detecção

Leia mais

UNIVERSIDADE ESTADUAL PAULISTA Julio de Mesquita Filho" FACULDADE DE ENGENHARIA

UNIVERSIDADE ESTADUAL PAULISTA Julio de Mesquita Filho FACULDADE DE ENGENHARIA UNIVERSIDADE ESTADUAL PAULISTA Julio de Mesquita Filho" FACULDADE DE ENGENHARIA 8ª. LISTA DE EXERCÍCIOS FUNÇÕES E PROCEDIMENTOS Disciplina: Programação de Computadores Prof. Dra Cassilda Maria Ribeiro

Leia mais

Funções - Primeira Lista de Exercícios

Funções - Primeira Lista de Exercícios Funções - Primeira Lista de Exercícios Vers~ao de 0/03/00 Recomendações Não é necessário o uso de teoremas ou resultados complicados nas resoluções. Basta que você tente desenvolver suas idéias. Faltando

Leia mais

Exercícios: Vetores e Matrizes

Exercícios: Vetores e Matrizes Universidade Federal de Uberlândia - UFU Faculdade de Computação - FACOM Lista de exercícios de programação em linguagem C Exercícios: Vetores e Matrizes 1 Vetores 1. Faça um programa que possua um vetor

Leia mais

Universidade Federal do ABC Centro de Matemática, Computação e Cognição Análise na Reta (2017) Curso de Verão

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

Leia mais

Aula 1: Introdução ao curso

Aula 1: Introdução ao curso Aula 1: Introdução ao curso MCTA027-17 - Teoria dos Grafos Profa. Carla Negri Lintzmayer carla.negri@ufabc.edu.br Centro de Matemática, Computação e Cognição Universidade Federal do ABC 1 Grafos Grafos

Leia mais

Indução Matemática. Profa. Sheila Morais de Almeida. junho DAINF-UTFPR-PG

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

Leia mais

UFPR - Universidade Federal do Paraná Setor de Ciências Exatas Departamento de Matemática MA12 - Matemática Discreta - PROFMAT Prof.

UFPR - Universidade Federal do Paraná Setor de Ciências Exatas Departamento de Matemática MA12 - Matemática Discreta - PROFMAT Prof. UFPR - Universidade Federal do Paraná Setor de Ciências Exatas Departamento de Matemática MA - Matemática Discreta - PROFMAT Prof. Zeca Eidam Lista Números Naturais e o Princípio de Indução. Prove que

Leia mais

Processamento da Informação

Processamento da Informação Processamento da Informação Fabrício Olivetti de França 02 de Fevereiro de 2019 Topics 1. Recursão 1 Recursão Indução Matemática Em bases matemáticas vocês aprenderam sobre indução matemática: Provamos

Leia mais

Análise de algoritmos

Análise de algoritmos Análise de algoritmos Recorrências Conteúdo Introdução O método mestre Referências Introdução O tempo de execução de um algoritmo recursivo pode frequentemente ser descrito por uma equação de recorrência.

Leia mais

Indução Matemática. Matemática Discreta. Indução Matemática. Mayara Midori Omai e Sheila Morais de Almeida UTFPR-PG. Abril

Indução Matemática. Matemática Discreta. Indução Matemática. Mayara Midori Omai e Sheila Morais de Almeida UTFPR-PG. Abril Matemática Discreta Indução Matemática Mayara Midori Omai e Sheila Morais de Almeida UTFPR-PG Abril - 2017 Indução Matemática Se desejamos provar que A(n) B(n) é verdade para números inteiros k maiores

Leia mais

O verbo induzir significa gerar. Nesta aula, começaremos a ver o assunto Indução Matemática

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

Leia mais

LISTA DE EXERCÍCIOS Cálculo I -A- Humberto José Bortolossi

LISTA DE EXERCÍCIOS Cálculo I -A- Humberto José Bortolossi LISTA DE EXERCÍCIOS Cálculo I -A- Humberto José Bortolossi http://www.professores.uff.br/hjbortol/ 18 Esboço de gráficos de funções [01] Verdadeiro ou falso? Se f : R R é uma função de classe C e f (p)

Leia mais

Pré-Cálculo. Humberto José Bortolossi. Aula 8 26 de abril de Departamento de Matemática Aplicada Universidade Federal Fluminense

Pré-Cálculo. Humberto José Bortolossi. Aula 8 26 de abril de Departamento de Matemática Aplicada Universidade Federal Fluminense Pré-Cálculo Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Aula 8 26 de abril de 200 Aula 8 Pré-Cálculo O que é uma função? Funções reais Uma função real f

Leia mais

Negação. Matemática Básica. Negação. Negação. Humberto José Bortolossi. Parte 3. Regras do Jogo. Regras do Jogo

Negação. Matemática Básica. Negação. Negação. Humberto José Bortolossi. Parte 3. Regras do Jogo. Regras do Jogo Matemática Básica Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Parte 3 Parte 3 Matemática Básica 1 Parte 3 Matemática Básica 2 Qual é a negação do predicado

Leia mais

ATIVIDADES EM SALA DE AULA Cálculo I -A- Humberto José Bortolossi

ATIVIDADES EM SALA DE AULA Cálculo I -A- Humberto José Bortolossi ATIVIDADES EM SALA DE AULA Cálculo I -A- Humberto José Bortolossi http://www.professores.uff.br/hjbortol/ 08 Continuidade e O Teorema do Valor Intermediário [0] (2008.) (a) Dê um exemplo de uma função

Leia mais

Seminário Semanal de Álgebra. Técnicas de Demonstração

Seminário Semanal de Álgebra. Técnicas de Demonstração UNIVERSIDADE FEDERAL DE GOIÁS CÂMPUS CATALÃO Seminário Semanal de Álgebra Técnicas de Demonstração Catalão, 26/11/2013. Universidade Federal de Goiás Campus Catalão Seminário Semanal de Álgebra Orientador:

Leia mais

Dedução Indução Contra-exemplos Contradição Contrapositiva Construção Diagonalização

Dedução Indução Contra-exemplos Contradição Contrapositiva Construção Diagonalização Dedução Indução Contra-exemplos Contradição Contrapositiva Construção Diagonalização 1 Provas, lemas, teoremas e corolários Uma prova é um argumento lógico de que uma afirmação é verdadeira Um teorema

Leia mais

PCC104 - Projeto e Análise de Algoritmos

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

Leia mais

> Princípios de Contagem e Enumeração Computacional 1/13

> Princípios de Contagem e Enumeração Computacional 1/13 Princípios de Contagem e Enumeração Computacional > Princípios de Contagem e Enumeração Computacional 1/13 Objetivos Contar/listar o número de elementos de conjuntos finitos Aplicações > Princípios de

Leia mais

Matemática Básica EXERCÍCIOS OBRIGATÓRIOS. Dê um contraexemplo para cada sentença falsa.

Matemática Básica EXERCÍCIOS OBRIGATÓRIOS. Dê um contraexemplo para cada sentença falsa. DR. SIMON G. CHIOSSI @ GMA / UFF MB V 1 0/02/2016 NOME LEGÍVEL: Matemática Básica Prova V 1 turma A1 0 / 02 / 2016 MATRÍCULA: EXERCÍCIOS OBRIGATÓRIOS (1) Sejam P(x) o predicado x 2 = x e Q(x) o predicado

Leia mais

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

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

Leia mais

Teoria dos Conjuntos. (Aula 6) Ruy de Queiroz. O Teorema da. (Aula 6) Ruy J. G. B. de Queiroz. Centro de Informática, UFPE

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

Leia mais

UNIVERSIDADE DE SÃO PAULO INSTITUTO DE CIÊNCIAS MATEMÁTICAS E DE COMPUTAÇÃO Departamento de Ciências de Computação

UNIVERSIDADE DE SÃO PAULO INSTITUTO DE CIÊNCIAS MATEMÁTICAS E DE COMPUTAÇÃO Departamento de Ciências de Computação UNIVERSIDADE DE SÃO PAULO INSTITUTO DE CIÊNCIAS MATEMÁTICAS E DE COMPUTAÇÃO Departamento de Ciências de Computação SCC-203 ALGORITMOS E ESTRUTURAS DE DADOS II Prova - Gabarito Nome: Nro. USP ) O matemático

Leia mais

No. Try not. Do... or do not. There is no try. - Master Yoda, The Empire Strikes Back (1980)

No. Try not. Do... or do not. There is no try. - Master Yoda, The Empire Strikes Back (1980) Cálculo Infinitesimal I V01.2016 - Marco Cabral Graduação em Matemática Aplicada - UFRJ Monitor: Lucas Porto de Almeida Lista A - Introdução à matemática No. Try not. Do... or do not. There is no try.

Leia mais

1 Conjuntos, Números e Demonstrações

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

Leia mais

1 Faculdade FUCAPI Profº. Sérgio Roberto

1 Faculdade FUCAPI Profº. Sérgio Roberto 1 Faculdade FUCAPI Profº. Sérgio Roberto Lembrando que um dos objetivos da criação de um programa é a manipulação dos dados. Por meio do conhecimento das estruturas de dados homogêneas (vetores) é possível

Leia mais

GMA LISTA DE EXERCÍCIOS

GMA LISTA DE EXERCÍCIOS GMA DEPARTAMENTO DE MATEMÁTICA APLICADA LISTA DE EXERCÍCIOS Pré-Cálculo Humberto José Bortolossi http://www.professores.uff.br/hjbortol/ 12 Funções da forma x elevado a α, funções: obtendo gráficos de

Leia mais

ESTRUTURAS DISCRETAS (INF 1631) GRAFOS. 1. O que é um grafo? Defina um grafo orientado. Defina um grafo não-orientado.

ESTRUTURAS DISCRETAS (INF 1631) GRAFOS. 1. O que é um grafo? Defina um grafo orientado. Defina um grafo não-orientado. PUC-Rio Departamento de Informática Profs. Marcus Vinicius S. Poggi de Aragão Período: 0. Horário: as-feiras e as-feiras de - horas de maio de 0 ESTRUTURAS DISCRETAS (INF 6) a Lista de Exercícios Procure

Leia mais

Sexta Lista: Geração de Números Pseudo-Aleatórios e Método de Monte Carlo

Sexta Lista: Geração de Números Pseudo-Aleatórios e Método de Monte Carlo Sexta Lista: Geração de Números Pseudo-Aleatórios e Método de Monte Carlo Antônio Carlos Roque da Silva Filho e Cristiano R. F. Granzotti 26 de junho de 2017 Os exercícios desta lista devem ser resolvidos

Leia mais

INE Fundamentos de Matemática Discreta para a Computação

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

Leia mais

Conjuntos Numéricos Aula 6. Conjuntos Numéricos. Armando Caputi

Conjuntos Numéricos Aula 6. Conjuntos Numéricos. Armando Caputi Conjuntos Numéricos Aula 6 Conjuntos Numéricos E-mail: armando.caputi@ufabc.edu.br Página: http://professor.ufabc.edu.br/~armando.caputi Sala 549-2 - Bloco A - Campus Santo André Conjuntos Numéricos Aula

Leia mais

Pré-Cálculo. Humberto José Bortolossi. Aula 6 29 de março de Departamento de Matemática Aplicada Universidade Federal Fluminense

Pré-Cálculo. Humberto José Bortolossi. Aula 6 29 de março de Departamento de Matemática Aplicada Universidade Federal Fluminense Pré-Cálculo Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Aula 6 29 de março de 2010 Aula 6 Pré-Cálculo 1 Implicações e teoria dos conjuntos f (x) =g(x) u(x)

Leia mais

Lista de Exercícios 6: Soluções Funções

Lista de Exercícios 6: Soluções Funções UFMG/ICEx/DCC DCC Matemática Discreta Lista de Exercícios 6: Soluções Funções Ciências Exatas & Engenharias o Semestre de 06 Conceitos. Determine e justifique se a seguinte afirmação é verdadeira ou não

Leia mais

Estruturas de Dados, Análise de Algoritmos e Complexidade Estrutural. Carlos Alberto Alonso Sanches

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

Leia mais

Análise de Complexidade para algoritmos iterativos e recursivos

Análise de Complexidade para algoritmos iterativos e recursivos Disciplina: Matemática Discreta Agostinho Iaqchan Ryokiti Homa Análise de Complexidade para algoritmos iterativos e recursivos Algoritmos iterativos - complexidade expressa através de somatórios. Algoritmos

Leia mais

Lógica. Fernando Fontes. Universidade do Minho. Fernando Fontes (Universidade do Minho) Lógica 1 / 65

Lógica. Fernando Fontes. Universidade do Minho. Fernando Fontes (Universidade do Minho) Lógica 1 / 65 Lógica Fernando Fontes Universidade do Minho Fernando Fontes (Universidade do Minho) Lógica 1 / 65 Outline 1 Introdução 2 Implicações e Equivalências Lógicas 3 Mapas de Karnaugh 4 Lógica de Predicados

Leia mais

Semana 3 MCTB J Donadelli. 1 Técnicas de provas. Demonstração indireta de implicação. indireta de. Demonstração por vacuidade e trivial

Semana 3 MCTB J Donadelli. 1 Técnicas de provas. Demonstração indireta de implicação. indireta de. Demonstração por vacuidade e trivial Semana 3 por de por de 1 indireta por de por de Teoremas resultados importantes, Os rótulos por de por de Teoremas resultados importantes, Os rótulos Proposições um pouco menos importantes, por de por

Leia mais

MA12 - Unidade 3. Paulo Cezar Pinto Carvalho PROFMAT - SBM

MA12 - Unidade 3. Paulo Cezar Pinto Carvalho PROFMAT - SBM MA12 - Unidade 3 O Método da Indução Paulo Cezar Pinto Carvalho PROFMAT - SBM Definições por indução ou recorrência Como definir, apropriadamente, n! = 1 2... n? i) Definimos 1! = 1 ii) A seguir, supondo

Leia mais

Matemática Discreta - 04

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 jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav

Leia mais

XX OLIMPÍADA REGIONAL DE MATEMÁTICA DE SANTA CATARINA Treinamento 7 Nível 3

XX OLIMPÍADA REGIONAL DE MATEMÁTICA DE SANTA CATARINA Treinamento 7 Nível 3 UNIVERSIDADE FEDERAL DE SANTA CATARINA CENTRO DE CIÊNCIAS FÍSICAS E MATEMÁTICAS DEPARTAMENTO DE MATEMÁTICA PET MATEMÁTICA XX OLIMPÍADA REGIONAL DE MATEMÁTICA DE SANTA CATARINA Treinamento 7 Nível 3 Dias/Horários

Leia mais

MC102 Aula 26. Instituto de Computação Unicamp. 17 de Novembro de 2016

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

Leia mais

SEGUNDA VERIFICAÇÃO DE APRENDIZAGEM. Nome legível: Assinatura:

SEGUNDA VERIFICAÇÃO DE APRENDIZAGEM. Nome legível: Assinatura: SEGUNDA VERIFICAÇÃO DE APRENDIZAGEM Matemática Básica Humberto José Bortolossi http://www.professores.uff.br/hjbortol/ Nome legível: Assinatura: [01] (2.0) Resolva a desigualdade 1 x 2 2 x 3 0 usando a

Leia mais

Exame de Matemática Discreta

Exame de Matemática Discreta Exame de Matemática Discreta 2019.1 A prova é individual, sem consulta e é proibido usar qualquer eletrônico. Pode responder as questões usando lápis (deixe as resoluções legíveis caso a folha seja de

Leia mais

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO MATERIAL EXTRAÍDO DOS LIVROS-TEXTOS (KOLMAN/ROSEN) UFSC - CTC - INE UFSC/CTC/INE p. 1 11 - ESTRUTURAS ALGÉBRICAS 11.1) Operações Binárias 11.2)

Leia mais

Definição 3.1: Seja x um número real. O módulo de x, denotado por x, é definido como: { x se x 0 x se x < 0

Definição 3.1: Seja x um número real. O módulo de x, denotado por x, é definido como: { x se x 0 x se x < 0 Capítulo 3 Módulo e Função Módular A função modular é uma função que apresenta o módulo na sua lei de formação. No entanto, antes de falarmos sobre funções modulares devemos definir o conceito de módulo,

Leia mais

Pré-Cálculo. Humberto José Bortolossi. Aula de maio de Departamento de Matemática Aplicada Universidade Federal Fluminense

Pré-Cálculo. Humberto José Bortolossi. Aula de maio de Departamento de Matemática Aplicada Universidade Federal Fluminense Pré-Cálculo Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Aula 10 23 de maio de 2010 Aula 10 Pré-Cálculo 1 Funções injetivas Funções injetivas, sobrejetivas

Leia mais

Solução de Recorrências

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/ nataliabatista@decom.cefetmg.br

Leia mais

Lista 6. Bases Matemáticas. Funções I. 1 Dados A e B conjuntos, defina rigorosamente o conceito de função de A em B.

Lista 6. Bases Matemáticas. Funções I. 1 Dados A e B conjuntos, defina rigorosamente o conceito de função de A em B. Lista 6 Bases Matemáticas Funções I Dados A e B conjuntos, defina rigorosamente o conceito de função de A em B. Dados os conjuntos A = {a, e, i, o, u} e B = {,, 3, 4, 5}, diga qual das relações abaixo

Leia mais

Roteiro da segunda aula presencial - ME

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

Leia mais

MA12 - Unidade 3. Paulo Cezar Pinto Carvalho. 31 de Janeiro de 2014 PROFMAT - SBM

MA12 - Unidade 3. Paulo Cezar Pinto Carvalho. 31 de Janeiro de 2014 PROFMAT - SBM MA12 - Unidade 3 O Método da Indução Paulo Cezar Pinto Carvalho PROFMAT - SBM 31 de Janeiro de 2014 Definições por indução ou recorrência Como definir, apropriadamente, n! = 1 2... n? i) Definimos 1! =

Leia mais

n. 20 INDUÇÃO MATEMÁTICA

n. 20 INDUÇÃO MATEMÁTICA n. 20 INDUÇÃO MATEMÁTICA Imagine uma fila com infinitos dominós, um atrás do outro. Suponha que eles estejam de tal modo distribuídos que, uma vez que um dominó caia, o seu sucessor na fila também cai.

Leia mais

Matemática Discreta - 07

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 jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav

Leia mais

Matemática Discreta - 07

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 jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav

Leia mais

Análise na Reta - Verão UFPA 1a lista - Números naturais; Corpos ordenados

Análise na Reta - Verão UFPA 1a lista - Números naturais; Corpos ordenados Análise na Reta - Verão UFPA 1a lista - Números naturais; Corpos ordenados A lista abaixo é formada por um subconjunto dos exercícios dos seguintes livros: Djairo G. de Figueiredo, Análise na reta Júlio

Leia mais

Técnicas de Demonstração. Raquel de Souza Francisco Bravo 17 de novembro de 2016

Técnicas de Demonstração. Raquel de Souza Francisco Bravo   17 de novembro de 2016 Técnicas de Demonstração e-mail: raquel@ic.uff.br 17 de novembro de 2016 Técnicas de Demonstração O que é uma demonstração? É a maneira pela qual uma proposição é validada através de argumentos formais.

Leia mais

MA14 - Aritmética Unidade 2 - Parte 2

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

Leia mais

UNIVERSIDADE FEDERAL DO RIO DE JANEIRO DEPARTAMENTO DE CIÊNCIAS DA COMPUTAÇÃO. 5 a Lista de Exercícios

UNIVERSIDADE FEDERAL DO RIO DE JANEIRO DEPARTAMENTO DE CIÊNCIAS DA COMPUTAÇÃO. 5 a Lista de Exercícios UNIVERSIDADE FEDERAL DO RIO DE JANEIRO DEPARTAMENTO DE CIÊNCIAS DA COMPUTAÇÃO MATEMÁTICA COMBINATÓRIA 5 a Lista de Exercícios 1. O grafo de intersecção de uma coleção de conjuntos A 1,..., A n é o grafo

Leia mais

Notas sobre Definições Recursivas

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

Leia mais