Matemática Discreta (IF670)

Primeiro Semestre de 2007

Horário e local

Professora

Monitores

Página da Monitoria

Regras gerais para condução da disciplina

Bibliografia Básica

1. Discrete Mathematics and its Applications, Kenneth Rosen, McGraw-Hill Higher Education.
ISBN: 0-07-289905-0, 4th edition, 1998.

2. Discrete Mathematics: Elementary and Beyond, L. Lovász, J. Pelikán & K. Vesztergombi. Springer, January 2003, ISBN 0387955852. (Tradução para o português Matemática Discreta, Volume 05 da Coleção Textos Universitários, Sociedade Brasileira de Matemática, 285 pp, 1a. Edição, 0,500 Kg, ISBN 85-85818-28-X, 2006.)
Tradução parcial para o português disponível por capítulos em pdf:
   Prefácio, Introdução e Capítulo 1
   Capítulo 2
   Capítulo 3
   Capítulo 4 (Fibonacci e a média áurea)
   Capítulo 5
   Capítulo 6 (Primos: 1 2 3 4)
   Capítulo 15
   Respostas aos exercícios

Literatura complementar

Matemática Concreta. Fundamentos para a Ciência da Computação, R. Graham, D. Knuth & O. Patashnik, Livros Técnicos e Científicos, 1995. (Tradução de Concrete Mathematics - A Foundation for Computer Science, Addison-Wesley, 1994.)

Grupo de Notícias

Material sobre proposições e provas

Notas de aula

Notas 3, Notas 4

Notas 5, Notas 6

Notas 7

lista-tn

lista-rel - lista-ordemparcial

Prova1 gabarito

Prova Passadas

Programação de Aulas

Aula	Data	Assunto	Horas Acum.
1	26-abr	Apresentação do Curso Provas e Proposições	02
	01-mai	FERIADO: Dia do trabalho
2	03-mai	Noções básicas sobre conjuntos Operações sobre conjuntos Paradoxo do barbeiro	04
3	08-mai	Noções básicas sobre funções e relações. Seqüências.	06
4	10-mai	Cardinalidade e Enumerabilidade (Cantor1) (Cantor2) Crescimento de função (lin k1, link2, link3)	08
5	15-mai	Métodos de Prova e Indução Matemática	10
6	17-mai	Indução Matemática (Cont.)	12
7	22-mai	Definições Recursivas 13:00 hs Mini-prova 1 (Ass.: 1-6,salas: D005-ciencia e D004-engenharia)	15
8	24-mai	Torre de Hanói (Programa: Torre de Hanói) Motivação: contar!	17
9	29-mai	O número de subconjuntos ordenados e o número de subconjuntos	19
10	31-mai	Teorema binomial Triângulo de Pascal	21
11	05-Jun	Inclusão-Exclusão Notas Aula O Princípio da Casa de Pombos Notas Aula	23
	07-Jun	FERIADO: Corpus Christi
12	12-jun	Teoria dos números: motivação: Criptografia (Transparências sobre Matemática para Segurança: aqui)	25
13	14-Jun	Números Primos e Divisibilidade Notas Aula 13:00 hs Mini-prova 2 (Ass.: 7-11; salas: D004- eng. e D005-ciencia)	28
14	19-jun	(aula até 13hs) Algoritmo de Euclides Aritmética Modular Aula	31
15	21-jun	Aritmética Modular Senha e F. Hash: capt. 13 Password-based login	33
16	26-jun	Aula (aula até 13hs) Teorema Chinês do Resto O pequeno teorema de Fermat e teste de primalidade	36
17	28-jun	Relações: definições, propriedades, operações Relações n-árias	38
19	03-jul	Combinando relações Introdução a fechos de uma relaçõo	43
18	05-jul	12:00hs Primeira Prova (Ass.: 1-16) (salas: D004: Engenharia; D005: Ciencia)	41
20	10-jul	Palestra sobre Banco de Dados	45
21	12-jul	Representando relações Fechos de uma relação	47
22	17-jul	(aula até 13hs) Relações de equiv.	50
23	19-jul	Ordenações parciais Ordem Lexicográfica 12:00hs Mini-prova 3 (Ass.: 17-21) (salas: D004: Engenharia; D005: Ciencia)	52
24	24-jul	(aula até 13hs) Diagrama de Hasse Reticulados	55
25	26-jul	Grafos: definições e terminologia	58
26	31-jul	(aula até 13 hs) Grafos: represent. e isomorfismo	61
27	02-ago	Conectividade Grafos: caminho e ci rcuito euleriano e hamiltoniano	63
28	07-ago	Planaridade Grafos com pesos Coloração 13:00hs Mini-prova 4 (Ass.: 22-27) (salas: D004: Engenharia; D005: Ciencia)	65
29	09-ago	Árvores: definições, terminologia, propriedades Árvores binárias de busca Caminhamento em árvores	68
30	14-ago	Árvores Geradoras	70
31	16-ago	Revisao	72
29	21-ago	(12:00hs) Segunda Prova (ass: 17-31) (salas: D004: Engenharia; D005: Ciencia)	75
	23-ago	Segunda Chamada (NA HORA DA AULA: 8-10 hs)	75
	28-ago	Prova Final (Na hora da aula: 10hs - 12hs)	75

Última atualização: 12 de Junho, 07:02pm GMT-3