vaso cu
67326 palavras
270 páginas
´Elementos de Matematica Discreta para Computacao
¸˜
Anamaria Gomide
∧
Jorge Stolfi
Vers˜ o Preliminar de 25 de agosto de 2011 a c 2011
2
Sum´ rio a Pref´ cio a 1 Introducao a l´ gica matem´ tica
¸˜ ` o a 1.1 Como ter certeza? . . . . . . . . . . .
1.2 A invencao da l´ gica . . . . . . . . .
¸˜
o
1.3 Euclides e demonstracoes geom´ tricas
¸˜
e
´
1.4 Algebra . . . . . . . . . . . . . . . .
1.5 As linguagens da l´ gica matem´ tica . o a
11
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
15
15
15
15
17
17
2 Teoria dos Conjuntos
2.1 Especificando conjuntos . . . . . . . . . . . . . .
2.1.1 Definicoes circulares e contradit´ rias . . .
¸˜
o
2.2 Igualdade de conjuntos . . . . . . . . . . . . . . .
2.3 Conjunto vazio . . . . . . . . . . . . . . . . . . .
2.4 Relacao de inclus˜ o . . . . . . . . . . . . . . . . .
¸˜
a
2.5 Cardinalidade . . . . . . . . . . . . . . . . . . . .
2.6 Operacoes com conjuntos . . . . . . . . . . . . . .
¸˜
2.6.1 Uni˜ o e interseccao . . . . . . . . . . . . . a ¸˜
2.6.2 Diferenca, universo, e complemento . . . .
¸
2.6.3 Diferenca sim´ trica . . . . . . . . . . . . .
¸
e
2.6.4 Propriedades das operacoes com conjuntos
¸˜
2.7 Conjuntos de conjuntos . . . . . . . . . . . . . . .
2.8 Conjunto potˆ ncia . . . . . . . . . . . . . . . . . . e 2.9 Particao . . . . . . . . . . . . . . . . . . . . . . .
¸˜
2.10 Produto cartesiano de dois conjuntos . . . . . . . .
2.10.1 Produto de dois conjuntos . . . . . . . . .
2.11 Exerc´cios . . . . . . . . . . . . . . . . . . . . . . ı .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.