Universidade Federal de Pernambuco (UFPE)
Centro de Informática (CIn)
Graduação em Ciência da Computação e Engenharia da Computação

Matemática Discreta (IF670)

Primeiro Semestre de 2010

Horário e local

Turmas 1C e 1E (Sala D003)
  3a Feira, de 08h às 10h
  5a Feira, de 10h às 12h

Professora

Anjolina Grisi de Oliveira

Monitores

Thais Mota dos Santos, Arthur Rizzo, Carlos Eduardo Maritns Barbosa, Lais Souza de Andrade, Renato dos Santos Oliveira, Ruan Vasconcelos Bezerra Carvalho, Vinícius Henrique C de Oliveira.

Página da Monitoria

Aqui,

Regras gerais para condução da disciplina

aqui

Bibliografia Básica

Livros-texto

Literatura complementar

Grupo de Notícias

ATENÇÃO!)
Todas as mensagens relativas à disciplina serão veiculadas no grupo de notícias depto.cursos.grad.if670.

Material sobre proposições e provas

aqui (fonte: CS 70, Spring 2005 Discrete Mathematics for Computer Science)

Notas de aula

Notas 1, Notas 2

Notas 3, Notas 4

Notas 5, Notas 6

Notas 7

lista-tn

lista-rel - lista-ordemparcial

Prova1 gabarito

Provas Passadas

Programação de Aulas

Aula
Data
Assunto
Horas Acum.
1 09-mar Apresentação do Curso
Provas e Proposições
02
- 11-mar AULA INAUGURAL PARA OS FERAS (sem aula de mat. discreta nesse dia)
02
2 16-mar Provas e Proposições
Noções básicas sobre conjuntos
Paradoxo do barbeiro
Operações sobre conjuntos
04
3 18-mar Operações sobre conjuntos
Noções básicas sobre funções e relações.
06
4 23-mar Seqüências.
Cardinalidade e Enumerabilidade (Cantor1) (Cantor2)
Racionais
Crescimento de função (lin k1, link2, link3)
08
5 25-mar Crescimento de função
Métodos de Prova e Indução Matemática
10
6 30-mar Métodos de Prova e Indução Matemática
Definições Recursivas
12
- 01-abr FERIADO: Quinta-feira santa
12
7 06-abr Torre de Hanói
(Programa: Torre de Hanói)
Motivação: contar!
12:00hs Mini-prova 1 (Ass.: 1-4)
(anfiteatro)
15
8 08-abr O número de subconjuntos ordenados e
o número de subconjuntos
para imprimir Mini-prova passada
18
9 13-abr Teorema binomial
Triângulo de Pascal
20
10 15-abr 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)
22
11 20-abr Números Primos e Divisibilidade
Notas Aula
para imprimir
25
12 22-abr Algoritmo de Euclides
Aritmética Modular
Aula
para imprimir
12:00hs Mini-prova 2 (Ass.: 5-11)
(anfiteatro)
28
13 27-abr Aritmética Modular
Senha e F. Hash: capt. 13 Password-based login
31
14 29-abr Aula
(aula até 19hs) Teorema Chinês do Resto
O pequeno teorema de Fermat e teste de primalidade
para imprimir
34
15 04-mai Aula
O pequeno teorema de Fermat e teste de primalidade
36
16 06-mai 12:00hs Primeira Prova (Ass.: 1-15)
(anfiteatro)
39
17 11-mai Relações: definições, propriedades
para imprimir
41
18 13-mai Relações n-árias
Combinando relações
43
19 18-mai Representando relações
Fechos de uma relação
Para imprimir
46
20 20-mai Relações de equiv.
Para imprmir
49
21 27-mai Ordenações parciais
Ordem Lexicográfica

52
22 01-jun Diagrama de Hasse
Reticulados
12:00hs Mini-prova 3 (Ass.: 17-20)
(anfiteatro)
55
23 03-jun Grafos: definições e terminologia
58
24 03-jun Grafos: represent. e isomorfismo
61
25 08-jun Conectividade
Grafos com pesos
63
26 10-jun Grafos: caminho e circuito euleriano e hamiltoniano
12:00hs Mini-prova 4 (Ass.: Grafos ate' Planaridade)
(anfiteatro)
64
27 15-jun Planaridade
Coloração
66
28 17-jun Árvores: definições, terminologia, propriedades
Árvores binárias de busca
Caminhamento em árvores
68
29 22-jun Árvores Geradoras
70
- 24-jun FERIADO
70
30 29-jun Revisao
questoes
72
31 01-jul (12:00hs) Segunda Prova (ass: 17-29)
(anfiteatro)
75
06-jul Segunda Chamada (NA HORA DA AULA) 75
13-jul Prova Final (Na hora da aula) 75


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