Matemática Discreta (IF670)

Segundo Semestre de 2016

Horário e local

Professora

Monitores

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.)

Material sobre proposições e provas

Listas e provas

lista-rel - lista-ordemparcial

Prova1 gabarito

Provas Passadas

Programação de Aulas

10-Ago

Apresentação do curso
Provas e Proposições

12-Ago
Provas e Proposições
Noções básicas sobre conjuntos

17-Ago
Paradoxo do barbeiro
Operações sobre conjuntos

19-Ago
Operações sobre conjuntos
Noções básicas sobre funções e relações.

24-Ago
Seqüências.
Cardinalidade e Enumerabilidade (Cantor1) (Cantor2)
Racionais

26-Ago
Métodos de Prova e Indução Matemática

31-Ago
Métodos de Prova e Indução Matemática
Definições Recursivas
PG

02-Set
Torre de Hanói
(Programa: Torre de Hanói)
Fibonacci
Motivação: contar!
Exemplos
12:00h - 13:00h Mini-prova 1
(SALA)

07-Set
FERIADO

09-Set
O número de subconjuntos ordenados e
o número de subconjuntos
para imprimir Mini-prova passada

14-Set
Teorema binomial
Triângulo de Pascal

16-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)

21-Set
Números Primos e Divisibilidade
Notas Aula
para imprimir
NOVO

12:00h-13:0h Mini-prova 2
(SALA)

23-Set
Algoritmo de Euclides
Aritmética Modular
Aula
para imprimir

28-Set
Aritmética Modular
Senha e F. Hash: capt. 13 Password-based login

30-Set
Aula
Teorema Chinês do Resto
O pequeno teorema de Fermat e teste de primalidade
para imprimir

05-Out
Aula
Teorema Chinês do Resto
O pequeno teorema de Fermat e teste de primalidade
para imprimir

07-Out
Primeira Prova
(12:00h-15:00h: ANFITEATRO)

12-Out
FERIADO: N. Sra. Aparecida

14-Out
Relações: definições, propriedades
para imprimir

19-Out
Relações n-árias
Combinando relações
lista

21-Out
Representando relações
Fechos de uma relação
Para imprimir

28-Out

Ponto facultativo: dia do servidor publico

02-Nov

Feriado

04- Nov
Relações de equiv.
Para imprmir
12:00h- 13:00h Mini-prova 3
(ANFITEATRO)

09-Nov

Ordenações parciais

11- Nov
Ordem Lexicográfica
Diagrama de Hasse
Reticulados

16- Nov
Grafos: introdução
Grafos: definições e terminologia

18- Nov
Grafos: represent. e isomorfismo
12:00h- 13:00h Mini-prova 4
(ANFITEATRO)

23-Nov
Grafos: conectividade
Grafos com pesos
Grafos: caminho e circuito euleriano e hamiltoniano Planaridade
Coloração

25-Nov
Árvores: definições, terminologia, propriedades

Árvores binárias de busca
Caminhamento em árvores
Revisao
questoes

30-Nov
Revisao

02-Dez
Segunda Prova (15:00-17:00h: sala D003)