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 2013

Horário e local

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

Professora

Anjolina Grisi de Oliveira

Monitores

Guilherme Palma Peixoto, Aline Franciele Correia da Silva, Duhan Caraciolo Maia Souza, Larissa Navarro Passos de Araujo, Leonardo José de Andrade Costa Santos, Marlon Reghert Alves dos Santos, Rafael Acevedo de Aguiar, Tomer de Lima Simis .

Página da Monitoria

Aqui,

Bibliografia Básica

Livros-texto

Literatura complementar

Material sobre proposições e provas

aqui (fonte: CS 70, Spring 2005 Discrete Mathematics for Computer Science)

Listas e provas

lista-tn

lista-rel - lista-ordemparcial

Prova1 gabarito

Provas Passadas

Programação de Aulas

23-Out

Apresentação do curso
Provas e Proposições

25-Out
Provas e Proposições
Noções básicas sobre conjuntos

30- Out
Paradoxo do barbeiro
Operações sobre conjuntos

01-Nov
Operações sobre conjuntos
Noções básicas sobre funções e relações.

06- Nov
Seqüências.
Cardinalidade e Enumerabilidade (Cantor1) (Cantor2)
Racionais
12:00hs Mini-prova 1
(salas D-001 e D-002)

08- Nov
Métodos de Prova e Indução Matemática

13- Nov
Métodos de Prova e Indução Matemática
Definições Recursivas
PG

15-Nov

FERIADO

20-Nov
Torre de Hanói
(Programa: Torre de Hanói)
Fibonacci
Motivação: contar!
Exemplos
12:00hs Mini-prova 2
(salas D-001 e D-002)

22- Nov
O número de subconjuntos ordenados e
o número de subconjuntos
para imprimir Mini-prova passada

27- Nov
Teorema binomial
Triângulo de Pascal

29- Nov
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)

04-Dez
Números Primos e Divisibilidade
Notas Aula
para imprimir
NOVO
12:00hs Mini-prova 3
(salas D-001 e D-002)

06- Dez
Algoritmo de Euclides
Aritmética Modular
Aula
para imprimir

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

13- Dez
Aula
Teorema Chinês do Resto
O pequeno teorema de Fermat e teste de primalidade
para imprimir
12:00hs Mini-prova 4
(salas D-001 e D-002)

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

20- Dez
Exercícios de Revisão

08- Jan
Exercícios de Revisão

10- Jan
Primeira Prova
(12-15h : ANFITEATRO)

15- Jan
Relações: definições, propriedades
para imprimir

17-Jan
Relações n-árias
Combinando relações
lista

22- Jan
Representando relações
Fechos de uma relação
Para imprimir

24- Jan
Relações de equiv.
Para imprmir
12:00hs Mini-prova 5
(salas D-001 e D-002)

29- Jan
Ordenações parciais
Ordem Lexicográfica

31- Jan
Diagrama de Hasse
Reticulados

05- Fev
Grafos: introdução
Grafos: definições e terminologia

12:00hs Mini-prova 6
(salas D-001 e D-002)

07- Fev
Grafos: represent. e isomorfismo
Conectividade
Grafos com pesos

12-Fev
Grafos: conectividade
Grafos: caminho e circuito euleriano e hamiltoniano
12:00hs Mini-prova 7
(salas D-001 e D-002)

14-Fev
Planaridade
Coloração

19-Fev
Árvores: definições, terminologia, propriedades

Árvores binárias de busca
Caminhamento em árvores

21-Fev
Caminhamento em árvores

12:00hs Mini-prova 8
(salas D-001 e D-002)

26-Fev
Revisao
questoes

28-Fev
Segunda Prova (12-15h: ANFITEATRO)

05-Mar
Segunda Chamada (NA HORA DA AULA na sala)

07-Mar
Entrega das Provas

12-Mar
Prova Final - Na hora da aula


Última atualização: 23 de Outubro, 09:12am GMT-3