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

Matemática Discreta (IF670)

Segundo Semestre de 2018

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

Clodes Fernando de Morais Silva, Aline Maria Tenorio Gouveia, João Rafael da Silva Faria, João Victor de Barros Felix , Magnon Paulino Ramos de Souza, Pedro Costa Santos Basilio , Tiago de Barros Moraes, Valdemiro Rosa Vieira Santos.

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

15-Ago

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

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

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

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

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

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

30-Ago
Indução Matemática

05-Set
Definições Recursivas
PG
Torre de Hanói
(Programa: Torre de Hanói)
Fibonacci
Mini-prova 1
(12h-13h: NA SALA D005)

07-Set

Feriado

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

14-Set
Teorema binomial
Triângulo de Pascal

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

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

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

28-Set
Algoritmo de Euclides
Aritmética Modular
Aula
para imprimir
Mini-prova 2
(12h- 13h: NA SALA D005)

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

05-Out
Aritmética Modular

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

12-Out

Feriado

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

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

24-Out
Primeira Prova
(D003: no horário da aula)

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

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

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

02-Nov

Feriado

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

09-Nov

Ordenações parciais

Diagrama de Hasse

14- Nov
Ordem Lexicográfica
Reticulados

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

21- Nov
Grafos: represent. e isomorfismo

23-Nov
AULA: 12h - 14h
Mini-prova 3: 14h - 15h -NA SALA D003
Grafos: conectividade
Grafos com pesos
Grafos: caminho e circuito euleriano e hamiltoniano>

28-Nov
Planaridade
Coloração

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

Árvores binárias de busca
Caminhamento em árvores
Mini-prova 3
(13h: NA SALA D003)

05-Dez
Árvores binárias de busca
Caminhamento em árvores

Revisao
questoes

07-Dez
Segunda Prova (sala D003, 12H-15H)

12-Dez
Revisao

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

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


Última atualização: 26 de Jul, 10:47 am GMT-3