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 2008

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

Nelson Gutemberg Rocha da Silva, Arthur Rizzo, Denise Jaeger Tenorio, Felipe Arruda, Felipe Kuhner Camara dos Santos, Lais Souza de Andrade, Luiz Felipe, Maira Tavares de Melo Araujo, Ruan Vasconcelos Bezerra Carvalho.

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
(Programa: Torre de Hanói)
Motivação: contar!
12:00hs Mini-prova 1 (Ass.: 1-6)
(salas: D004: Engenharia; D005: Ciencia) 		15
8 28-ago O número de subconjuntos ordenados e
o número de subconjuntos
 para imprimir Mini-prova passada
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
12:00hs Mini-prova 2 (Ass.: 6-10)
(salas: D004: Engenharia; D005: Ciencia) 		25
12 11-set Algoritmo de Euclides
Aritmética Modular
Aula
para imprimir
 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)
(salas: D004: Engenharia; D005: Ciencia) 		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
12:00hs Mini-prova 3 (Ass.: 17-20)
(salas: D004: Engenharia; D005: Ciencia) 		49
21 14-out Ordenações parciais
Ordem Lexicográfica
52
22 16-out Diagrama de Hasse
Reticulados
 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
12:00hs Mini-prova 4 (Ass.: 20-24)
(salas: D004: Engenharia; D005: Ciencia) 		64
26 04-nov Planaridade
Coloração
66
27 06-nov Árvores: definições, terminologia, propriedades
Árvores binárias de busca
Caminhamento em árvores
 68
28 11-nov Árvores Geradoras
70
29 18-nov Revisao
questoes
72
30 20-nov (12:00hs) Segunda Prova (ass: 17-29)
(salas: D004: Engenharia; D005: Ciencia)		 75
25-nov Segunda Chamada (NA HORA DA AULA) 75
27-nov Prova Final (Na hora da aula) 75


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