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

Matemática Discreta (IF670)

Segundo Semestre de 2014

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

Mariana da Silva Barros, Aline Franciele Correia da Silva, Caio Lima, Geovanny Lucas de Lima Paulino, Marlon Reghert Alves dos Santos, 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

17-Set

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

19-Set
Provas e Proposições
Noções básicas sobre conjuntos

24- Set
Paradoxo do barbeiro
Operações sobre conjuntos

26-Set
Operações sobre conjuntos
Noções básicas sobre funções e relações.

01- Out
Seqüências.
Cardinalidade e Enumerabilidade (Cantor1) (Cantor2)
Racionais

03- Out
Métodos de Prova e Indução Matemática

12:00hs Mini-prova 1
(ANFITEATRO)

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

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

15-Out
O número de subconjuntos ordenados e
o número de subconjuntos
para imprimir Mini-prova passada

17-Out
Teorema binomial
Triângulo de Pascal

22-Out
Inclusão-Exclusão Notas Aula
para imprimir
O Princípio da Casa de Pombos Notas Aula
para imprimir

24-Out
Teoria dos números: motivação: Criptografia
(Transparências sobre Matemática para Segurança: aqui)

29-Out
Números Primos e Divisibilidade
Notas Aula
para imprimir
NOVO

31-Out
Algoritmo de Euclides
Aritmética Modular
Aula
para imprimir
12:00hs Mini-prova 2
(ANFITEATRO)

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

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

12- Nov
Relações: definições, propriedades
para imprimir

14-Nov
Relações n-árias
Combinando relações
lista

19-Nov
Relações n-árias
Combinando relações
lista

21- Nov
Primeira Prova
(12-15h : ANFITEATRO)

26-Nov

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

28-Nov

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

03- Dez
Representando relações
Fechos de uma relação
Para imprimir

05- Dez
Relações de equiv.
Para imprmir

10- Dez
Ordenações parciais
Diagrama de Hasse

12- Dez
Ordem Lexicográfica
Reticulados
12:00hs Mini-prova 3
(ANFITEATRO)

17- Dez
Grafos: introdução
Grafos: definições e terminologia

19- Dez
Exercícios
21-Jan
Grafos: represent. e isomorfismo

23-Jan
Grafos: conectividade
Grafos com pesos
Grafos: caminho e circuito euleriano e hamiltoniano

28-Jan
Planaridade
Coloração

30-Jan
Árvores: definições, terminologia, propriedades
12:00hs Mini-prova 4
(ANFITEATRO)

04-Fev
Árvores binárias de busca
Caminhamento em árvores

06-Fev
Segunda Prova (12:00 - 15:00H: ANFITEATRO)

11-Fev
Segunda Chamada - Na hora da aula

13-Fev
Exercícios

18-Fev

Quarta-feira de cinzas

20-Fev
Exercícios e entrega das provas

25-Fev
Prova Final - Na hora da aula


Última atualização: 27 de Ago, 17:42am GMT-3