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

George Augusto Valenca Santos, Camila Ascendina Nunes, Felipe Arruda Felipe Kuhner Camara dos Santos, Luiz Felipe Maira Tavares de Melo Araujo, Maryane Chagas Barbosa, Nelson Gutemberg Rocha da Silva. 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

Assunto visto

Aqui

Programação de Aulas

Aula
Data
Assunto
Horas Acum.
1 26-fev Apresentação do Curso
Provas e Proposições
02
2 28-fev Noções básicas sobre conjuntos
Operações sobre conjuntos
Paradoxo do barbeiro
04
3 04-mar Noções básicas sobre funções e relações.
Seqüências.
06
4 06-mar Cardinalidade e Enumerabilidade (Cantor1) (Cantor2)
Crescimento de função (lin k1, link2, link3)
08
5 11-mar Mini-prova 1 (Ass.: 1-4,salas: D218-ciencia e D004-engenharia)
12:00h
10
6 13-mar Métodos de Prova e Indução Matemática
12
7 18-mar Definições Recursivas
Torre de Hanói
(Programa: Torre de Hanói)
Motivação: contar!
15
20-mar FERIADO: Semana Santa
8 25-mar O número de subconjuntos ordenados e
o número de subconjuntos
para imprimir Mini-prova passada
18
9 27-mar Teorema binomial
Triângulo de Pascal
20
10 01-abr Inclusão-Exclusão Notas Aula
para imprimir
O Princípio da Casa de Pombos Notas Aula
para imprimir
22
11 03-abr Teoria dos números: motivação: Criptografia
(Transparências sobre Matemática para Segurança: aqui)
24
12 08-abr Números Primos e Divisibilidade
Notas Aula
para imprimir
12:00 hs Mini-prova 2 (Ass.: 6-10; salas: D004- eng. e D218-ciencia)
27
13 10-abr Algoritmo de Euclides
Aritmética Modular
Aula
para imprimir
29
14 15-abr (aula a partir de 13hs) Aritmética Modular
Senha e F. Hash: capt. 13 Password-based login
31
15 17-abr Aula
(aula até 19hs) Teorema Chinês do Resto
O pequeno teorema de Fermat e teste de primalidade
para imprimir
34
16 22-abr Relações: definições, propriedades
para imprimir
37
17 24-abr Relações n-árias
12:00hs Primeira Prova (Ass.: 1-15)
(salas: D004: Engenharia; D005: Ciencia)
40
18 29-abr Combinando relações
43
01-mai FERIADO: dia do trabalho
19 06-mai Representando relações
Fechos de uma relação
i
Para imprimir
46
20 08-mai Relações de equiv.
Para imprmir
49
21 13-mai Ordenações parciais
Ordem Lexicográfica

52
22 15-mai Diagrama de Hasse
Reticulados
55
23 20-mai Grafos: definições e terminologia
12:00hs Mini-prova 3 (Ass.: 16-22)
(salas: D004: Engenharia; D005: Ciencia)
58
24 22-mai Grafos: represent. e isomorfismo
61
25 27-mai Conectividade
Grafos com pesos
Grafos: caminho e circuito euleriano e hamiltoniano
64
26 29-mai Planaridade
Coloração
67
27 03-jun Árvores: definições, terminologia, propriedades
Árvores binárias de busca
Caminhamento em árvores
12:00hs Mini-prova 4 (Ass.: 24-27)
(salas: D004: Engenharia; D005: Ciencia)
69
28 05-jun Árvores Geradoras
71
29 10-jun Revisao
73
30 11-jun (12:00hs) Segunda Prova (ass: 17-29)
(salas: D004: Engenharia; D218: Ciencia)
75
17-jun Segunda Chamada (NA HORA DA AULA) 75
19-jun Prova Final (Na hora da aula) 75


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