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

Matemática Discreta (IF670)

Segundo Semestre de 2019

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

Clodes Fernando de Morais Silva, Aline Maria Tenorio Gouveia, Joćo Pedro Henrique Santos Duarte, Joćo Victor de Barros Felix , Magnon Paulino Ramos de Souza, Pedro Costa Santos Basilio , Pedro Tenorio Lemos , Tiago de Barros Moraes.

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

07-Ago

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

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

14-Ago
Paradoxo do barbeiro
Operações sobre conjuntos

16-Ago
Operações sobre conjuntos
Noções básicas sobre funções e relações.

21-Ago
Seqüências.
Cardinalidade e Enumerabilidade (Cantor1) (Cantor2)
Racionais

23-Ago
Métodos de Prova e Indução Matemática

28-Ago
Mini-prova 1

30-Ago
Indução Matemática

04-Set
Definições Recursivas
PG
Torre de Hanói
(Programa: Torre de Hanói)
Fibonacci

06-Set
Motivação: contar!
Exemplos
O número de subconjuntos ordenados e
o número de subconjuntos
para imprimir Mini-prova passada

11-Set
Teorema binomial
Triângulo de Pascal

13-Set
Inclusão-Exclusão Notas Aula
para imprimir
O Princípio da Casa de Pombos Notas Aula
para imprimir
Mini-prova 2

18-Set
Teoria dos números: motivação: Criptografia
(Transparências sobre Matemática para Segurança: aqui)
Números Primos e Divisibilidade
Notas Aula
para imprimir
NOVO

20-Set
Números Primos e Divisibilidade
Notas Aula
para imprimir
NOVO

25-Set
Algoritmo de Euclides
Aritmética Modular
Aula
para imprimir
Senha e F. Hash: capt. 13 Password-based login

27-Set
Aula
Teorema Chinês do Resto
para imprimir

02-Out
Aula
O pequeno teorema de Fermat e teste de primalidade
para imprimir

04-Out
Primeira Prova

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

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

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

18-Out
Fechos de uma relação
Para imprimir

23- Out
Relações de equiv.
Para imprmir

25-Out

Ordenações parciais

Diagrama de Hasse
Mini-prova 3

30- Out
Ordem Lexicográfica
Reticulados

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

06- Nov
Grafos: represent. e isomorfismo

08-Nov
Conectividade.ppt">Grafos: conectividade
Grafos com pesos
Grafos: caminho e circuito euleriano e hamiltoniano>
Grafos: conectividade
Grafos com pesos
Grafos: caminho e circuito euleriano e hamiltoniano>

13-Nov
Planaridade
Coloração
Mini-prova 4

20-Nov
Árvores: definições, terminologia, propriedades

Árvores binárias de busca
Caminhamento em árvores

22-Nov
Árvores binárias de busca
Caminhamento em árvores

Árvores
Revisao
questoes

27-Nov
Segunda Prova

04-Dez
Revisao

06-Dez
Segunda Chamada - Na hora da aula na sala D004

13-Dez
Prova Final


Última atualização: 02 de Ago, 11:16 am GMT-3