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

Turmas 1C e 1E (Sala 8)
  3a Feira, de 10h às 12h
  5a Feira, de 08h às 10h

Professora

Anjolina Grisi de Oliveira

Monitores

Everton Guerra, Arthur G. de Carvalho, Bruno Filipe de Oliveira Lins, Daniel Monteiro do Nascimento, Gabriel França.

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

lista-tn

lista-rel - lista-ordemparcial

Prova1 gabarito

Programação de Aulas

Aula
Data
Assunto
Horas Acum.
1 19-abr Apresentação do Curso
Provas e Proposições
02
21-abr FERIADO: Tiradentes 02
2 26-abr Noções básicas sobre conjuntos
04
3 28-abr Operações sobre conjuntos
Noções básicas sobre funções e relações.
06
4 03/mai Seqüências.
Cardinalidade e Enumerabilidade (Cantor)
08
5 05-mai Crescimento de função 10
6 10-mai Métodos de Prova
Indução Matemática
Mini-prova 1 (Ass.: 1-4)
13
7 12-mai Definições Recursivas 15
8 17-mai Motivação: contar! 17
9 19-mai O número de subconjuntos
O número de subconjuntos ordenados
Mini-prova 2 (Ass.: 5-7)
20
10 24-mai Inclusão-Exclusão
O Princípio da Casa de Pombos
22
  26-mai FERIADO: Corpus Christi 24
11 31-mai Triângulo de Pascal: teorema binomial 26
12 02-jun Números de Fibonacci
28
13 07-jun Números Primos e Divisibilidade
Algoritmo de Euclides
30
09-jun Semana Pedagógica 32
14 14-jun Aritmética Modular 34
15 16-jun Aritmética Modular
Mini-prova 3 (Ass.: 8-13)
37
16 21-jun Princípios de Criptografia 39
17 23-jun Aritmética Modular 41
18 28-jun Teorema Chinês do Resto 43
19 30-jun Relações: definições, propriedades, operações 45
20 05-jul Primeira Prova (ass: 1-18) 47
21 07-jul Combinando relações
Relações n-árias
49
22 12-jul Representando relações
51
23 14-jul Fechos de uma relação
53
24 19-jul Relações de equiv.
55
25 21-jul Ordenações parciais
Ordem Lexicográfica
57
26 26-jul Diagrama de Hasse
Reticulados
Mini-prova 4 (Ass.: 19-24 e 2-3)
60
27 28-jul Grafos: definições e terminologia 62
28 02-ago Grafos: represent. e isomorfismo
Conectividade
64
29 04-ago Grafos: caminho e circuito euleriano e hamiltoniano
Mini-prova 5 (Ass.: 25-27)
67
30 09-ago Grafos com pesos e caminho mais curto
Planaridade e coloração
69
31 11-ago Árvores: definições, terminologia, propriedades 71
32 16-ago Árvores binárias de busca
Caminhamento em árvores
73
33 18-ago Segunda Prova 75
19-ago Segunda Chamada (sala M1, 12-14 hs) 75
25-ago Prova Final 75


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