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

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

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

Transcrição

1 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? ? Note que as parcelas são semelhantes, e que a única coisa que varia é base do expoente Quando temos uma soma em que a variação de uma parcela para outra depende de uma única variável, que cresce uma unidade a cada parcela, podemos usar a notação de somatório: 1 0j A variável que aparece abaixo de σ indica o que mudará de parcela em parcela O valor que ela começa é o que aparece ao lado dela, com o sinal de igual E o valor acima σ é o último que ela atinge Exercício 1 Escreva por extenso os seguintes somatórios: 4 k! sin(nπ) n= Muitas vezes a variável não se altera de 1 em 1 Para generalizar, se S é um conjunto, o símbolo f(x) x S 0 n= significa a soma de todos os valores f(x) obtidos quando x S Exercício Seja S = {1, 3, 10} Calcule x x S Note que é possível fazer alterações na disposição dos índices, ou acrescentar ou remover termos, ou ter restrições explicitadas em outras notações Considere os exemplos: 4 (i) (ii) (iii) n 1 (k + 1) = n + k = n + k n+1 i = (i 1) i=1 i= [ j 3 k = (j + 1) 3 k = (j + 1) 3 j ] j= 1

2 Igualmente, se desejarmos representar o produto de vários elementos, poderemos utilizar a notação de produtório: 3 k = 1 3 = 3 Exercício 3 Expresse o fatorial de n como um produtório Recorrência Uma relação de recorrência é uma maneira de definir uma sequência de valores, cada um dos quais definidos a partir de alguns de seus antecessores Por exemplo (i) x 1 = (ii) x n = x n Quando n =, teremos que x = x = 7 Agora podemos fazer n = 3, e teremos x 3 = 17 Exercício 4 Ache o x 5 acima Exercício 5 Expresse como uma relação de recorrência x n = k + 1 Exercício Expresse x n = n! como uma relação de recorrência Exemplo 1 A sequência de Fibonacci é definida como uma relação de recorrência f n = f n 1 + f n Como a definição envolve dois termos anteriores, é preciso dar pelo menos os dois primeiros valores da sequência para podermos definir os demais: f 1 = 1 f = 1 Mais para frente, voltaremos a falar mais em detalhes de certos tipos de recorrência 3 Indução Indução matemática é uma técnica muito poderosa para demonstrar propriedades expressas em termos de números inteiros positivos n Basicamente, uma prova por indução funciona da seguinte forma: (i) Primeiro mostra-se que a propriedade é verdadeira para alguns valores pequenos de n

3 (ii) E então mostramos que se a propriedade é verdadeira para um valor arbitrário de n, então ela tem que ser verdadeira para n + 1 Em outras palavras, imagine que existe uma propriedade P que depende de valores n Z +, e que desejamos mostrar que n 1, P (n) = T Para tal, o caminho é: (i) Mostrar que P (1) = T (ii) Mostrar que P (n) = T P (n + 1) = T Por exemplo, se n = 1 no ponto (ii), saberemos que P (1) P () Como P (1) = T pelo ponto (i), segue que P () = T Agora que sabemos que P () = T, olhamos para o ponto (ii) com n = Sabemos por (ii) que P () = T P (3) = T Como, de fato, P () = T, segue que P (3) = T E assim sucessivamente O relevante de tudo isso é que basta mostrar (i) e (ii) e todos os casos seguirão automaticamente A maneira de escrever uma prova por indução é a seguinte: Sentença: n 1, P (n) é verdadeira Prova: (i) Caso base : demonstra o caso específico que P (1) é verdadeira (ii) Hipótese indutiva : declare o que é P (n) (iii) Conclusão indutiva : Mostra que P (n + 1) é verdadeira Para tal, você pode usar todas as propriedades matemáticas que você está acostumado, mas principalmente, você deve usar a sentença P (n) escrita em (ii) como hipótese Sem mais delongas, vamos começar a ver exemplos Proposição 1 Para todo inteiro n 1, j = n(n + 1) Neste exemplo, Demonstração Por indução P (n) : j = n(n + 1) (i) Caso base: Se n = 1, temos que 1 1(1+1) j = 1, e que = 1, portanto P (1) = T (ii) Hipótese indutiva: j = n(n + 1) 3

4 (iii) Conclusão indutiva: Teremos que n+1 j = n + (n + 1) por definição = ( n) + (n + 1) propriedades da soma = j + (n + 1) definição de somatório Isso encerra a prova n(n + 1) = + (n + 1) POR = n + n + n + (n + 1)(n + ) = HIPÓTESE INDUTIVA manipulação algébrica manipulação algébrica Proposição Para todo inteiro n 1, j = n(n + 1)(n + 1) Demonstração Por indução (i) Caso base: Se n = 1, ambos os lados são iguais a 1 (ii) Hipótese indutiva: (iii) Conclusão: Teremos que j = n(n + 1)(n + 1) n+1 j = n + (n + 1) = ( n ) + (n + 1) = j + (n + 1) n(n + 1)(n + 1) = + (n + 1) POR = n3 + 3n + n + n + 1n + (n + 1)(n + )((n + 1) + 1) = HIPÓTESE INDUTIVA 4

5 Exercício 7 Mostre que para todo n 0, j = n+1 1 j=0 Troque por r, r > Como a fórmula precisa ser ajustada? Demonstre a nova fórmula por indução Você consegue resolver este exercício de um jeito diferente? Exercício 8 (Desafio) Tente usar uma generalização dos exemplos acima e a idéia da indução pra achar uma fórmula para j 3 Proposição 3 Se n é um inteiro positivo, então 5 divide n 5 n Demonstração Por indução 1 Caso base: com n = 1, n 5 n = 0, e 5 divide 0 Hipótese indutiva: 5 divide n 5 n 3 Conclusão: Note que (n + 1) 5 (n + 1) = n 5 + 5n n n + 4n Nosso objetivo é usar a hipótese indutiva, e para isso, precisamos fazer n 5 n aparecer Manipulamos então para obter (n + 1) 5 (n + 1) = (n 5 n) + 5n n n + 4n + n Por hipótese indutiva, 5 divide n 5 n Os demais termos possuem coeficientes múltiplos de 5, portanto 5 divide todos os termos da soma, e logo 5 divide tudo Mais tecnicamente, por indução, existe k tal que 5k = n 5 n Logo (n + 1) 5 (n + 1) = 5(k + n 4 + n 3 n + n) Exercício 9 Mostre que para todo n 0, 4 divide 5 n 1 Exercício 10 Vamos mostrar que 8 sempre divide 3 n Nossa hipótese indutiva é 8 3 n Para a conclusão, faremos 3 (n+1) = 3 n+ = 9 3 n = 3 n n Como 8 divide 3 n por hipótese indutiva, e 8 divide 8 3 n, segue que 8 divide 3 (n+1) Fim da demonstração Tá certo isso aí? 5

6 Proposição 4 Para todo n 4, segue que n < n! Demonstração n = 4 Hipótese indutiva: n < n! 3 Conclusão: 1 Caso base: Se n = 4, então n = 1 e n! = 4 Logo n < n! para n+1 = n < n! por hipótese indutiva, < n! (n + 1) porque < n + 1 para n 4 = (n + 1)! Exercício 11 Torres de Hanoi é um jogo em que três peças de tamanhos diferentes são empilhadas em uma das três torres A maior embaixo, a menor no topo O objetivo é mover as três peças para a última torre Para tal, só é permitido mover uma peça por vez, e uma peça nunca pode ficar sobre uma peça menor Veja o exemplo abaixo de como resolver o jogo: E se ao invés de 8 peças existirem n peças? É possível? Quantas jogadas serão necessárias para resolver? Faça um chute e depois prove por indução Exercício 1 Prove que 13 sempre divide 3 n+ + 4 n+1, para qualquer n 0 Exercício 13 Ache um inteiro N 0 tal que para todo n N 0, n > n + 1 Prove por indução Faça o mesmo para a propriedade n > n Exercício 14 Um triominó é um peça da forma

7 Prove que um tabuleiro quadricular de n n, n > 0, sempre pode ser cobertos por triominós, desde que removamos um único quadrado Dica: um tabuleiro de tamanho n+1 n+1 é obtido juntando 4 tabuleiros de tamanho n n Exercício 15 Prove que um quadrado perfeito é sempre a soma de números ímpares consecutivos Exercício 1 Prove que, para todo n 1, j = n + j n Exercício 17 Considere o produto n j= (1 1j ) Teste alguns valores, conjecture uma fórmula, e prove esta fórmula por indução Exercício 18 Mostre que para todo n > 1, n < 1 n Exercício 19 Considere a seguinte proposição Todos os carros de Belo Horizonte tem a mesma cor Vamos provar este fato por indução 1 Caso base: Se só houvesse um carro em Belo Horizonte, certamente todos os carros teriam a mesma cor Hipótese indutiva: Todo conjunto de n carros em Belo Horizonte tem a mesma cor 3 Conclusão: Considere um conjunto com n + 1 carros em Belo Horizonte Digamos que eles sejam C 1 C C 3 C n C n+1 Os primeiros n carros, do C 1 ao C n, tem a mesma cor por hipótese indutiva Os últimos n carros, do C ao C n+1, também possuem a mesma cor, por hipótese indutiva Como C, por exemplo, está em ambos os conjuntos, segue que C n+1 é da mesma cor que os n primeiros, e portanto todos eles tem a mesma cor 7

8 Bem, será que todos os carros de Belo Horizonte tem a mesma cor? Ou será que o princípio da indução matemática está errado? Ou talvez essas coisas de lógica não se aplicam ao mundo real?!! Descubra o que aconteceu Exercício 0 Esse é o meu favorito Há uma ilha onde mora uma tribo com 1000 pessoas 100 delas tem olho azul, 900 tem olhos marrons Entretanto a religião deles proíbe que cada habitante saiba a cor dos seus olhos, ou mesmo que o tema seja discutido Os portugueses ainda não chegaram nessa ilha, então eles não possuem espelhos, ou qualquer outra superfície refletora Assim, cada habitante sabe a cor dos olhos de todo mundo, menos a sua Se um habitante da tribo descobrir por algum acaso a cor do seus olhos, este habitante precisa cometer suicídio no dia seguinte, ao meio dia, na praça central, para que todos vejam Todos os habitante são lógicos, inteligentes, religiosos, e sabem que os outros habitantes também são, e sabem que os outros habitantes sabem que todos são, e assim sucessivamente É um pessoal bem inteligente mesmo Um belo dia um náufrago de olhos azuis foi parar na ilha A tribo o ajuda, mas ele, sem conhecer os costumes da tribo, comete a gafe de, ao discursar em agradecimento para toda a tribo, fazer o seguinte comentário: Que grata surpresa ver outra pessoa de olhos azuis, como eu, nesta ilha tão remota O que acontece com a tribo? (após resolver, ou não, este desafio, vá ler na wikipedia sobre Common Knowledge ) 4 Indução forte Muitas vezes, não basta usar o caso anterior para provarmos o próximo Pode ser necessário usar alguns ou todos os casos anteriores para provarmos o próximo Considere primeiramente o exemplo abaixo Proposição 5 Suponha que a sequência {x n } é definida por x 1 = 0, x = 30, x n = x n 1 + x n, para n 3 Mostre que x n = 3 n + 3 ( ) n Demonstração Vamos primeiro ir como antes: (i) Caso base: x 1 = 0 e x = 30 ambos satisfazem a fórmula (ii) Hipótese indutiva: x n = 3 n + 3 ( ) n (iii) Conclusão: Pela recorrência, temos x n+1 = x n + x n 1 Usando a hipótese indutiva, o melhor que conseguimos é: x n+1 = 3 n + 3 ( ) n + x n 1 8

9 O que fazemos com x n 1? A idéia aqui é trocar nossa hipótese indutiva, para que ela contemple todos os valores até o n + 1: (ii) Hipótese indutiva: Para todo k n, temos x k = 3 k + 3 ( ) k Agora voltamos Temos x n+1 = x n + x n 1 Aplicando a hipótese indutiva para k = n e k = n 1, teremos x n+1 = x n + x n 1 definição = 3 n + 3( ) n + ( 3 n 1 + 3( ) n 1) { hipótese indutiva em ambos os termos!! = 3 n + 3( ) n + ( 4 3 n 9( ) n) { manipulação (atenção à mudança de sinal) = 3 n ( ) n manipulação = 3 n+1 + 3( ) n+1 manipulação Exercício 1 Definimos x 1 = 11, x = 3, e x n = x n 1 + 1x n, para n 3 Mostre que, para todo n 1, temos x n = 4 n ( 3) n É preciso tomar muito cuidado com os casos base necessários!! Proposição Todo inteiro maior que 7 pode ser escrito como a soma de dois múltiplos não negativos de 3 e 5 Demonstração (i) Caso base: de fato, 8 = (ii) Hipótese indutiva: Para todo 8 k n, o número k pode ser escrito como 5x + 3y, onde x e y são inteiros não-negativos (iii) Conclusão: Note que n + 1 = (n 7) + 8 Por hipótese indutiva, há inteiros não negativos tais que n 7 = 5x + 3y Então n + 1 = 5x + 3y + 8 = 5x + 3y = 5(x + 1) + 3(y + 1) Será que esta prova está OK? Há um erro relevante na prova acima, ainda que a proposição seja verdeira Vamos consertar o erro Note que se n = 9, então n 7 = A hipótese indutiva só permite que digamos que números k entre 8 e n podem ser escrito como 5x + 3y onde x e y são não-negativos Então o argumento na conclusão não pode mostrar o caso n = 9!! De fato, ele só se aplica a número n maiores que 15, para que n 7 8 Então é necessário checar manualmente que o resultado é verdadeiro para todos os número entre 8 e 15 A prova deve ser, portanto, assim: 9

10 (i) Casos base: 8 = 5 + 3, 9 = , 10 = , 11 = 5 + 3, 1 = , 13 = 5 + 3, 14 = , e 15 = (ii) Hipótese indutiva: Para todo 8 k n, o número k pode ser escrito como 5x + 3y, onde x e y são inteiros não-negativos (iii) Conclusão Seja n 1 Note que n + 1 = (n 7) + 8 Note que n 7 8, então podemos aplicar a hipótese indutiva para n 7 Então existem x, y Z 0 tais que n 7 = 5x + 3y Então n + 1 = 5x + 3y + 8 = 5x + 3y = 5(x + 1) + 3(y + 1) Exercício Mostre que todo inteiro 9 pode ser escrito como 3x + 4y, com x, y inteiros positivos Exercício 3 Considere o jogo em que duas pessoas jogam, uma contra a outra Há 37 moedas empilhadas Em cada rodada, uma pessoa remove de 1 a 4 moedas da pilha Ganha quem remove por último Existe uma estratégia sempre vitoriosa? Quem ganha? Quem começa ou quem vai depois? E se forem n moedas? Qual a estratégia para a vitória? Use indução Exercício 4 Relembre a sequência de Fibonacci, dada por {f n } onde f 1 = 1, f = 1 e f n = f n 1 + f n para n 3 Use indução para mostrar os resultados abaixo: ( ) n 7 (a) Para todo n N, f n+1 < 4 (b) Para n, f 1 + f + + f n 1 = f n+1 1 (c) Seja a = Dicas: e b = 1 5 Para todo n N, mostre que f n = an b n 5 (a) Use que, para n, ( ) n 7 = ( ) n 7 > 4 ( ) n ( ) n 7 4 (b) Note que n n 3 n 3 f i + f i = f 1 + (f i + f i+1 ) i=1 i=1 i=1 (c) Tanto a como b satisfazem x = x

11 Exercício 5 (Desafio) Considere uma longa rodovia circular que possui alguns postos de gasolina no caminho Todos juntos, os postos contém exatamente a quantidade de gasolina necessária para dar uma volta na rodovia Seu tanque está vazio, mas cabe muito mais gasolina do que o necessário para dar a volta completa Mostre que existe um posto onde você pode começar, encher seu tanque com o total do posto, e será possível dar uma volta completa na rodovia 11

Aulas 1 e 2. 1 Introdução ao curso. Gabriel Coutinho DCC111 - Matemática Discreta

Aulas 1 e 2. 1 Introdução ao curso. Gabriel Coutinho DCC111 - Matemática Discreta 1 Introdução ao curso Aulas 1 e 2 Este curso pode ser dividido em dois tópicos principais. Lógica e combinatória. O nome discreta, usado em contraponto a contínua, implica que as estruturas e objetos estudados

Leia mais

Jogos e invariantes. 6 de Janeiro de 2015

Jogos e invariantes. 6 de Janeiro de 2015 Jogos e invariantes 6 de Janeiro de 2015 Resumo Objetivos principais da aula de hoje: continuar com a ideia de explorar problemas. Apresentar a ideia de invariantes. 1 O jogo de apagar - introdução Quem

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

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

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

Matemática Discreta - 05

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

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

Indu c ao Matem atica Indu c ao Matem atica T opicos Adicionais

Indu c ao Matem atica Indu c ao Matem atica T opicos Adicionais Indução Matemática Indução Matemática Tópicos Adicionais Indução Matemática Indução Matemática Eercícios Introdutórios Eercício Prove por indução que: + + + n n(n + ) Eercício Prove que + + 5 + + (n )

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://www.professores.uff.br/hjbortol/ 06 O Princípio da Indução Finita e Aplicações [01] Usando

Leia mais

OPEMAT. Olimpíada Pernambucana de Matemática

OPEMAT. Olimpíada Pernambucana de Matemática OPEMAT Olimpíada Pernambucana de Matemática - 206 Nível. O ano de 206 está acabando, vamos ver se você conhece bem esse número. Para isso, julgue os itens a seguir: (V) (F) A maior potência de 2 que divide

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

UNIVERSIDADE FEDERAL DO RIO DE JANEIRO DEPARTAMENTO DE CIÊNCIAS DA COMPUTAÇÃO. 4 a Lista de Exercícios Gabarito de algumas questões.

UNIVERSIDADE FEDERAL DO RIO DE JANEIRO DEPARTAMENTO DE CIÊNCIAS DA COMPUTAÇÃO. 4 a Lista de Exercícios Gabarito de algumas questões. UNIVERSIDADE FEDERAL DO RIO DE JANEIRO DEPARTAMENTO DE CIÊNCIAS DA COMPUTAÇÃO MATEMÁTICA COMBINATÓRIA 4 a Lista de Exercícios Gabarito de algumas questões. Este gabarito foi feito direto no computador

Leia mais

Programação II RECURSÃO

Programação II RECURSÃO Programação II RECURSÃO Bruno Feijó Dept. de Informática, PUC-Rio Motivação Escher: Metamorphosis (1937) - Drawing Hands (1948) Relativity (1953) http://www.worldofescher.com/gallery/ Alguém diz: Esta

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

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

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

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

MA21: Resolução de Problemas - gabarito da primeira prova

MA21: Resolução de Problemas - gabarito da primeira prova MA21: Resolução de Problemas - gabarito da primeira prova Problema 1 (2 pontos) Prove que a maior área dentre todos os retângulos de perímetro 1 é atingida por um quadrado. Dificuldade: MUITO FÁCIL Sejam

Leia mais

Polos Olímpicos de Treinamento. Aula 1. Curso de Combinatória - Nível 2. Prof. Bruno Holanda

Polos Olímpicos de Treinamento. Aula 1. Curso de Combinatória - Nível 2. Prof. Bruno Holanda Polos Olímpicos de Treinamento Curso de Combinatória - Nível 2 Prof. Bruno Holanda Aula 1 Lógica Nos últimos anos, a participação brasileira em competições internacionais de matemática vem melhorado significamente.

Leia mais

Jogos e Brincadeiras I. 1. Brincadeiras

Jogos e Brincadeiras I. 1. Brincadeiras Polos Olímpicos de Treinamento Curso de Combinatória - Nível 1 Prof. Bruno Holanda Aula 1 Jogos e Brincadeiras I 1. Brincadeiras Nesta primeira parte da aula resolveremos duas questões retiradas da Olimpíada

Leia mais

MA21 (2015) - Teste - Gabarito comentado. Problema 1 (OBM 2005) Na sequência de números

MA21 (2015) - Teste - Gabarito comentado. Problema 1 (OBM 2005) Na sequência de números MA21 (2015) - Teste - Gabarito comentado Problema 1 (OBM 2005) Na sequência de números 1, a, 2, b, c, d,... dizemos que o primeiro termo é 1, o segundo é a, o terceiro é 2, o quarto é b, o quinto é c e

Leia mais

Aritmética dos Restos. Problemas com Congruências. Tópicos Adicionais

Aritmética dos Restos. Problemas com Congruências. Tópicos Adicionais Aritmética dos Restos Problemas com Congruências Tópicos Adicionais Aritmética dos Restos Problemas com Congruências 1 Exercícios Introdutórios Exercício 1. inteiro n Prove que n 5 + 4n é divisível por

Leia mais

Capítulo 2. Conjuntos Infinitos

Capítulo 2. Conjuntos Infinitos Capítulo 2 Conjuntos Infinitos Não é raro encontrarmos exemplos equivocados de conjuntos infinitos, como a quantidade de grãos de areia na praia ou a quantidade de estrelas no céu. Acontece que essas quantidades,

Leia mais

Módulo Tópicos Adicionais. Recorrências

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

Leia mais

Capítulo 2. Conjuntos Infinitos. 2.1 Existem diferentes tipos de infinito

Capítulo 2. Conjuntos Infinitos. 2.1 Existem diferentes tipos de infinito Capítulo 2 Conjuntos Infinitos Um exemplo de conjunto infinito é o conjunto dos números naturais: mesmo tomando-se um número natural n muito grande, sempre existe outro maior, por exemplo, seu sucessor

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

Luciana Santos da Silva Martino

Luciana Santos da Silva Martino Sumário APLICAÇÕES DA INDUÇÃO Luciana Santos da Silva Martino lulismartino.wordpress.com lulismartino@gmail.com PROFMAT - Colégio Pedro II 11 de agosto de 2017 Sumário 1 Definição por Recorrência 2 Binômio

Leia mais

A seguir, uma demonstração do livro. Para adquirir a versão completa em papel, acesse:

A seguir, uma demonstração do livro. Para adquirir a versão completa em papel, acesse: A seguir, uma demonstração do livro. Para adquirir a versão completa em papel, acesse: www.pagina10.com.br Fundamentos de Matemática Superior - BINÔMIO DE NEWTON Estes resultados foram escritos com expoentes

Leia mais

MATRIZES - PARTE Mais exemplos Multiplicação de duas matrizes AULA 26

MATRIZES - PARTE Mais exemplos Multiplicação de duas matrizes AULA 26 AULA 26 MATRIZES - PARTE 2 26. Mais exemplos Nesta aula, veremos mais dois algoritmos envolvendo matrizes. O primeiro deles calcula a matriz resultante da multiplicação de duas matrizes e utiliza três

Leia mais

1 Completando Quadrados

1 Completando Quadrados UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO PROGRAMA DE EDUCAÇÃO TUTORIAL - MATEMÁTICA PROJETO FUNDAMENTOS DE MATEMÁTICA ELEMENTAR Assuntos: Completamento de quadrados, Função e Equação quadrática, Função Inversa.

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

Algoritmos e Estruturas de Dados I

Algoritmos e Estruturas de Dados I Algoritmos e Estruturas de Dados I Prof. Daniel M. Martin (daniel.martin@ufabc.edu.br) Aula 10 (Baseada nos slides do Prof. André Balan) Recursão Recursão Da wikipedia: A recursão é o processo pelo qual

Leia mais

Bases Matemáticas. Relembrando: representação geométrica para os reais 2. Aula 8 Números Reais: módulo ou valor absoluto, raízes, intervalos

Bases Matemáticas. Relembrando: representação geométrica para os reais 2. Aula 8 Números Reais: módulo ou valor absoluto, raízes, intervalos 1 Bases Matemáticas Aula 8 Números Reais: módulo ou valor absoluto, raízes, intervalos Rodrigo Hausen 10 de outubro de 2012 v. 2012-10-15 1/34 Relembrando: representação geométrica para os reais 2 Uma

Leia mais

11º ano - Indução matemática

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

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

Princípio KISS. Semana Olímpica/ Nível 1. Prof. Armando Barbosa. 25 de janeiro de 2019

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) à

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

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

Polos Olímpicos de Treinamento. Aula 7. Curso de Teoria dos Números - Nível 2. Aula de Revisão e Aprofundamento. Prof.

Polos Olímpicos de Treinamento. Aula 7. Curso de Teoria dos Números - Nível 2. Aula de Revisão e Aprofundamento. Prof. Polos Olímpicos de Treinamento Curso de Teoria dos Números - Nível 2 Prof. Samuel Feitosa Aula 7 Aula de Revisão e Aprofundamento Observação 1. É recomendável que o professor instigue seus alunos a pensarem

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

UNIVERSIDADE FEDERAL DO PARANÁ Nível 1 - POTI Aula 1 - Combinatória

UNIVERSIDADE FEDERAL DO PARANÁ Nível 1 - POTI Aula 1 - Combinatória UNIVERSIDADE FEDERAL DO PARANÁ Nível 1 - POTI Aula 1 - Combinatória Exercícios: 1. Maria inventou uma brincadeira. Digitou alguns algarismos na primeira linha de uma folha. Depois, no segunda linha, fez

Leia mais

38 a OLIMPÍADA BRASILEIRA DE MATEMÁTICA 2 a Fase Nível 1 (6 o ou 7 o ano)

38 a OLIMPÍADA BRASILEIRA DE MATEMÁTICA 2 a Fase Nível 1 (6 o ou 7 o ano) 38 a OLIMPÍADA BRASILEIRA DE MATEMÁTICA a Fase Nível 1 (6 o ou 7 o ano) GABARITO PARTE A - Cada problema vale 5 pontos CRITÉRIO DE CORREÇÃO: PARTE A Na parte A serão atribuídos 5 pontos para cada resposta

Leia mais

Relações de Recorrência

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

Leia mais

Polos Olímpicos de Treinamento. Aula 1. Curso de Combinatória - Nível 2. Prof. Bruno Holanda

Polos Olímpicos de Treinamento. Aula 1. Curso de Combinatória - Nível 2. Prof. Bruno Holanda Polos Olímpicos de Treinamento Curso de Combinatória - Nível 2 Prof. Bruno Holanda Aula 1 Lógica Nos últimos anos, a participação brasileira em competições internacionais de matemática vem melhorado significamente.

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

Raciocínio Lógico I. Solução. Primeiramente vamos listar todos os números de dois algarismos que são múltiplos de 7 ou 13.

Raciocínio Lógico I. Solução. Primeiramente vamos listar todos os números de dois algarismos que são múltiplos de 7 ou 13. Polos Olímpicos de Treinamento Curso de Combinatória - Nível 1 Prof. Bruno Holanda Aula 3 Raciocínio Lógico I O estudo da Lógica é essencial para os alunos que desejam participar de olimpíadas de matemática.

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

JOGOS Bruno Holanda, Fortaleza CE

JOGOS Bruno Holanda, Fortaleza CE JOGOS Bruno Holanda, Fortaleza CE Nível Iniciante Problemas sobre jogos estão entre os mais atrativos para a maioria dos alunos que estão iniciando o seu gosto pela matemática e, por isso, vêm ganhando

Leia mais

Gabriel Coutinho DCC035 - Pesquisa Operacional Lista 6

Gabriel Coutinho DCC035 - Pesquisa Operacional Lista 6 Lista 6 Exercício. O objetivo deste exercício é modelar o problema de emparelhamento em um grafo bipartido como um problema de fluxo, e verificar que o Teorema de Konig é essencialmente o Teorema de Fluxo

Leia mais

OLIMPÍADA DE MATEMÁTICA DO ESTADO DO RIO GRANDE DO NORTE LISTA SEMANAL N o 01 - Data 00/02/2017

OLIMPÍADA DE MATEMÁTICA DO ESTADO DO RIO GRANDE DO NORTE LISTA SEMANAL N o 01 - Data 00/02/2017 OLIMPÍADA DE MATEMÁTICA DO ESTADO DO RIO GRANDE DO NORTE LISTA SEMANAL N o 01 - Data 00/02/2017 PROBLEMA PARA O NÍVEL I Uma folha de papel quadrada é dobrada na metade e, em seguida, dobrada novamente

Leia mais

Capítulo 2. Conjuntos Infinitos. 2.1 Existem diferentes tipos de infinito

Capítulo 2. Conjuntos Infinitos. 2.1 Existem diferentes tipos de infinito Capítulo 2 Conjuntos Infinitos O conjunto dos números naturais é o primeiro exemplo de conjunto infinito que aprendemos. Desde crianças, sabemos intuitivamente que tomando-se um número natural n muito

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

como aproximar bem números reais por números racionais

como aproximar bem números reais por números racionais Frações contínuas: como aproximar bem números reais por números racionais Carlos Gustavo Moreira - IMPA A teoria de frações contínuas é um dos mais belos assuntos da Matemática elementar, sendo ainda hoje

Leia mais

ESTRUTURAS DE REPETIÇÃO - PARTE 2

ESTRUTURAS DE REPETIÇÃO - PARTE 2 AULA 16 ESTRUTURAS DE REPETIÇÃO - PARTE 2 16.1 A seqüência de Fibonacci Um problema parecido, mas ligeiramente mais complicado do que o do cálculo do fatorial (veja as notas da Aula 14), é o do cálculo

Leia mais

Buscando um Invariante

Buscando um Invariante Resolução de Problemas Lista 01 com dicas e discussão Faça mentalmente as seguintes multiplicações: 1. 27 37 2. 21 23 Invente e resolva um problema, usando como inspiração o problema anterior. Decida o

Leia mais

MA14 - Aritmética Unidade 3. Divisão nos Inteiros (Divisibilidade)

MA14 - Aritmética Unidade 3. Divisão nos Inteiros (Divisibilidade) MA14 - Aritmética Unidade 3 Divisão nos Inteiros (Divisibilidade) Abramo Hefez PROFMAT - SBM Aviso Este material é apenas um resumo de parte do conteúdo da disciplina e o seu estudo não garante o domínio

Leia mais

Jogos e Brincadeiras II

Jogos e Brincadeiras II Polos Olímpicos de Treinamento Curso de Combinatória - Nível 1 Prof. runo Holanda ula 2 Jogos e rincadeiras II Neste artigo continuaremos o assunto iniciado no material anterior. O primeiro exercício,

Leia mais

Congruências I. Por exemplo, 7 2 (mod 5), 9 3 (mod 6), 37 7 (mod 10) mas 5 3 (mod 4). Veja que a b (mod m) se, e somente se, m a b.

Congruências I. Por exemplo, 7 2 (mod 5), 9 3 (mod 6), 37 7 (mod 10) mas 5 3 (mod 4). Veja que a b (mod m) se, e somente se, m a b. Polos Olímpicos de Treinamento Curso de Teoria dos Números - Nível 2 Prof. Samuel Feitosa Aula 6 Congruências I Definição 1. Dizemos que os inteiros a e b são congrentes módulo m se eles deixam o mesmo

Leia mais

Definição. Diremos que um número inteiro d é um divisor de outro inteiro a, se a é múltiplo de d; ou seja, se a = d c, para algum inteiro c.

Definição. Diremos que um número inteiro d é um divisor de outro inteiro a, se a é múltiplo de d; ou seja, se a = d c, para algum inteiro c. Divisores Definição. Diremos que um número inteiro d é um divisor de outro inteiro a, se a é múltiplo de d; ou seja, se a = d c, para algum inteiro c. Quando a é múltiplo de d dizemos também que a é divisível

Leia mais

Matemática Divertida. Triângulos Mágicos

Matemática Divertida. Triângulos Mágicos Matemática Divertida Triângulos Mágicos ζ(s) = n=1 1 n s Prefácio Comecei a escrever esta série de livros intitulada Matemática Divertida, pois acredito que a matemática possa ser um agente de mudanças

Leia mais

Aula prática 5. Funções Recursivas

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

Leia mais

Introdução à Computação II Unesp Rio Claro 2012Prof. Rafael Oliveira

Introdução à Computação II Unesp Rio Claro 2012Prof. Rafael Oliveira Recursão A recursão é bastante usada na matemática para definir funções, usando elas mesmas nas suas próprias definições. Por exemplo o cálculo de um fatorial, pode ser representada em forma de recursão

Leia mais

Lista de Exercícios 3 Laço de Repetição For e While

Lista de Exercícios 3 Laço de Repetição For e While Introdução à Ciência da Computação - 1191 Lista de Exercícios Laço de Repetição For e While Observações: As listas de exercícios serão corrigidas por um corretor automático, portanto é necessário que as

Leia mais

Demonstrações Matemáticas Parte 2

Demonstrações Matemáticas Parte 2 Demonstrações Matemáticas Parte 2 Nessa aula, veremos aquele que, talvez, é o mais importante método de demonstração: a prova por redução ao absurdo. Também veremos um método bastante simples para desprovar

Leia mais

CONJUNTO DOS NÚMEROS INTEIROS. No conjunto dos números naturais operações do tipo

CONJUNTO DOS NÚMEROS INTEIROS. No conjunto dos números naturais operações do tipo CONJUNTO DOS NÚMEROS INTEIROS No conjunto dos números naturais operações do tipo 9-5 = 4 é possível 5 5 = 0 é possível 5 7 =? não é possível e para tornar isso possível foi criado o conjunto dos números

Leia mais

Apresentar o conceito de grupo, as primeiras definições e diversos exemplos. Aplicar as propriedades dos grupos na resolução de problemas.

Apresentar o conceito de grupo, as primeiras definições e diversos exemplos. Aplicar as propriedades dos grupos na resolução de problemas. Aula 04 O CONCEITO DE GRUPO META Apresentar o conceito de grupo, as primeiras definições e diversos exemplos. OBJETIVOS Definir e exemplificar grupos e subgrupos. Aplicar as propriedades dos grupos na

Leia mais

1. O que podemos dizer sobre a imagem da função. f : Z Z, f(x) = x 2 + x + 1?

1. O que podemos dizer sobre a imagem da função. f : Z Z, f(x) = x 2 + x + 1? 1 Congruências e aritmética modular Vamos considerar alguns exemplos de problemas sobre números inteiros como motivação para o que se segue. 1. O que podemos dizer sobre a imagem da função f : Z Z, f(x)

Leia mais

2013/1S EP33D Matemática Discreta Avaliação 01

2013/1S EP33D Matemática Discreta Avaliação 01 013/1S EP33D Matemática Discreta Avaliação 01 Data: 10/07/013 Início: 13h00min Duração: 03 aulas h30min) OBSERVAÇÕES: i) a prova é individual; ii) qualquer forma de consulta não autorizada acarretará no

Leia mais

Material Teórico - O Plano Cartesiano e Sistemas de Equações. Sistemas de Equações do Primeiro Grau com Duas Incógnitas

Material Teórico - O Plano Cartesiano e Sistemas de Equações. Sistemas de Equações do Primeiro Grau com Duas Incógnitas Material Teórico - O Plano Cartesiano e Sistemas de Equações Sistemas de Equações do Primeiro Grau com Duas Incógnitas Sétimo Ano do Ensino Fundamental Prof Francisco Bruno Holanda Prof Antonio Caminha

Leia mais

Aula 2, 2014/2 Sintaxe da Lógica dos Conectivos

Aula 2, 2014/2 Sintaxe da Lógica dos Conectivos Notas de aula de Lógica para Ciência da Computação Aula 2, 2014/2 Sintaxe da Lógica dos Conectivos Renata de Freitas e Petrucio Viana Departamento de Análise, IME UFF 27 de agosto de 2014 Sumário 1 Sintaxe

Leia mais

Definimos a soma de seqüências fazendo as operações coordenada-a-coordenada:

Definimos a soma de seqüências fazendo as operações coordenada-a-coordenada: Aula 8 polinômios (Anterior: chinês. ) 8.1 séries formais Fixemos um anel A. Denotaremos por A N o conjunto de todas as funções de N = {, 1, 2,... } a valores em A. Em termos mais concretos, cada elemento

Leia mais

OBMEP 2010 Soluções da prova da 2ª Fase Nível 2. Questão 1

OBMEP 2010 Soluções da prova da 2ª Fase Nível 2. Questão 1 Questão a) Para saber o número que deve dizer ao matemágico, Joãozinho deve fazer quatro contas: ª conta: multiplicar o número no cartão escolhido por 2; 2ª conta: somar 3 ao resultado da primeira conta;

Leia mais

Olimpíada Paranaense de Matemática Segunda Fase Nível 3 23/09/16 Duração: 4 horas e 30 minutos

Olimpíada Paranaense de Matemática Segunda Fase Nível 3 23/09/16 Duração: 4 horas e 30 minutos 1. Números pentagonais, P (n), são números que são dados pelas quantidades de bolinhas na seguinte sequência de pentágonos Os quatro primeiros números pentagonais são P (1) = 1, P (2) = 5, P (3) = 12 e

Leia mais

28. Prove ou apresente um contra-exemplo: O produto de quaisquer três inteiros consecutivos é par.

28. Prove ou apresente um contra-exemplo: O produto de quaisquer três inteiros consecutivos é par. 56 Demonstrações, Recursão e Análise de Algoritmo 24. Suponha que você usou os passos do Exemplo 9 para tentar mostrar que não é um número racional. Em qual passo a prova não seria válida? 25. Prove que

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

Bases Matemáticas. Como o Conhecimento Matemático é Construído. Aula 2 Métodos de Demonstração. Rodrigo Hausen. Definições Axiomas.

Bases Matemáticas. Como o Conhecimento Matemático é Construído. Aula 2 Métodos de Demonstração. Rodrigo Hausen. Definições Axiomas. 1 Bases Matemáticas Aula 2 Métodos de Demonstração Rodrigo Hausen v. 2012-9-21 1/15 Como o Conhecimento Matemático é Construído 2 Definições Axiomas Demonstrações Teoremas Demonstração: prova de que um

Leia mais

Método de indução. José Carlos Santos

Método de indução. José Carlos Santos Método de indução José Carlos Santos O termo «indução» tem origem na Filosofia. A entrada do Dicionário de Filosofia de Simon Blackburn que lhe diz respeito começa do seguinte modo: Indução Termo usado

Leia mais

PROGRESSÃO ARITMÉTICA

PROGRESSÃO ARITMÉTICA Hewlett-Packard PROGRESSÃO ARITMÉTICA Aulas 01 a 04 Elson Rodrigues, Gabriel Carvalho e Paulo Luiz Ramos Ano: 018 Sumário Progressão Aritmética... 1 PRELIMINAR 1... 1 Definição de progressão aritmética

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

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/81 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional

Leia mais

MA12 - Unidade 2 Indução Matemática Semana de 04/04 a 10/04

MA12 - Unidade 2 Indução Matemática Semana de 04/04 a 10/04 MA - Unidade Indução Matemática Semana de 04/04 a 0/04 Nesta unidade mostraremos como o Axioma da Indução, que foi apresentado na Unidade como um dos axiomas pilares dos números naturais, nos fornece um

Leia mais

MA14 - Aritmética Unidade 1 Resumo. Divisibilidade

MA14 - Aritmética Unidade 1 Resumo. Divisibilidade MA14 - Aritmética Unidade 1 Resumo Divisibilidade Abramo Hefez PROFMAT - SBM Julho 2013 Aviso Este material é apenas um resumo de parte do conteúdo da disciplina e o seu estudo não garante o domínio do

Leia mais

1 Congruências e aritmética modular

1 Congruências e aritmética modular 1 Congruências e aritmética modular Vamos considerar alguns exemplos de problemas sobre números inteiros como motivação para o que se segue. 1. O que podemos dizer sobre a imagem da função f : Z Z, f(x)

Leia mais

Comentários sobre a oficina Abrindo problemas 4. Encontro da Revista do Professor de Matemática IME/USP 29 e 30 de maio de 2009

Comentários sobre a oficina Abrindo problemas 4. Encontro da Revista do Professor de Matemática IME/USP 29 e 30 de maio de 2009 Comentários sobre a oficina Abrindo problemas 4 Encontro da Revista do Professor de Matemática IME/USP 29 e 30 de maio de 2009 Seguem duas páginas com tarefas apresentadas aos participantes Introdução

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

Identidades algébricas

Identidades algébricas LIÇÃO 5 Identidades algébricas Dos três tipos básicos de transformações algébricas: decomposições, reduções e fatorações, os dois primeiros já foram estudados na lição anterior. Antes de passarmos ao terceiro

Leia mais

Linguagens Não-Regulares

Linguagens Não-Regulares Linguagens Não-Regulares Mário S. Alvim (msalvim@dcc.ufmg.br) Fundamentos de Teoria da Computação (FTC) DCC-UFMG (2018/02) Mário S. Alvim (msalvim@dcc.ufmg.br) Linguagens Não-Regulares DCC-UFMG (2018/02)

Leia mais

É possível levar um sapo ao lago?

É possível levar um sapo ao lago? É possível levar um sapo ao lago? Resumo da atividade Nesta atividade o professor proporá aos alunos um jogo de tabuleiro, sem contar para os alunos que o objetivo do jogo é impossível de se alcançar.

Leia mais

Departamento de Matemática da Universidade de Aveiro Matemática Discreta. A prova consta de 4 questões cada uma cotada com 5 valores.

Departamento de Matemática da Universidade de Aveiro Matemática Discreta. A prova consta de 4 questões cada uma cotada com 5 valores. Departamento de Matemática da Universidade de Aveiro Matemática Discreta Exame Final ( 2 a Chamada: 22/0/2007 Licenciatura em Matemática (8220 Mest. Int. Eng. Computadores e Telemática (8240 Informações

Leia mais

4 Princípios de Indução Finita e demonstrações por indução

4 Princípios de Indução Finita e demonstrações por indução 4 Princípios de Indução Finita e demonstrações por indução Vimos que o Princípio da Boa Ordem (PBO) todo A N não-vazio tem um menor elemento e, como consequência (provado na página 81), todo A Z não vazio

Leia mais

4.1 O exercício de Fibonacci

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

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

Expansões AULA ... META. Apresentar a expansão binomial e multinomial. OBJETIVOS. Ao final da aula o aluno deverá ser capaz de:

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

Leia mais

Portal da OBMEP. Material Teórico - Módulo Progressões Geométricas. Primeiro Ano

Portal da OBMEP. Material Teórico - Módulo Progressões Geométricas. Primeiro Ano Material Teórico - Módulo Progressões Geométricas Progressões Geométricas: Definição e Lei de Formação Primeiro Ano Autor: Prof. Ulisses Lima Parente Revisor: Prof. Antonio Caminha M. Neto Progressões

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

Notas de Aula Aula 2, 2012/2

Notas de Aula Aula 2, 2012/2 Lógica para Ciência da Computação Notas de Aula Aula 2, 2012/2 Renata de Freitas & Petrucio Viana Departamento de Análise, IME UFF 23 de janeiro de 2013 Sumário 1 Conteúdo e objetivos 1 2 Legibilidade

Leia mais

6. Frações contínuas como as melhores aproximações de um número real

6. Frações contínuas como as melhores aproximações de um número real 6. Frações contínuas como as melhores aproximações de um número real Com um pouco de técnica matemática iremos calcular frações contínuas, ou seja, os numeradores e denominadores de através de fórmulas

Leia mais