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 2006

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

Everton Guerra, Alana Brito Alves da Silva, Andre Barros Braga, Bruno Morato da Costa Ribeiro, George Augusto Valenca Santos, Thiago Arruda Neves.

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

Programação de Aulas

Grafos com pesos
Aula
Data
Assunto
Horas Acum.
1 14-nov Apresentação do Curso
Provas e Proposições
02
2 21-nov Noções básicas sobre conjuntos
Operações sobre conjuntos
Noções básicas sobre funções e relações.
04
3 23-nov (aula: 13 hs) Seqüências.
Cardinalidade e Enumerabilidade (Cantor1)
(Cantor2)
07
4 28-nov Crescimento de função (lin k1, link2, link3)
09
5 30-nov (aula: 13hs) Métodos de Prova
Indução Matemática
12
6 05-dez Definições Recursivas (Torre de Hanói)
12:30 hs Mini-prova 1 (Ass.: 1-5,salas: D005-ciencia e D004-engenharia)
15
7 07-dez (aula: 13 hs) Motivação: contar!
O número de subconjuntos
18
8 12-dez O número de subconjuntos ordenados
Inclusão-Exclusão
20
9 14-dez (aula 13hs) Triângulo de Pascal
Triângulo de Pascal: teorema binomial
23
10 19-dez Inclusão-Exclusão (cont.) Notas
O Princípio da Casa de Pombos Notas
25
11 21-dez Números de Fibonacci
Números Primos e Divisibilidade
12:30 hs Mini-prova 2 (Ass.: 5-9; salas: D004- eng. e D005-ciencia)
28
12 16-jan Algoritmo de Euclides
Aritmética Modular
30
13 18-jan (aula 13hs) Aritmética Modular
33
14 23-jan Teorema Chinês do Resto 35
15 25-jan (aula: 13 hs) Relações: definições, propriedades, operações 38
16 30-jan Primeira Prova (Ass.: 1-14) 40
17 01-fev (aula: 13 hs) Combinando relações
Relações n-árias
43
18 06-fev Representando relações
45
19 08-fev (aula: 13 hs) Fechos de uma relação
48
20 13-fev Relações de equiv.
50
21 15-fev (aula: 13 hs) Ordenações parciais
Ordem Lexicográfica

53
22 22-fev Diagrama de Hasse
Reticulados
55
23 27-fev Grafos: definições e terminologia
Mini-prova 3 (Ass.: 15-22)
58
24 01-mar Grafos: represent. e isomorfismo
60
25 06-mar Conectividade
Grafos: caminho e ci rcuito euleriano e hamiltoniano
62
26 08-mar Planaridade
64
27 13-mar Coloração
Árvores: definições, terminologia, propriedades
Mini-prova 4 (transferida para 14-mar)
67
27 14-mar Aula de rev. com monitores p/ Mini-prova 4 (12:00 hs)
Mini-prova 4
67
28 15-mar Árvores: definições, terminologia, propriedades
69
28 20-mar Árvores binárias de busca
Caminhamento em árvores
71
28 22-mar Provas passadas - 1
Provas passadas - 2
73
29 27-mar Segunda Prova (ass: 15-28) 75
29-mar Segunda Chamada 75
03-abr Prova Final 75


Última atualização: 28 de Novembro, 07:08 GMT-3