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 2011

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

Renato dos Santos Oliveira, Alberto Trindade Tavares, Carlos Eduardo Maritns Barbosa, Danilo Neves Ribeiro, Gisely Cristiane da Costa Melo, Jose Araujo da Silva Neto, Maria Fernanda Cavalcanti de Castro , Roberta Cabral Mota, Thais Mota dos Santos, Thiago Borges Jordani, Victor Hugo Maristane de Andrade , 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 01-mar Apresentação do Curso
Provas e Proposições
02
2 03-mar Apresentação do Curso
Provas e Proposições
04
3 10-mar Noções básicas sobre conjuntos
Paradoxo do barbeiro
Operações sobre conjuntos
06
4 15-mar Operações sobre conjuntos
Noções básicas sobre funções e relações.
08
5 17-mar Seqüências.
Cardinalidade e Enumerabilidade (Cantor1) (Cantor2)
Racionais
Crescimento de função (lin k1, link2, link3)
10
6 22-mar Crescimento de função
Métodos de Prova e Indução Matemática
12
7 24-mar Métodos de Prova e Indução Matemática
Definições Recursivas
PG
12:00hs Mini-prova 1 (Ass.: 1-5)
(anfiteatro)
14
8 29-mar Torre de Hanói
(Programa: Torre de Hanói)
Fibonacci
Motivação: contar!
17
9 31-mar Motivação: contar!
Exemplos
19
10 05-abr O número de subconjuntos ordenados e
o número de subconjuntos
para imprimir Mini-prova passada
21
11 07-abr Teorema binomial
Triângulo de Pascal
23
12 12-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)
25
13 14-abr Números Primos e Divisibilidade
Notas Aula
para imprimir
12:00hs Mini-prova 2 (Ass.: 6-11)
(anfiteatro)
27
14 19-abr Algoritmo de Euclides
Aritmética Modular
Aula
para imprimir
31
- 21-abr FERIADO: Quinta-feira santa
31
15 26-abr Aritmética Modular
Senha e F. Hash: capt. 13 Password-based login
33
16 28-abr Aula
Teorema Chinês do Resto
O pequeno teorema de Fermat e teste de primalidade
para imprimir
35
17 03-mai Aula
O pequeno teorema de Fermat e teste de primalidade
37
18 05-mai Relações: definições, propriedades
para imprimir
39
19 10-mai Relações n-árias
Combinando relações
lista
41
20 12-mai 12:00hs Primeira Prova (Ass.: 1-17)
(anfiteatro)
44
21 17-mai Representando relações
Fechos de uma relação
Para imprimir
46
22 19-mai Relações de equiv.
Para imprmir
49
23 24-mai Ordenações parciais
Ordem Lexicográfica

52
24 26-mai Diagrama de Hasse
Reticulados
12:00hs Mini-prova 3 (Ass.: 19-22)
(anfiteatro)
55
25 31-mai Grafos: definições e terminologia
57
26 02-jun Grafos: represent. e isomorfismo
59
27 07-jun Conectividade
Grafos com pesos
61
28 09-jun Grafos: caminho e circuito euleriano e hamiltoniano
12:00hs Mini-prova 4 (Ass.: 23-27)
(anfiteatro)
64
29 14-jun Planaridade
Coloração
66
30 16-jun Árvores: definições, terminologia, propriedades
Árvores binárias de busca
Caminhamento em árvores
68
31 21-jun Árvores Geradoras
70
- 23-jun FERIADO
72
32 28-jun Revisao
questoes
72
33 30-jun (12:00hs) Segunda Prova (ass: 18-31)
(anfiteatro)
75
05-jul Segunda Chamada (NA HORA DA AULA na sala) 75
07-jul Prova Final (12h no anfiteatro) 75


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