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)

Segundo Semestre de 2007

Horário e local

Turmas 1C e 1E (Sala D005)
  3a Feira, de 16h às 18h
  5a Feira, de 14h às 16h

Professora

Anjolina Grisi de Oliveira

Monitores

George Augusto Valenca Santos, Bruno Morato da Costa Ribeiro, Camila Ascendina Nunes, Felipe Kuhner Camara dos Santos, Maira Tavares de Melo Araujo, Maryane Chagas Barbosa, Nelson Gutemberg Rocha da Silva.

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 18-set Apresentação do Curso
Provas e Proposições 		02
2 20-set Noções básicas sobre conjuntos
Operações sobre conjuntos
Paradoxo do barbeiro 		04
3 25-set Noções básicas sobre funções e relações.
Seqüências.
06
4 28-set Cardinalidade e Enumerabilidade (Cantor1) (Cantor2)
Crescimento de função (lin k1, link2, link3)
 08
5 02-out Métodos de Prova e Indução Matemática
10
6 04-out Indução Matemática (Cont.)
 12
7 09-out Definições Recursivas
12:00 hs Mini-prova 1 (Ass.: 1-6,salas: D005-ciencia e D004-engenharia) 		15
8 11-out Torre de Hanói
(Programa: Torre de Hanói)
Motivação: contar!
 17
9 16-out O número de subconjuntos ordenados e
o número de subconjuntos
 para imprimir Mini-prova passada
19
10 18-out Teorema binomial
Triângulo de Pascal
 21
11 23-out Inclusão-Exclusão Notas Aula
para imprimir
O Princípio da Casa de Pombos Notas Aula
para imprimir 		23
25-out Reuniao Planejamento - CIn
12 30-out Teoria dos números: motivação: Criptografia
(Transparências sobre Matemática para Segurança: aqui)
25
13 01-nov Números Primos e Divisibilidade
Notas Aula
para imprimir
12:00 hs Mini-prova 2 (Ass.: 6-11; salas: D004- eng. e D005-ciencia) 		28
14 06-nov Algoritmo de Euclides
Aritmética Modular
Aula
para imprimir
 30
15 08-nov (aula a partir de 13hs) Aritmética Modular
Senha e F. Hash: capt. 13 Password-based login 		33
16 13-nov Aula
(aula até 19hs) Teorema Chinês do Resto
O pequeno teorema de Fermat e teste de primalidade
para imprimir
 36
17 20-nov Relações: definições, propriedades
para imprimir
Relações n-árias
 38
18 22-nov Combinando relações
 40
19 27-nov Introdução a fechos de uma relação
12:00hs Primeira Prova (Ass.: 1-16)
(salas: D004: Engenharia; D005: Ciencia) 		44
20 29-nov Palestra sobre Banco de Dados
 46
21 04-dez Representando relações
Fechos de uma relação
i Para imprimir 		48
22 06-dez Relações de equiv.
Para imprmir 		50
23 11-dez Ordenações parciais
Ordem Lexicográfica
52
24 13-dez (aula até 13hs) Diagrama de Hasse
Reticulados
 54
25 18-dez Grafos: definições e terminologia
56
26 20-dez Grafos: represent. e isomorfismo
 59
27 03-jan (aula a partir das 13 hs) Conectividade
Grafos com pesos
Grafos: caminho e circuito euleriano e hamiltoniano
12:00hs Mini-prova 3 (Ass.: 17-24)
(salas: D004: Engenharia; D005: Ciencia) 		62
28 08-jan Planaridade
Coloração
64
29 10-jan Árvores: definições, terminologia, propriedades
Árvores binárias de busca
Caminhamento em árvores
12:00hs Mini-prova 4 (Ass.: 25-28)
(salas: D004: Engenharia; D005: Ciencia) 		67
30 15-jan (aula ate 19 hs) Árvores Geradoras
70
31 17-jan Revisao
73
32 22-jan (12:00hs) Segunda Prova (ass: 17-31)
(salas: D004: Engenharia; D005: Ciencia)		 75
24-jan Segunda Chamada (NA HORA DA AULA) 75
29-jan Prova Final (Na hora da aula) 75


Última atualização: 12 de Junho, 07:02pm GMT-3