Façam funcionar direito essa porcaria de site

BC0003 - Bases Matem´aticas - Armando Caputi e Daniel Miranda

Armando Caputi e Daniel Miranda

Pr el im

in ar Notas de aula - vers˜ao preliminar

Ve rs a˜ o

BC0003 - Bases Matem´aticas

UFABC - Universidade Federal do ABC
Santo Andr´e

Vers˜ao compilada em: 22 de julho de 2010

Escrito em LATEX.

BC0003 - Bases Matem´aticas - Armando Caputi e Daniel Miranda

S U M A´ R I O

v

S´ımbolos e notac¸oes
˜ gerais

Elementos de Logica e Linguagem Matem´atica
´
1.1 Proposic¸oes
1
˜
1.1.1 Proposic¸oes
˜ Universais e Particulares
1.1.2 Proposic¸oes
˜ Compostas: e, ou, n˜ao
1.1.3 Implicac¸a˜ o
12
1.1.4 Multiplos
Quantificadores
16
´
1.2 Demonstrac¸oes
20
˜
1.2.1 Inferˆencias
22
1.2.2 M´etodos de Demonstrac¸a˜ o
24

1
2
8

Pr el im

1

ix

Generalidades sobre Conjuntos
2.1 Conceitos b´asicos
33
2.2 Relac¸oes
36
˜ elementares
2.3 Operac¸oes
39
˜

3

Conjuntos Num´ericos
51
3.1 Numeros naturais, inteiros e racionais
51
´
3.1.1 Soma e multiplicac¸a˜ o
51
3.1.2 Potenciac¸a˜ o
52
3.2 Princ´ıpio de Induc¸a˜ o Finita
53
3.3 Numeros reais 60
´
3.3.1 Apresentac¸a˜ o axiom´atica dos numeros reais ´
3.3.2 Potenciac¸a˜ o de numeros reais 69
´
3.3.3 Representac¸oes reais 71
˜ dos numeros
´
3.3.4 O Plano Cartesiano
75
3.3.5 Valor absoluto de um numero real 76
´
3.3.6 Topologia da reta
79

Ve rs a˜ o

2

4

in ar Apresentac¸a˜ o

Complementos sobre Conjuntos
4.1 Familias de Conjuntos
83

33

61

83

i

BC0003 - Bases Matem´aticas - Armando Caputi e Daniel Miranda

5

Sobre ´ındices
83
Operac¸oes
˜ com fam´ılias de conjuntos

84

An´alise Combinatoria
87
´
5.1 Princ´ıpio Fundamental da Contagem
87
5.2 Listas sem Repetic¸a˜ o: Arranjos
92
5.3 Listas com Repetic¸a˜ o
94
5.4 Conjuntos sem Repetic¸a˜ o: Combinac¸a˜ o
97
5.5 Equac¸oes
˜ Lineares com Coeficientes Unit´arios
5.6 Probabilidade Discreta
102

6