Teoria da Computação

Humberto Longo

Instituto de Informática
Universidade Federal de Goiás

Mestrado em Computação, 2010

INF/UFG – TC 2010/1 – Humberto Longo (1 – 1 de 634)

 Notação

I Conjunto: coleção não ordenada de elementos.

I S = {x | P(x)} (P é um predicado unário).
I S = {x | P(x)} ≡ (∀ x)[(x ∈ S ⇒ P(x)) ∧ (P(x) ⇒ x ∈ S )].
I Conjuntos padrões:
I N : inteiros não negativos (0 ∈ N).
I Z : inteiros.
I Q : racionais.
I R : reais.
I C : complexos.
I ∅ : conjunto vazio.

INF/UFG – TC 2010/1 – Humberto Longo Conjuntos (6 – 14 de 634)

 Notação

I A ( B ≡ A ⊂ B ≡ A ⊆ B e A , B : subconjunto próprio.
I A = B ⇒ A ⊆ B e B ⊆ A.
I Para qualquer conjunto S , ∅:
I S ⊆ S : subconjunto impróprio.
I ∅ ⊂ S : ∅ é subconjunto próprio de qualquer conjunto S .

I P(S ) : conjunto das partes de S .

I conjunto potência de S .
I todos os subconjuntos de S .
I |P(S )| = 2|S | . (Exercício: Provar esta igualdade.)

INF/UFG – TC 2010/1 – Humberto Longo Conjuntos (7 – 14 de 634)

 Operações em conjuntos

I U : conjunto universo.
I A − B = {x ∈ U | x ∈ A e x < B}.

I A ∩ B = {x ∈ U | x ∈ A e x ∈ B}.

I A ∪ B = {x ∈ U | x ∈ A ou x ∈ B}.

I A : complemento do conjunto A.
I U
A = {x | x ∈ e x < A}.
I A = A0 = AC = {UA
.
I A∩A=∅e A∪A= . U
I {AB quando A ⊆ B.
I {AB quando B ⊆ A.

INF/UFG – TC 2010/1 – Humberto Longo Conjuntos (8 – 14 de 634)

 Produto cartesiano

I A × B = {(a, b) | a ∈ A e b ∈ B}
n
I Ai = A1 × A2 × . . . × An = {(a1 , a2 , . . . , an ) | ai ∈ Ai }
i=1

n
I Ai = A, i = 1, . . . , n ⇒ Ai = An
i=1

INF/UFG – TC 2010/1 – Humberto Longo Conjuntos (9 – 14 de 634)

 Propriedades

I A ⊆ (A ∪ B) e B ⊆ (A ∪ B).
I (A ∩ B) ⊆ A e (A ∩ B) ⊆ B.

I A ⊆ D e B ⊆ D ⇒ (A ∪ B) ⊆ D.
I D ⊆ A e D ⊆ B ⇒ D ⊆ (A ∩ B).

I |A ∪ B| ≤ |A| + |B|.
I |A ∩ B| ≤ min{|A|, |B|}.
I |A − B| ≤ |A|.
I |A × B| ≤ |A|.|B|.

INF/UFG – TC 2010/1 – Humberto Longo Conjuntos (10 – 14 de 634)

 Princípio da Inclusão e Exclusão

I |A ∪ B| = |A| + |B| − |A ∩ B|.

I |A ∪ B ∪C| = |A| + |B| + |C| − |A ∩ B| − |A ∩C| − |B ∩C| + |A ∩ B ∩C|.
 P n



 |Ai | −

 i=1
+
 P
|Ai ∩ A j |







 1≤i< j≤n

|A1 ∪ · · · ∪ An | = 
 P
|Ai ∩ A j ∩ Ak | −
I



 1≤i< j<k≤n

..



. +







 (−1)n+1 |A1 ∩ · · · ∩ An |.



INF/UFG – TC 2010/1 – Humberto Longo Conjuntos (11 – 14 de 634)

 Leis da álgebra de conjuntos

I Comutativas:
I A ∪ B = B ∪ A.
I A ∩ B = B ∩ A.

I Associativas:
I (A ∪ B) ∪ C = A ∪ (B ∪ C).
I (A ∩ B) ∩ C = A ∪ (B ∩ C).

I Distributivas:
I (A ∪ B) ∩ C = (A ∩ C) ∪ (B ∩ C).
I (A ∩ B) ∪ C = (A ∪ C) ∩ (B ∪ C).

I Identidades:
I (A ∪ ∅) = A.
I (A ∪ U) = U.
I (A ∩ ∅) = ∅.

I (A ∩ U) = A.

INF/UFG – TC 2010/1 – Humberto Longo Conjuntos (12 – 14 de 634)

 Leis da álgebra de conjuntos

I Idempotentes:
I (A ∪ A) = A.
I (A ∩ A) = A.

I Complementação:
I (A ∪ AC ) = U.
I (A ∩ AC ) = ∅.
I UC = ∅.
I ∅C = U.
I (AC )C = A.

I DeMorgan:
I (A ∪ B)C = AC ∩ BC .
I (A ∩ B)C = AC ∪ BC .
I A − (B ∪ C) = (A − B) ∩ (A − C).

I A − (B ∩ C) = (A − B) ∪ (A − C).

INF/UFG – TC 2010/1 – Humberto Longo Conjuntos (13 – 14 de 634)

 Partição de um conjunto

I Π = {Ai ⊂ A | i ∈ I}.
I I : conjunto de índices (não necessariamente finito).
I A : conjunto qualquer.
I Π é uma partição de A se:
I A ∩ A j = ∅, ∀ i , j, i, j ∈ I .
Si
I Ai = A.
i∈I

INF/UFG – TC 2010/1 – Humberto Longo Conjuntos (14 – 14 de 634)

 Livros Texto

R. P. Grimaldi
Discrete and Combinatorial Mathematics – An Applied Introduction.
Addison Wesley, 1994.
D. J. Velleman
How To Prove It – A Structured Approach.
Cambridge University Press, 1996.
J. E. Hopcroft; J. Ullman.
Introdução à Teoria de Autômatos, Linguagens e Computação.
Ed. Campus.
T. A. Sudkamp.
Languages and Machines – An Introduction to the Theory of Computer Science.
Addison Wesley Longman, Inc. 1998.
M. Sipser.
Introduction to the Theory of Computation.
PWS Publishing Company, 1997.
H. R. Lewis; C. H. Papadimitriou
Elementos de Teoria da Computação.
Bookman, 2000.

INF/UFG – TC 2010/1 – Humberto Longo Bibliografia (634 – 634 de 634)