Universidade Federal de Pernambuco (UFPE)
Centro de Informática (CIn)
Graduação em Engenharia da Computação

Matemática Discreta (IF670)

Primeiro Semestre de 2014

Horário e local

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

Professora

Anjolina Grisi de Oliveira

Monitores

Duhan Caraciolo Maia Souza, Aline Franciele Correia da Silva, 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

01-Abr

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

03-Abr
Provas e Proposições
Noções básicas sobre conjuntos

08- Abr
Paradoxo do barbeiro
Operações sobre conjuntos

10-Abr
Operações sobre conjuntos
Noções básicas sobre funções e relações.

15- Abr
Seqüências.
Cardinalidade e Enumerabilidade (Cantor1) (Cantor2)
Racionais
12:00hs Mini-prova 1
(ANFITEATRO)

17-Abr

Quinta-feira Santa

22- Abr
Métodos de Prova e Indução Matemática

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

29-Abr
Torre de Hanói
(Programa: Torre de Hanói)
Fibonacci
Motivação: contar!
Exemplos
12:00hs Mini-prova 2
(ANFITEATRO)

01-Mai

FERIADO: Dia do trabalhador

06-Mai
O número de subconjuntos ordenados e
o número de subconjuntos
para imprimir Mini-prova passada

08-Mai
Teorema binomial
Triângulo de Pascal

13-Mai
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)

15-mai
Números Primos e Divisibilidade
Notas Aula
para imprimir
NOVO
12:00hs Mini-prova 3
(sala D-005)

20-Mai
Algoritmo de Euclides
Aritmética Modular
Aula
para imprimir

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

27-Mai
Aula
Teorema Chinês do Resto
O pequeno teorema de Fermat e teste de primalidade
para imprimir
12:00hs Mini-prova 4
(ANFITEATRO)

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

03- Jun
Relações: definições, propriedades
para imprimir

05-Jun
Relações n-árias
Combinando relações
lista

10- Jun
Primeira Prova
(10-13h : SALA D004)

12-Jun

Copa: Jogo do Brasil

17-Jun

Copa: sem aula

19-Jun

Corpus Christ

24-Jun

São João

26-Jun

Copa: Jogo na Arena Pernambuco

01- Jul
Representando relações
Fechos de uma relação
Para imprimir

03- Jul
Relações de equiv.
Para imprmir
12:00hs Mini-prova 5
(ANFITEATRO)

08- Jul
Ordenações parciais
Ordem Lexicográfica

10- Jul
Diagrama de Hasse
Reticulados

15- Jul
Grafos: introdução
Grafos: definições e terminologia

12:00hs Mini-prova 6
(ANFITEATRO)

17- Jul
Grafos: represent. e isomorfismo
Conectividade
Grafos com pesos

22-Jul
Grafos: conectividade
Grafos: caminho e circuito euleriano e hamiltoniano
12:00hs Mini-prova 7
(sala D-005)

24-Jul
Planaridade
Coloração

29-Jul
Árvores: definições, terminologia, propriedades

Árvores binárias de busca
Caminhamento em árvores

31-Jul
Caminhamento em árvores

12:00hs Mini-prova 8
(ANFITEATRO)

05-Ago
Revisao
questoes

07-Ago
Segunda Prova (07:30-10:30H: ANFITEATRO)

12-Ago
Segunda Chamada (NA HORA DA AULA na sala)

14-Ago
Entrega das Provas

19-Ago
Prova Final - Na hora da aula


Última atualização: 25 de Mar, 21:42am GMT-3