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 2005

Horário e local

Turma 1C (Sala 8)
  3a Feira, de 16h às 19h
  5a Feira, de 14h às 17h

Professora

Anjolina Grisi de Oliveira

Monitores

Everton Guerra, André Barros Braga, Arthur G. de Carvalho, Gleibson Rodrigues Silva de Oliveira, Thiago Arruda Neves,

Página da Monitoria

Aqui,

Regras gerais para condução da disciplina

aqui

Notas 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

Notas 8

lista-tn

lista-rel - lista-ordemparcial

Programação de Aulas

Aula
Data
Assunto
Horas Acum.
1 20-set Apresentação do Curso
Provas e Proposições

Noções básicas sobre conjuntos
03
2 22-set Noções básicas sobre conjuntos (cont.)
Operações sobre conjuntos
Noções básicas sobre funções e relações.
06
3 27-set Seqüências.
Cardinalidade e Enumerabilidade (Cantor1)
(Cantor2)
09
4 29-set Crescimento de função (link1, link2, link3)
Métodos de Prova
Indução Matemática
13
5 04-out Definições Recursivas (Torre de Hanói)
Números de Fibonacci
Motivação: contar!
O número de subconjuntos
Mini-prova 1 (Ass.: 1-4)
17
6 06-out O número de subconjuntos ordenados
Inclusão-Exclusão
21
7 11-out Triângulo de Pascal
Triângulo de Pascal: teorema binomial
24
8 13-out Inclusão-Exclusão (cont.)
O Princípio da Casa de Pombos
27
9 18-out Números Primos e Divisibilidade
Criptografia
Algoritmo de Euclides
Mini-prova 2 (Ass.: 5-8)
31
10 20-out Aritmética Modular
Teorema Chinês do Resto
35
11 25-out Aritmética Modular 38
12 27-out Primeira Prova (ass: 1-11; salas 8 e 4) 40
13 01-nov Relações: definições, propriedades, operações 44
14 03-nov Combinando relações
Relações n-árias
Representando relações
48
15 08-nov Fechos de uma relação
52
16 10-nov Relações de equiv.
Rev. prova
56
  15-nov FERIADO 56
17 17-nov Ordenações parciais
Diagrama de Hasse
Reticulados
Grafos: definições e terminologia
Mini-prova 3 (Ass.: 13-16)
61
18 22-nov Grafos: isomorfismo
Grafos: represent.
Conectividade
65
19 24-nov Grafos: caminho e circuito euleriano e hamiltoniano
Grafos com pesos e caminho mais curto
69
20 29-nov Planaridade
Coloração
Árvores:
Definições, terminologia e propriedades
Árvores binárias de busca
Caminhamento em árvores
Mini-prova 4 (Ass.: 17-19)
73
21 01-dez Segunda Prova (salas 8 e 4) 75
22 02-dez Segunda chamada(salas 4: 08:30-10:30hs) 75
06-dez Prova Final 75


Última atualização: 13 de Junho de 2005, 10:45:04