0% acharam este documento útil (0 voto)

101 visualizações1 página

Exercícios de Matemática Discreta

O documento apresenta uma lista de tópicos de matemática discreta a serem estudados, incluindo princípios como indução, teoremas sobre conjuntos finitos e funções, relações de equivalência, operações em conjuntos numéricos como inteiros e racionais, enumerabilidade, divisão e módulo, e princípios como o de Pitágoras.

Enviado por

jaiminho

Direitos autorais

Levamos muito a sério os direitos de conteúdo. Se você suspeita que este conteúdo é seu, reivindique-o aqui.

Formatos disponíveis

Baixe no formato PDF, TXT ou leia on-line no Scribd

0% acharam este documento útil (0 voto)

101 visualizações1 página

Exercícios de Matemática Discreta

Enviado por

jaiminho

Direitos autorais

Levamos muito a sério os direitos de conteúdo. Se você suspeita que este conteúdo é seu, reivindique-o aqui.

Formatos disponíveis

Baixe no formato PDF, TXT ou leia on-line no Scribd

Lista P1 Matemática Discreta

Stefano Nardulli

1. Enunciar o Princı́cipio de indução forte.

2. (a) Enunciar e demonstrar o Teorema de Bézout.

(b) Enunciar e demonstrar o Teorema fundamental da aritmética.

3. Sejam A, B dois conjuntos finitos, tais que existe uma função sobrejetora f : A → B. Então
Card(A) ≥ Card(B).

4. Sejam A, B dois conjuntos finitos, tais que existe uma função injetora f : A → B. Então
Card(A) ≤ Card(B).

5. Provar que f : A → B é sobrejetora, se e só se, existe g : B → A tal que g ◦ f : A → A é igual à

identidade, i.e., g ◦ f = IdA , onde IdA (x) = x, para todo x ∈ X.

6. Enunciar e provar as duas leis de De Morgan.

7. Provar que toda relaÃ§ao de equivalência determina uma partiçao e reciprocamente.

8. Definir (Z, +, ·) a partir de N, provar que as operações são bem definidas, depois usando as
propriedades algébricas usuais de de N e que vale a propriedades distributiva em (Z, +, ·).

9. Definir (Q, +, ·) a partir de Z, provar que as operações são bem definidas, depois usando as
propriedades algébricas usuais de de Z e que vale a propriedades distributiva em (Q, +, ·).

10. Provar que todo subconjunto infinito de um conjunto enumerável é enumerável.

11. Seja {En }n∈N uma sequência de conjuntos enumeráveis. Pondo S := ∪n∈N En . Então S é
enumerável.

12. Seja {En }n∈{1,...,k} um conjunto finito de conjuntos enumeráveis. Pondo S := ×n∈{1,...,k} En .
Então S é enumerável.

13. Provar que R não é enumerável.

14. (O algoritmo da divisão) Provar que, se a, b ∈ Z, com b > 0, então existem únicos q, r ∈ Z, com
a = qb + r, 0 ≤ r < b.

15. Enunciar e provar o Teorema Chines do resto.

16. Enunciar e provar o Teorema da divisão de Euclide, para achar o máximo comum divisor gcd(a, b),
onde a, b ∈ N \ {0}.

17. Enunciar e provar o Teorema de Pitagora.

18. Provar o Princı́pio de induçao usando o axioma de boa ordem, Teorema 4.1 do Livro do Grimaldi.
n!
19. Provar por inducao que Cn,k = Cn−1,k + Cn−1,k−1 , onde Cn,k := k!(n−k)! .
Pn
20. Calcular i=3 (2i − 1)3 .
Pn
21. Calcular i=3 (2i − 1)2 .

22. Fazer todos os exercı́cios do livro do Grimaldi da seção 4.1.

23. Fazer todos os exercı́cios da seção 3.1 do Grimaldi (teoria dos conjuntos).

Exercícios de Matemática Discreta

Enviado por

Exercícios de Matemática Discreta

Enviado por

Lista P1 Matemática Discreta

1. Enunciar o Princı́cipio de indução forte.

2. (a) Enunciar e demonstrar o Teorema de Bézout.

5. Provar que f : A → B é sobrejetora, se e só se, existe g : B → A tal que g ◦ f : A → A é igual à

6. Enunciar e provar as duas leis de De Morgan.

7. Provar que toda relaÃ§ao de equivalência determina uma partiçao e reciprocamente.

10. Provar que todo subconjunto infinito de um conjunto enumerável é enumerável.

13. Provar que R não é enumerável.

15. Enunciar e provar o Teorema Chines do resto.

17. Enunciar e provar o Teorema de Pitagora.

22. Fazer todos os exercı́cios do livro do Grimaldi da seção 4.1.

Você também pode gostar