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

Matemática Discreta (IF670)

Segundo Semestre de 2009

Horário e local

Turmas I1 (Sala D003)
  4a Feira, de 16h às 18h
  6a Feira, de 14h às 16h

Professora

Anjolina Grisi de Oliveira

Monitores

Ruan Vasconcelos Bezerra Carvalho Arthur Rizzo, Denise Jaeger Tenorio, Lais Souza de Andrade, 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 05-ago Apresentação do Curso
Provas e Proposições
02
2 07-ago Provas e Proposições
Noções básicas sobre conjuntos
Paradoxo do barbeiro
Operações sobre conjuntos
04
3 12-ago Operações sobre conjuntos
Noções básicas sobre funções e relações.
06
4 14-ago Seqüências.
Cardinalidade e Enumerabilidade (Cantor1) (Cantor2)
Racionais
Crescimento de função (lin k1, link2, link3)
08
5 19-ago Crescimento de função
Métodos de Prova e Indução Matemática
10
6 21-ago Métodos de Prova e Indução Matemática
Definições Recursivas
12
7 26-ago Torre de Hanói
Fibonacci
Motivação: contar!
15
8 28-ago 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)
(sala: D005)
18
9 02-set Teorema binomial
Triângulo de Pascal
20
10 04-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)
22
11 09-set Números Primos e Divisibilidade
Notas Aula
para imprimir
25
12 11-set Algoritmo de Euclides
Aritmética Modular
Aula
para imprimir
12:00hs Mini-prova 2 (Ass.: 6-10)
(sala: D005)
28
13 16-set (aula a partir de 13hs) Aritmética Modular
Senha e F. Hash: capt. 13 Password-based login
31
14 18-set Aula
(aula até 19hs) Teorema Chinês do Resto
O pequeno teorema de Fermat e teste de primalidade
para imprimir
34
15 23-set Aula
O pequeno teorema de Fermat e teste de primalidade
36
16 25-set 12:00hs Primeira Prova (Ass.: 1-15)
(sala D005)
39
17 30-set Relações: definições, propriedades
para imprimir
41
18 02-out Relações n-árias
Combinando relações
43
19 07-out Representando relações
Fechos de uma relação
Para imprimir
46
20 09-out Relações de equiv.
Para imprmir
49
21 14-out Ordenações parciais
Ordem Lexicográfica

52
22 16-out Diagrama de Hasse
Reticulados
12:00hs Mini-prova 3 (Ass.: 17-20)
(sala: D005)
55
23 21-out Grafos: definições e terminologia
58
24 23-out Grafos: represent. e isomorfismo
61
28-out Conectividade
Grafos com pesos
63
25 30-out Grafos: caminho e circuito euleriano e hamiltoniano
64
26 04-nov Planaridade
Coloração
66
27 06-nov Árvores: definições, terminologia, propriedades
Árvores binárias de busca
Caminhamento em árvores
12:00hs Mini-prova 4 (Ass.: 21-25)
(sala: D005)
68
28 11-nov Árvores Geradoras
70
29 18-nov Revisao
questoes
72
30 20-nov (12:00hs) Segunda Prova (ass: 17-29)
(sala: D005)
75
25-nov Segunda Chamada (NA HORA DA AULA) 75
02-dez Prova Final (Na hora da aula) 75


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