Instituto Federal de Educação, Ciência e Tecnologia do Ceará

Mestrado em Teoria da Computação – 2015.1 06/05/2015

1ª. Avaliação de Teoria da Computação Professor Gêvane Cunha
Aluno: Nota:

Obs: Elimine um item de cada uma dos Problemas 2 a 5 e faça os demais apresentando as justificativas.
Problema 1. (vale 2,0)
a) Sabendo que os conjuntos A, B e C têm, respectivamente, 2, 3 e 4 elementos, quantos elementos pode ter o
conjunto:
a1) A  C a2) B  C a3) ( A  B)  A a4) ( B  C )  A

b) Uma bipartição de um conjunto X é qualquer partição de X em duas partes. Tomando X  {a, b, c, d} , responda:

b1) Quais são todas as bipartições de X ? b2) Quantas são as partições de X ?

Problema 2. (vale 2,0)

AB AB
a) Dados os conjuntos A  {1} e B  {2, 3} , determine: a1) 2 a2) B  2

b) Seja f : X  Y uma função. Dado y  Y , definimos a contra imagem ou imagem inversa de y como sendo o
1
subconjunto de X : f ( y)  {x  X | f ( x)  y} . Se y é um elemento qualquer de Y , o que se pode afirmar
1
sobre a imagem inversa f ( y) quando:
b1) f é injetora? b2) f é sobrejetora? b3) f é bijetora?

c) Mostre que existe uma injeção f : X  Y se, e somente se, existe uma sobrejeção g : Y  X .

Problema 3. (vale 2,0)

Para X  {0,1} , seja A  X  X . Defina a relação R em A por  a, b  R  c, d  se, e somente se,

(i) a  c , ou (ii) a  c e b  d .
a) R é uma relação de equivalência sobre A ?
b) Prove que R é uma ordem parcial sobre A . Considerando a ordem R , A possui um elemento mínimo?
c) A ordem parcial R é uma ordem total?

Problema 4. (vale 2,0)

a) Mostre que o conjunto {1, 1/2, 1/3, 1/4, 1/5, . . .} é contável.
b) Mostre que o conjunto dos números inteiros é contável.
c) Seja f : A  B sobrejetiva. Mostre que se B for infinito, então A é infinito.

Problema 5. (vale 2,0)

1
a) Prove pelo Princípio da Indução Matemática que: 1  2  3   n2  n(n  1)(2n  1), n 
2 2 2
.
6
b) Prove pelo Princípio da Indução Matemática que: 9 divide n  (n  1) +(n  2) , n 
3 3 3
.
c) Prove pelo Princípio das Casas de Pombos que: Se escolhermos, ao acaso, 5 pontos sobre a superfície de um
quadrado de lado 2, então pelo menos um dos segmentos que eles determinam tem comprimento menor ou igual a

2.
Boa Prova!
“O temor do Senhor é o princípio da sabedoria.” (Provérbios 1:7)