Documente Academic
Documente Profesional
Documente Cultură
Faculdade de Informtica
Sistemas de Informao
Matemtica Discreta
2011/2
Professor: Paulo Werlang de Oliveira
Edio e Montagem
Vitor Miguel Xavier Peres
F = conjunto de frutas;
C = ctricas = {laranja, limo, acerola, tangerina, kiwi, lima, goiaba amarela};
A = amarelas = {maracuj, laranja, banana, lima, pssego, carambola, melo};
Interseco de A e C:
A C = {laranja, lima, goiaba amarela}
Unio de A e C:
Obs: A unio de dois conjuntos obtida juntando-se TODOS os elementos de A com TODOS
os elementos de B, sem Repetio.
3. Produto Cartesiano
A x B = {(x, y) | x A, y B}
Exemplo: A = {a, e, i, o, u}
B = {V, F}
A x B = {(a, V); (a, F); (e, V); (e, F); (i, V); (i, F); (o, V); (o, F); (u, V); (u, F)} observe que
B x A = {(V, a); (F, a); (V, e); (F, e); (V, i); (F, i); (V, o); (F, o); (V, u); (F, u)} tambm um
conjunto de 10 pares ordenados, porem A x B B x A.
3.1. Relaes
Exemplo: A = {1, 2, 3, 4, 5, 6}
B = {V, F}
R = {(1, F); (2, V); (3, F); (4, V); (5, F); (6, V)}
Interpretao Geomtrica
n Grafos do
grfico
n de pares
n de setas
da relao
do grafo
Exerccios:
1) Represente o grfico das seguintes relaes:
a) R = {(x, y) N | 3x + 2y = 12}
b) S = {(x, y) N | x +2y 10}
c) T = {(x, y) R | x 0; y 1; x + y 5}
d) U a relao dos pares que so sada do seguinte algoritmo:
inicio
para i = 1 ate 10 faa
para j = 1 ate 10 faa
se (i j) e (2i + j < 10) ento escreve (i, j)
fim para
fim para
fim
Estudo Dirigido
Exerccio 1
Representar, no plano cartesiano, o grfico das seguintes relaes:
a) R = {(x, y) N | 4x +6y = 24}
b) S = {(x, y) R | 5x + 2y 20}
Exerccio 2
Considerando o conjunto A = {a, b, c, d, e}, represente o grafo das seguintes relaes:
a) R = {(a, b); (a, c); (b, d); (c, d); (d, e)}
b) S = {(a, c); (b, d); (e, e); (d, b); (d, a); (c, a)}
Exerccio 3
Use o principio fundamental da contagem para interpretar e resolver o seguinte problema: Um
grupo de pessoas respondeu a um questionrio com duas questes. Sabendo que 9 homens
acertaram a questo 1, 12 pessoas acertaram a questo 1, 14 pessoas so homens e 12
pessoas acertaram a questo 2. Quantas pessoas participaram do teste e qual o numero de
mulheres que acertaram a questo 2.
Exercicio 4
Faa o grfico do conjunto de pares ordenados que so sada para o seguinte algoritmo.
inicio
para i = 1 ate 10 faa
para j = 1 ate 10 faa
se (2i < j) e (3i + 2j 18) ento escreve (i j)
fim para
fim para
fim
1)
2)
3)
-
Q1
Q2
Total
Homens
14
Mulheres
10
Total
12
12
24
4)
x mod y = 0
x mod x = 0
(x, y)
(x, x)
x mod y = 0
( n N) | x = n. y
x mod x = 0
( n N) | x = n. x
se n = 1; x = 1. x
x divide y
4.2. Simtrica
Digamos que a relao S Simtrica se para cada par (a, b) que esta na relao, o par
(b, a) tambm esta na relao. No grfico, para que seja Simtrica temos que ter uma
distribuio Simtrica de pontos em relao a diagonal principal. Equivalentemente, no grafo
todas as setas so duplas.
Exemplo: Seja A = {1, 2, 3, 4, 5, 6} e seja R = {(x, y) A x A | (x-y) mod 2 = 0}
(x, y) R
(y, x) R
(x-y) mod 2 = 0
( k N) | (x-y) = 2k
(-1).(x-1) = (-1).2k
-x+y = 2(-k)
(y-x) = 2(-k)
(y-x) mod 2 = 0
(y, x) R
Ex2: (5, 5)
(5-5) = 2k
0 = 2k
0 = 2.0
Ex3: (7, 1)
(7-1) = 2k
6 = 2k
6 = 2.3
Obs: Numa relao simtrica a ordem dos elementos no par ordenado pode ser trocado
(x, y)
(y, x)
4.3. Antissimtrica
a=b
x divide y
( m N) | y = m.x
( n N) | x = n.y
y divide x
y = m.n.y
y/y = m.n
1 = m.n
m=n=1
y = 1.x
y=x
Obs: Na relao Antissimtrica a Ordem dos elementos no par ordenado NUNCA pode ser
trocado, a menos que os elementos sejam iguais.
4.4. Transitiva
xy
(y, z) T
yz
(x+m) + n = z
x + (m+n) = z
( m N) | x + m = y
( n N) | y + n = z
xz
(x, y) T
Algoritmo_A
leia (N)
S=0
para i = 1 ate N faa
para j = 1 ate N faa
S := S + 3
fim para
fim para
para k = 1 ate N faa
S := S + 5
fim para
S := S + 7
Algoritmo_Z
leia (N)
S := 7
para i = 1 ate N faa
para j = 1 ate N faa
S := S + 3
fim para
S := S + 5
fim para
escreve (N)
escreve (S)
fim
escreve (N)
escreve (S)
fim
Algoritmo_P
Algoritmo_B
leia (N)
S := 0
para i = 1 ate N faa
S := S + 3
fim para
S := (S + 5) N
S := S + 7
escreve (N)
escreve (S)
fim
leia (N)
S := 3 N N + 5 N +7
escreve (N)
escreve (S)
fim
Algoritmo_M
leia (N)
escreve (N)
escreve (7+N(5+3N))
fim
AZBPM
Exerccio:
Considere os seguintes algoritmos:
inicio
leia (A)
inicio
leia (A)
i := 0
enquanto (i i < A)
x := 0
hx := A
enquanto xn x faa
x := nx
nx := (x x + A)/2 x
i := i + 1
fim enquanto
INF := i 1
SUP := i
enquanto INF SUP faa
fim enquanto
m = (INF + SUP)/2
escreve (nx)
fim
A=7
x := 0
A=7
nx := 7
i := 0
x := 7
00<7
nx := (7 7 + 7)/2 7 = 4
i := 1
x := 4
11<7
nx := (4 4 + 7)/2 4 = 2,875
i := 2
x := 2,875
22<7
i := 3
x := 2,654891304
3 3 <7 (falso)
nx := 2,645767044
x := 2,645767044
nx := 2,645751311
A=7
INF := 2
SUP := 3
( . + )
=
2
: =
2x = x + A
(2 + 3)
= 25
2
6,25 < 7
2x - x = A
x = A
x=
funo mais restrito que o conceito de relao, pois existe um par comeando com cada um
dos elementos do conjunto A. A representao de funes feita atravs de grficos.
A classificao das funes feita de acordo com as propriedades algbricas que as
funes possuem. Dizemos que uma funo Injetiva se ela mapeia elementos diferentes do
conjunto A em imagens distintas do conjunto B, ou seja, se f(a) = f(b) ento a = b. No grfico,
isso corresponde a ter uma ideia marca por cada linha.
Por outro lado, dizemos que a funo Sobrejetiva se TODOS os elementos de B so
usados como imagem de algum elemento a A. Isso significa que nenhuma linha fica A = {1,
2, 3, 4}:
mesma linha).
Sobrejetiva.
Injetiva.
5.1. Teorema
f=A
x
B
y = f(x)
Exemplo:
Considere o seguinte Algoritmo:
inicio
leia (N)
i := 0
enquanto (i i < N) faa
i := i + 1
fim enquanto
escreve (i 1)
fim
Determine:
a) o domnio da funo;
b) o contradomnio da funo;
c) a imagem da funo;
d) o grfico da funo;
e) determine uma funo equivalente, menos complexa.
Seja f uma funo definida do conjunto A no conjunto B, definida pelo seguinte grfico:
f = {(a, b) AxB | b = f(a)}
-1
Do ponto de vista algbrico, a funo inversa obtida invertendo-se a ordem dos pares
ordenados. No grfico, os eixos so trocados entre si e existe uma simetria entre os grficos de
f e f em relao a diagonal principal.
Exemplo:
-1
A = {1, 2, 3, 4}
A = {a, b, c, d}
B = {a, b, c, d}
B = {1, 2, 3, 4}
f: A -> B
f : B -> A
-1
-1