Você está na página 1de 7

Estruturas Discretas

2012/2013
Funcionamento da disciplina
Docentes:
Teoricas e teorico-praticas: Sandra Alves
Praticas: Sandra Alves, Luis Antunes, Rogerio Reis
Avaliacao:
Teste intercalar: 10 valores.
Teste nal: 10 valores.
Sendo TI a classicacao obtida no teste intercalar e TF a classica cao
obtida no teste nal, entao a nota nal e dada por:
F = TI( 3) +TF( 3)
Nao obterao aprova cao os alunos que nao obtiverem um mnimo de 3
valores (em 10), em ambos os testes.
Objectivos da disciplina
Estudo das estruturas discretas fundamentais que estao na base formal da
area de Ciencia de Computadores/Informatica. A frequencia desta disciplina
deve desenvolver as seguintes aptidoes:
Capacidade de trabalhar com notacao matematica e com os principais
conceitos de matematica discreta;
Construir e compreender provas matematicas;
Utilizar conceitos matematicos para formalisar e resolver problemas co-
muns em Ciencia de Computadores/Informatica.
1
Programa
1. Teoria de conjuntos
2. Indu cao matematica e outras tecnicas de prova
3. Teoria de n umeros
4. Relacoes e funcoes
5. Fundamentos de logica
6. Estruturas algebricas
7. Contagem
8. Teoria de grafos
Algum material de estudo
1. Discrete Structures, Vladlen Koltun, Lecture Notes, Stanford University,
2008 (disponveis na pagina da disciplina) (todos os captulos excepto 13)
2. Sets,Logic and Maths for Computing, David Makinson, Undergraduate
Topics in Computer Science, Springer-Verlag, 2008.
3. Discrete and Combinatorial Mathematics, Ralph P. Grimaldi, Addison-
Wesley, Inc., 1999 (captulos 1, 2, 3, 4, 5, 8, 11)
4. Discrete Mathematics and its Applications, Kenneth H. Rosen, McGraw-
Hill, Inc., New York, 2003 (captulos 1, 2.4, 2.5, 3, 4, 7, 8)
5. Apontamentos e exerccios das aulas (Nota: os apontamentos das au-
las devem ser usados como uma referencia em termos de notacao
usada e da materia a ser estudada e nao como unico material de
estudo)
6. Material de apoio (apontamentos e exerccios), disponveis em:
http://elearning2.fc.up.pt/aulasweb/
Teoria de conjuntos - I
Um conjunto e uma colecccao de objectos distintos. Aos objectos num con-
juntos chamamos elementos ou membros.
Lista de elementos entre chavetas:
S = {a, b, c, d} o mesmo que {b, c, a, d} o mesmo que {b, c, a, d, a, b}
x e um elemento de S (ou x pertence a S) x S
Podemos usar reticencias para especicar uma sequencia que segue um padr ao
S = {1, 2, . . . } ou S = {1, . . . , 64}
Ambiguidade na deni c ao usando reticencias: S = {1, 2, . . . , 64}, pode represen-
tar os inteiros positivos ate 64, mas tambem pode indicar o conjunto de todas
as potencias de 2 ate 64 (S = {2
0
, 2
1
, . . . , 64} nota c ao mais apropriada)
2
Conjuntos: exemplos
{1, {1}}.
N = naturais = {0, 1, 2, 3, 4, . . .}
Z = inteiros = {. . . , 3, 2, 1, 0, 1, 2, 3, . . .}.
{2
0
, 2
1
, . . . }
{1, 3, . . . , 2k + 1, . . . }
Z
+
= inteiros positivos.
Teoria de conjuntos - II
Podemos evitar ambiguidade denindo os conjuntos por compreensao
Os elementos `a esquerda de (:) tem que satisfazer a condicao P(X), para
pertencerem ao conjunto S:
S = {X : P(X)}
Exemplos:
Z = {x : x N ou x N} .
Q = racionais = {
a
b
: a Z, b Z, b = 0} .
{x : x R, 2 < x < 5}.
Conjuntos
[height=6cm]sets.png
Subconjuntos - I
Dizemos que A e um subconjunto de B (notacao A B), se e so se, todos
os elementos de A sao tambem elementos de B, ou seja,
Para todo x, se x A entao x B
O conjunto A e um subconjunto de si mesmo (A A).
Dizemos que A e um subconjunto proprio de B (notacao A B), se e so
se, A B e A = B.
O conjunto A nao e um subconjunto proprio de si mesmo (A A).
Dois conjuntos A e B sao iguais (nota cao A = B), se e so se tem os mesmo
elementos. Mais formalmente,
A = B se e so se, A B e B A.
3
Subconjuntos - II
O conjunto vazio, , e o unico conjunto que nao contem elementos. (x
e sempre falso!)
e um subconjunto de qualquer conjunto.

E sempre verdade que:
Para todo x, se x entao x A
Exemplos: Seja A = {1, 2, 5, 7}, B = {1, 5} e C = {3, 7}.
1. B A?
2. C A?
3. B B?
Conjuntos de conjuntos
Um conjunto pode ter como elementos outros conjuntos. Exemplo: {{2, 4}, {13}, 17}
Note que, {2, 4} {{2, 4}, {13}, 17}, mas {2, 4} {2, 4, 13, 17}
Note que, 13 / {{2, 4}, {13}, 17}, mas {13} {{2, 4}, {13}, 17}
O conjunto {} nao e o conjunto vazio: {}
O conjunto de subconjuntos
O conjunto de todos os subconjuntos de um conjunto A e chamado o
conjunto das partes de A (notacao 2
A
ou P(A)), ou seja:
2
A
= {S : S A}
Exemplo: se A = {1, 2, 3, 4} entao
2
A
= {, {1}, {2}, {3}, {4}, {1, 2}, {1, 3}, {1, 4}, {2, 3}, {2, 4},
{3, 4}, {1, 2, 3}, {1, 2, 4}, {1, 3, 4}, {2, 3, 4}, {1, 2, 3, 4}}
Operacoes sobre conjuntos
Dados dois conjuntos A e B, denimos a intersec cao, uniao e diferen ca de
conjuntos da seguinte forma:
A B = {x : x A e x B}
A B = {x : x A ou x B}
A\ B = {x : x A e x / B}
4
As operacoes de uniao e intersecao podem ser denidas para m ultiplos
conjuntos. Considerando n conjuntos A
1
, A
2
, . . . , A
n
, entao

n
i=1
A
i
,
n
i=1
A
i
denem respectivamente a sua interseccao e a sua uniao.
Considerando um determinado universo U, denimos o complementar de
A, como:
A = {x : x / A} = U \ A
Exemplo
Seja U = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10}, A = {1, 2, 3, 4, 5} e B = {6, 7, 8}.
Entao:
A B = {1, 2, 3, 4, 5, 6, 7, 8}.
A B = .
A = {0, 6, 7, 8, 9, 10}.
AB = A.
Cardinalidade
O n umero de elementos (distintos!) emA, (notacao |A| ou #A), e chamado
a cardinalidade de A.
Se a cardinalidade de um conjunto e um n umero natural (N), entao o
conjunto e nito, caso contrario e innito.
Exemplo: Se A = {a, b} entao |{a, b}| = 2 e |2
A
| = 4.
O n umero de subconjuntos de um conjunto com n elementos e 2
n
, ou seja,
|2
A
| = 2
|A|
Produto cartesiano de conjuntos
Um n-tuplos ordenados (a
1
, a
2
, . . . , a
n
), e uma coleccao ordenada, que tem
a
i
como i-esimo elemento.
Um 2-tuplo ordenado e chamado de par ordenado.
O produto cartesiano de o conjunto A com o conjunto B, A B, e o
conjunto de pares ordenados
{(a, b) : a A e b B}.
5
O produto cartesiano dos conjuntos A
1
, A
2
, . . . , A
n
, A
1
A
2
. . . A
n
, e o
conjuntos de todos os n-tuplos ordenados
{(a
1
, a
2
, . . . , a
n
) : a
1
A
1
, a
2
A
2
. . . a
n
A
n
}.
Exemplo: Seja A = {a, b} e B = {1, 2, 3}. Entao:
AB = {(a, 1), (a, 2), (a, 3), (b, 1), (b, 2), (b, 3)}.
Conjuntos: propriedades
A teoria de conjuntos e uma instancia de um sistema algebrico chamado

Algebra Booleana.
1. Comutatividade: para todo o conjunto A e B; A B = B A e A B =
B A.
2. Associatividade: para todo o conjunto A, B e C; A(BC) = (AB)C
e A (B C) = (A B) C.
3. Distributividade: para todo o conjunto A, B e C; A (B C) = (A
B) (A C) e A (B C) = (A B) (A C).
4. Complemento duplo: para todo o conjunto A, A = A.
5. Idempotencia: para todo o conjunto A, A A = A e A A = A.
Conjuntos: propriedades II
6 Elemento neutro: para todo o conjunto A e universo U ; A U = A e
A = A.
7 Elemento absorvente: para todo o conjunto A e universo U ; AU = U e
A = .
8 Leis de De Morgan: para todo o conjunto A e B; A B = A B e
A B = A B.
9 Leis de absorcao: para todo o conjunto A e B, A (A B) = A e A
(A B) = A.
10 Complementar: para todo o conjunto A e universo U, AA = U e AA =
.
6
Provas...
Vamos provar que A B = A B.
Prova: Vamos mostrar que, para todo o x:
x A B x A B
Seja x um elemento arbitrario do domnio
() Se x A B, entao (pela deni cao de complementar) x (A B).Alem
disso, x (A B) implica (pela denicao de uniao) que x A e x B.
Se x A, entao (pela deni cao de complementar) x A e x B implica
(pela deni cao de complementar) x B. Mas, se x A e x B, entao
(pela denicao de intersec cao) x A B.
() Analogo ao sentido inverso.
Logo x A B x A B
Provas...
Seja A um conjunto (xo, mas genericamente escolhido), para mostrar que
A = basta mostrar que A nao contem nenhum elemento. Suponhamos
que x (A ), por denicao de interseccao x A e x . Em particular
x , o que e impossvel por deni cao de . Esta contradi cao mostra que a
hipotese de existir um x (A ) e falsa. Logo A nao contem elementos e
A = .
Exerccios
Das seguintes armacoes idenque as verdadeiras:
1. 2 {1, 2, 3}
2. {2} {1, 2, 3}
3. 2 {1, 2, 3}
4. {2} {1, 2, 3}
5. {2} {{1}, {2}}
6. {2} {{1}}, {{2}}}
Seja A = {a, b} e B = {1, 2, 3}. Determine:
1. B A e AB A.
2. |AB|.
Se |A| = 4 e |B| = 2, determine |AB|.
Mostre que para todo o conjunto A e B, A B A.
Mostre que para todo o conjunto A e B, A\ B = A B.
Mostre que para todo o conjunto A,B e C (AB) \C = (A\C) (B\C).
7

Você também pode gostar