Aula	Data	Assunto	Horas Acum.
1	11-ago	Apresentação do Curso	02
2	13-ago	Apresentação do Curso Provas e Proposições	04
3	18-ago	Provas e Proposições Noções básicas sobre conjuntos Paradoxo do barbeiro Operações sobre conjuntos	06
4	20-ago	Operações sobre conjuntos Noções básicas sobre funções e relações.	08
5	25-ago	Seqüências. Cardinalidade e Enumerabilidade (Cantor1) (Cantor2) Racionais Crescimento de função (lin k1, link2, link3)	10
6	27-ago	Crescimento de função Métodos de Prova e Indução Matemática	12
7	01-set	Métodos de Prova e Indução Matemática Definições Recursivas PG	14
8	03-set	Torre de Hanói Fibonacci Motivação: contar! Exemplos 12:00hs Mini-prova 1 (Ass.: 1-5) (Anfiteatro)	17
9	08-set	O número de subconjuntos ordenados e o número de subconjuntos para imprimir Mini-prova passada	19
10	10-set	Teorema binomial Triângulo de Pascal	21
11	15-set	Inclusão-Exclusão Notas Aula para imprimir O Princípio da Casa de Pombos Notas Aula para imprimir Teoria dos números: motivação: Criptografia (Transparências sobre Matemática para Segurança: aqui)	23
12	17-set	Números Primos e Divisibilidade Notas Aula para imprimir	25
13	22-set	Algoritmo de Euclides Aritmética Modular Aula para imprimir	28
14	24-set	Aritmética Modular Senha e F. Hash: capt. 13 Password-based login 12:00hs Mini-prova 2 (Ass.: 6-12) (sala: D005)
15	29-set	Aula Teorema Chinês do Resto O pequeno teorema de Fermat e teste de primalidade para imprimir	34
16	01-out	Aula O pequeno teorema de Fermat e teste de primalidade	36
17	06-out	Relações: definições, propriedades para imprimir	41
18	08-out	12:00hs Primeira Prova (Ass.: 1-16) (Anfiteatro)	39
19	13-out	Relações n-árias Combinando relações	43
20	15-out	Representando relações Fechos de uma relação Para imprimir	46
21	20-out	Relações de equiv. Para imprmir	49
22	22-out	Ordenações parciais Ordem Lexicográfica	52
23	27-out	Diagrama de Hasse Reticulados	55
24	29-out	Grafos: definições e terminologia 12:00hs Mini-prova 3 (Ass.: 17-21) (Anfiteatro)	58
25	03-nov	Grafos: represent. e isomorfismo	61
26	05-nov	Conectividade Grafos com pesos	63
27	10-nov	Grafos: caminho e circuito euleriano e hamiltoniano	64
28	12-nov	Planaridade Coloração	66
29	17-nov	Árvores: definições, terminologia, propriedades Árvores binárias de busca Caminhamento em árvores	68
30	19-nov	Árvores Geradoras 12:00hs Mini-prova 4 (Ass.: 21-25) (sala: D005)	70
31	24-nov	Revisao questoes	72
32	26-nov	(12:00hs) Segunda Prova (ass: 17-29) (Anfiteatro)	75
33	01-dez	Segunda Chamada (NA HORA DA AULA)	75
35	10-dez	Prova Final (Na hora da aula)	75

Última atualização: 28 de Julho, 07:02pm GMT-3

Matemática Discreta (IF670)

Segundo Semestre de 2010

Horário e local

Professora

Monitores

Página da Monitoria

Regras gerais para condução da disciplina

Bibliografia Básica

Literatura complementar

Grupo de Notícias

Material sobre proposições e provas

Notas de aula