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

Matemática Discreta (IF670)

Segundo Semestre de 2017

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

Valdemiro Rosa Vieira Santos, Ana Beatriz Cavalcanti Ribeiro, Clodes Fernando de Morais Silva, Geovanny Lucas de Lima Paulino, Joćo Rafael da Silva Faria, Joćo Victor de Barros Felix , Pedro Kempter Brant , Thiago Melo Delgado Azevedo , Tiago da Silva Barros.

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

09-Ago

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

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

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

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

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

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

30-Ago
Indução Matemática

01-Set
Definições Recursivas
PG
Torre de Hanói
(Programa: Torre de Hanói)
Fibonacci
Mini-prova 1
(SALA)

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

08-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

15-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

22-Set
Algoritmo de Euclides
Aritmética Modular
Aula
para imprimir
Mini-prova 2
(SALA)

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

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

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

06-Out
Primeira Prova
(12:00h-15:00h: SALA DE AULA)

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

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

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

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

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

27-Out

Ordenações parciais

Diagrama de Hasse
Mini-prova 3
(SALA DE AULA)

01- Nov
Ordem Lexicográfica
Reticulados

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

08- Nov
Grafos: represent. e isomorfismo

10-Nov
Grafos: conectividade
Grafos com pesos
Grafos: caminho e circuito euleriano e hamiltoniano>
Mini-prova 4
(SALA DE AULA)

15-Nov

Feriado

17-Nov
Planaridade
Coloração

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

Árvores binárias de busca
Caminhamento em árvores

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

Revisao
questoes

29-Nov
Segunda Prova (sala D003)

01-Dez
Revisao

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

08-Dez
FERIADO

15-Dez
Prova Final - Na hora da aula na sala D003


Última atualização: 09 de Ago, 09:45 am GMT-3