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 2011

Horário e local

Turmas 1C e 1E (Sala D003)
  4a Feira, de 15h às 17h
  6a Feira, de 13h às 15h

Professora

Anjolina Grisi de Oliveira

Monitores

Victor Hugo Maristane de Andrade , Alberto Trindade Tavares, Gisely Cristiane da Costa Melo, Jose Araujo da Silva Neto, Roberta Cabral Mota, Thiago Borges Jordani, Vinícius Henrique C de Oliveira.

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

10-Ago

Provas e Proposições

12-Ago
Noções básicas sobre conjuntos
Paradoxo do barbeiro
Operações sobre conjuntos

17-Ago
Operações sobre conjuntos
Noções básicas sobre funções e relações.

19-Ago
Seqüências.
Cardinalidade e Enumerabilidade (Cantor1) (Cantor2)
Racionais
Crescimento de função (lin k1, link2, link3)

24-Ago
Crescimento de função
Métodos de Prova e Indução Matemática

26-Ago
Métodos de Prova e Indução Matemática
Definições Recursivas
PG
12:00hs Mini-prova 1
(Salas D001/D002)

31-Ago
Torre de Hanói
(Programa: Torre de Hanói)
Fibonacci
Motivação: contar!
Exemplos

02-Set
O número de subconjuntos ordenados e
o número de subconjuntos
para imprimir Mini-prova passada

09-Set
Teorema binomial
Triângulo de Pascal

14-Set
Inclusão-Exclusão Notas Aula
para imprimir
O Princípio da Casa de Pombos Notas Aula
para imprimir
Teoria dos números: motivação: Criptografia
(Transparências sobre Matemática para Segurança: aqui)

16-Set
Números Primos e Divisibilidade
Notas Aula
para imprimir
12:00hs Mini-prova 2
(anfiteatro)

21-Set
Algoritmo de Euclides
Aritmética Modular
Aula
para imprimir

23-Set
Aritmética Modular
Senha e F. Hash: capt. 13 Password-based login

28-Set
Aula
Teorema Chinês do Resto
O pequeno teorema de Fermat e teste de primalidade
para imprimir

30-Set
Primeira Prova
(horário: 13-15h - Salas: D-003 / D-220 / D-226)

05-Out
Relações: definições, propriedades
para imprimir

07-Out
Relações n-árias
Combinando relações
lista

14-Out
Representando relações
Fechos de uma relação
Para imprimir

19-Out
Relações de equiv.
Para imprmir

21-Out
Ordenações parciais
Ordem Lexicográfica

26-Out
Diagrama de Hasse
Reticulados
12:00hs Mini-prova 3
(anfiteatro)

28-Out
FERIADO

04-Nov
Grafos: definições e terminologia

09-Nov
Grafos: represent. e isomorfismo

11-Nov
Conectividade
Grafos com pesos

16-Nov
Grafos: caminho e circuito euleriano e hamiltoniano
12:00hs Mini-prova 4
(anfiteatro)

18-Nov
Planaridade
Coloração

23-Nov
Árvores: definições, terminologia, propriedades
Árvores binárias de busca
Caminhamento em árvores

25-Nov
Árvores Geradoras

30-Nov
Revisao
questoes

02-Dez
Revisao
questoes

07-Dez
Revisao
questoes

12-Dez
Segunda Prova (12h - ANFITEATRO)

14-Dez
Segunda Chamada (NA HORA DA AULA na sala)

16-Dez
Prova Final - Na hora da aula


Última atualização: 09 de Agosto, 09:20am GMT-3