Aula Data Assunto Horas Acum.

1 20-set Apresentação do Curso
Provas e Proposições
Noções básicas sobre conjuntos 03

2 22-set Noções básicas sobre conjuntos (cont.)
Operações sobre conjuntos
Noções básicas sobre funções e relações.
06

3 27-set Seqüências.
Cardinalidade e Enumerabilidade (Cantor1)
(Cantor2)
09

4 29-set Crescimento de função (link1, link2, link3)
Métodos de Prova
Indução Matemática
13

5 04-out Definições Recursivas (Torre de Hanói)
Números de Fibonacci
Motivação: contar!
O número de subconjuntos
Mini-prova 1 (Ass.: 1-4) 17

6 06-out O número de subconjuntos ordenados
Inclusão-Exclusão 21

7 11-out Triângulo de Pascal
Triângulo de Pascal: teorema binomial
24

8 13-out Inclusão-Exclusão (cont.)
O Princípio da Casa de Pombos 27

9 18-out Números Primos e Divisibilidade
Criptografia
Algoritmo de Euclides
Mini-prova 2 (Ass.: 5-8) 31

10 20-out Aritmética Modular
Teorema Chinês do Resto
35

11 25-out Aritmética Modular 38

12 27-out Primeira Prova (ass: 1-11; salas 8 e 4) 40

13 01-nov Relações: definições, propriedades, operações 44

14 03-nov Combinando relações
Relações n-árias
Representando relações
48

15 08-nov Fechos de uma relação
52

16 10-nov Relações de equiv.
Rev. prova 56

15-nov FERIADO 56

17 17-nov Ordenações parciais
Diagrama de Hasse
Reticulados
Grafos: definições e terminologia
Mini-prova 3 (Ass.: 13-16) 61

18 22-nov Grafos: isomorfismo
Grafos: represent.
Conectividade
65

19 24-nov Grafos: caminho e circuito euleriano e hamiltoniano
Grafos com pesos e caminho mais curto
69

20 29-nov Planaridade
Coloração
Árvores:
Definições, terminologia e propriedades
Árvores binárias de busca
Caminhamento em árvores
Mini-prova 4 (Ass.: 17-19) 73

21 01-dez Segunda Prova (salas 8 e 4) 75

22 02-dez Segunda chamada(salas 4: 08:30-10:30hs) 75

06-dez Prova Final 75

Aula	Data	Assunto	Horas Acum.
1	20-set	Apresentação do Curso Provas e Proposições Noções básicas sobre conjuntos	03
2	22-set	Noções básicas sobre conjuntos (cont.) Operações sobre conjuntos Noções básicas sobre funções e relações.	06
3	27-set	Seqüências. Cardinalidade e Enumerabilidade (Cantor1) (Cantor2)	09
4	29-set	Crescimento de função (link1, link2, link3) Métodos de Prova Indução Matemática	13
5	04-out	Definições Recursivas (Torre de Hanói) Números de Fibonacci Motivação: contar! O número de subconjuntos Mini-prova 1 (Ass.: 1-4)	17
6	06-out	O número de subconjuntos ordenados Inclusão-Exclusão	21
7	11-out	Triângulo de Pascal Triângulo de Pascal: teorema binomial	24
8	13-out	Inclusão-Exclusão (cont.) O Princípio da Casa de Pombos	27
9	18-out	Números Primos e Divisibilidade Criptografia Algoritmo de Euclides Mini-prova 2 (Ass.: 5-8)	31
10	20-out	Aritmética Modular Teorema Chinês do Resto	35
11	25-out	Aritmética Modular	38
12	27-out	Primeira Prova (ass: 1-11; salas 8 e 4)	40
13	01-nov	Relações: definições, propriedades, operações	44
14	03-nov	Combinando relações Relações n-árias Representando relações	48
15	08-nov	Fechos de uma relação	52
16	10-nov	Relações de equiv. Rev. prova	56
	15-nov	FERIADO	56
17	17-nov	Ordenações parciais Diagrama de Hasse Reticulados Grafos: definições e terminologia Mini-prova 3 (Ass.: 13-16)	61
18	22-nov	Grafos: isomorfismo Grafos: represent. Conectividade	65
19	24-nov	Grafos: caminho e circuito euleriano e hamiltoniano Grafos com pesos e caminho mais curto	69
20	29-nov	Planaridade Coloração Árvores: Definições, terminologia e propriedades Árvores binárias de busca Caminhamento em árvores Mini-prova 4 (Ass.: 17-19)	73
21	01-dez	Segunda Prova (salas 8 e 4)	75
22	02-dez	Segunda chamada(salas 4: 08:30-10:30hs)	75
	06-dez	Prova Final	75

Última atualização: 13 de Junho de 2005, 10:45:04

Matemática Discreta (IF670)

Primeiro Semestre de 2005

Horário e local

Professora

Monitores

Página da Monitoria

Regras gerais para condução da disciplina

Notas da disciplina

Bibliografia Básica

Literatura complementar

Grupo de Notícias

Material sobre proposições e provas

Notas de aula