UFG - Instituto de Informática Bacharelado em Ciência da Computação

Introdução à Computabilidade e à Complexidade Computacional

Professor: Julliano Nascimento1

Lista de Exercícios

1 – Fundamentos Matemáticos
1. Use a indução matemática para demonstrar que as proposições abaixo são verdadeiras.

(a) 2 + 6 + 10 + · · · + (4n − 2) = 2n2 , para todo n ≥ 1.

n(n+1)(2n+1)
(b) 12 + 22 + · · · + n2 = 6 , para todo n ≥ 1.
(c) 1.1! + 2.2! + · · · + n.n! = (n + 1)! − 1, para todo n ≥ 1.
Pn
(d) (2i + 3) = n(n + 4), para todo n ≥ 1.
i=1

2. Demonstre, por indução matemática, que 3 divide n3 + 2n sempre que n for um número inteiro positivo.

3. Demonstre que se n é um número inteiro positivo, então n é ímpar se e somente se 5n + 6 for ímpar.

4. Use uma demonstração por contrapositiva para demonstrar que se n é um número inteiro e 3n + 2 é par,
então n é par.

5. Sejam a, b, c e d números inteiros. Prove que se a|b, b|c e c|d, então a|d.

6. Prove, por contradição, que inteiros consecutivos não podem ser ambos pares.

7. Refute (dê um contraexemplo): Se a, b e c são inteiros positivos com a|(bc), então a|b ou a|c.

8. Sejam os conjuntos A, B, C ⊆ N.
(a) Dado que A ⊆ B, mostre que P(A) ⊆ P(B), onde P(S) denota o conjunto das partes do conjunto S.
(b) Mostre que (A \ B) \ C ⊆ A \ (B \ C).
(c) Mostre que se A é subconjunto de B e se B é subconjunto próprio de C, então A é subconjunto próprio
de C.
(d) Pode-se definir A ⊆ B em termos de álgebra de conjuntos como A ∩ B = A. Use esta definição para
provar que se A ⊆ B e B ⊆ C, então A ⊆ C.

9. Seja X um conjunto finito. Dê uma definição recursiva para o conjunto de subconjuntos de X. Utilize a
união como operador na definição.

10. Mostre que o conjunto N2 = N × N de pares de números naturais é contável (enumerável).

11. Mostre que o conjunto P(N) dos subconjuntos de N não é um conjunto enumerável.

12. Seja B o conjunto de todas as sequências infinitas sobre {0, 1}. Mostre que B é incontável, usando uma
prova por diagonalização.

1
e-mail: jullianonascimento@ufg.br