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

Matemática Discreta (IF670)

Segundo Semestre de 2015

Horário e local

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

Professora

Anjolina Grisi de Oliveira

Monitores

Geovanny Lucas de Lima Paulino, Mariana da Silva Barros, Aline Franciele Correia da Silva, Caio Lima, Gabriela Araujo Britto, João Paulo Pinto Galdino Marques, Tancredo José Santos de Souza Júnior, Victor Duarte Diniz Monteiro,.

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

26-Ago

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

28-Ago
Provas e Proposições
Noções básicas sobre conjuntos

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

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

09-Set
Seqüências.
Cardinalidade e Enumerabilidade (Cantor1) (Cantor2)
Racionais

11-Set
Métodos de Prova e Indução Matemática

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

18-Set
Torre de Hanói
(Programa: Torre de Hanói)
Fibonacci
Motivação: contar!
Exemplos
12:30h - 13:30h Mini-prova 1
(ANFITEATRO)

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

25-Set
Teorema binomial
Triângulo de Pascal

30-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)

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

12:30h-13:30h Mini-prova 2
(ANFITEATRO)

07-Out
Algoritmo de Euclides
Aritmética Modular
Aula
para imprimir

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

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

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

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

23-Out
Primeira Prova
(12:30h-15:00h: ANFITEATRO)

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

30-Out

Ponto facultativo: dia do servidor publico

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

06- Nov
Relações de equiv.
Para imprmir

11-Nov

Ordenações parciais

13- Nov
Ordenações parciais
Ordem Lexicográfica

12:03h- 13:30h Mini-prova 3
(ANFITEATRO)

18- Nov
Diagrama de Hasse
Reticulados

20- Nov
Grafos: introdução
Grafos: definições e terminologia

25- Nov
Grafos: represent. e isomorfismo
Conectividade
Grafos com pesos

27-Nov
Grafos: conectividade
Grafos: caminho e circuito euleriano e hamiltoniano
12:03h- 13:30h Mini-prova 4
(ANFITEATRO)

02-Dez
Planaridade
Coloração

04-Dez
Árvores: definições, terminologia, propriedades

Árvores binárias de busca
Caminhamento em árvores

09-Dez
Caminhamento em árvores
Revisao
questoes

11-Dez
Segunda Prova (12:30-15:00h: ANFITEATRO)

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

18-Dez
Entrega das provas

13-Jan
Revisao

15-Jan
Revisao

20-Jan
Prova Final - Na hora da aula


Última atualização: 21 de Ago, 10:10 am GMT-3