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 2009

Horário e local

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

Professora

Anjolina Grisi de Oliveira

Monitores

Ruan Vasconcelos Bezerra Carvalho, Arthur Rizzo, Denise Jaeger Tenorio, Felipe Kuhner Camara dos Santos, Lais Souza de Andrade, Luiz Felipe, Maira Tavares de Melo Araujo, Thais Mota dos Santos.

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 17-fev Apresentação do Curso
Provas e Proposições 		02
2 19-fev Provas e Proposições
Noções básicas sobre conjuntos
Paradoxo do barbeiro
Operações sobre conjuntos
 04
3 26-fev Operações sobre conjuntos
Noções básicas sobre funções e relações.
 06
4 03-mar Seqüências.
Cardinalidade e Enumerabilidade (Cantor1) (Cantor2)
Racionais
Crescimento de função (lin k1, link2, link3)
 08
5 05-mar Crescimento de função
Métodos de Prova e Indução Matemática
10
6 10-mar Métodos de Prova e Indução Matemática
Definições Recursivas
 12
7 12-mar Torre de Hanói
(Programa: Torre de Hanói)
Motivação: contar!
 15
8 17-mar O número de subconjuntos ordenados e
o número de subconjuntos
 para imprimir Mini-prova passada
12:00hs Mini-prova 1 (Ass.: 1-6)
(salas: D004: Engenharia; D005: Ciencia) 		18
9 19-mar Teorema binomial
Triângulo de Pascal
 20
10 24-mar 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 26-mar Números Primos e Divisibilidade
Notas Aula
para imprimir
 25
12 31-mar Algoritmo de Euclides
Aritmética Modular
Aula
para imprimir
12:00hs Mini-prova 2 (Ass.: 7-11)
(salas: D004: Engenharia; D005: Ciencia) 		28
13 02-abr (aula a partir de 13hs) Aritmética Modular
Senha e F. Hash: capt. 13 Password-based login 		31
14 07-abr Aula
(aula até 19hs) Teorema Chinês do Resto
O pequeno teorema de Fermat e teste de primalidade
para imprimir
 34
15 09-abr Aula
O pequeno teorema de Fermat e teste de primalidade
 36
16 14-abr 12:00hs Primeira Prova (Ass.: 1-15)
(salas: D004: Engenharia; D005: Ciencia) 		39
17 16-abr Relações: definições, propriedades
para imprimir
41
21-abr FERIADO: Tiradentes
 		41
23-abr Semana Pedagogica
 		41
18 28-abr Relações n-árias
Combinando relações
 		43
19 30-abr Representando relações
Fechos de uma relação
 Para imprimir 		46
20 05-mai Relações de equiv.
Para imprmir
 49
21 07-mai Ordenações parciais
Ordem Lexicográfica
52
22 12-mai Diagrama de Hasse
Reticulados
12:00hs Mini-prova 3 (Ass.: 17-20)
(salas: D004: Engenharia; D005: Ciencia) 		55
23 14-mai Grafos: definições e terminologia
58
24 19-mai Grafos: represent. e isomorfismo
 61
21-mai Conectividade
Grafos com pesos
 63
25 26-mai Grafos: caminho e circuito euleriano e hamiltoniano
12:00hs Mini-prova 4 (Ass.: Grafos ate' Planaridade)
(salas: D004: Engenharia; D005: Ciencia) 		64
26 28-mai Planaridade
Coloração
66
27 02-jun Árvores: definições, terminologia, propriedades
Árvores binárias de busca
Caminhamento em árvores
 68
28 04-jun Árvores Geradoras
70
29 09-jun Revisao
questoes
72
30 16-jun (12:00hs) Segunda Prova (ass: 17-29)
(salas: D004: Engenharia; D005: Ciencia)		 75
18-jun Segunda Chamada (NA HORA DA AULA) 75
25-jun Prova Final (Na hora da aula) 75


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