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

Matemática Discreta (IF670)

Primeiro Semestre de 2015

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

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

17-Mar

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

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

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

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

31-Mar
Seqüências.
Cardinalidade e Enumerabilidade (Cantor1) (Cantor2)
Racionais

02-Abr

Quinta-feira Santa

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

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

14-Abr
Torre de Hanói
(Programa: Torre de Hanói)
Fibonacci
Motivação: contar!
Exemplos
12:00hs Mini-prova 1
(SALA D005)

16-Abr
O número de subconjuntos ordenados e
o número de subconjuntos
para imprimir Mini-prova passada

21-Abr

Tiradentes - Feriado nacional

23-Abr
Teorema binomial
Triângulo de Pascal

28-Abr
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)

30-Abr
Números Primos e Divisibilidade
Notas Aula
para imprimir
NOVO

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

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

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

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

19-Mai
Relações: definições, propriedades
para imprimir

21-Mai
Relações n-árias
Combinando relações
lista

26-Mai
Primeira Prova
(10-13h : SALA D005)

24-Jun

São João

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

02- Jun
Relações de equiv.
Para imprmir

04-Jun

Corpus Christ

09- Jun
Ordenações parciais
Ordem Lexicográfica

11- Jun
Diagrama de Hasse
Reticulados

16- Jun
Grafos: introdução
Grafos: definições e terminologia

12:00hs Mini-prova 3
(SALA D005)

18- Jun
Grafos: represent. e isomorfismo
Conectividade
Grafos com pesos

23-Jun
Grafos: conectividade
Grafos: caminho e circuito euleriano e hamiltoniano

25-Jun
Planaridade
Coloração

30-Jun
Árvores: definições, terminologia, propriedades

Árvores binárias de busca
Caminhamento em árvores

02-Jul
Caminhamento em árvores

12:00hs Mini-prova 4
(SALA D005)

07-Jul
Revisao
questoes

09-Jul
Segunda Prova (07:30-10:30H: SALA D005)

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

16-Jul
Entrega das Provas

21-Jul
Revisao

23-Jul
Prova Final - Na hora da aula


Última atualização: 11 de Mar, 20:10 pm GMT-3