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

Matemática Discreta (IF670)

Primeiro Semestre de 2020

Horário e local

Turmas 1C e 1E (Sala D003)
  3a Feira, de 10h às 12h
  5a Feira, de 08h às 10h

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.

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

03-Mar

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

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

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

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

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

19-Mar
Métodos de Prova e Indução Matemática
Mini-prova 1

24-Mar
Indução Matemática

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

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

02-Abr
O número de subconjuntos ordenados e
o número de subconjuntos
para imprimir

07-Abr
Mini-prova 2
(Na hora da aula)

09-Abr
Feriado

14-Abr
Teorema binomial
Triângulo de Pascal

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

21-Abr
Feriado

23-Abr
Aula de exerc. de rev.

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

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
Aula
Teorema Chinês do Resto
O pequeno teorema de Fermat e teste de primalidade
para imprimir

12-Mai
Primeira Prova

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

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

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

26-Mai
Relações de equiv.
Para imprmir

28-Mai

Ordenações parciais

Diagrama de Hasse

02- Jun
Ordem Lexicográfica
Reticulados

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

09-Jun
Mini-prova 3
(Na hora da aula)

11-Jun
Feriado

16- Jun
Grafos: represent. e isomorfismo
Grafos: conectividade
Grafos com pesos
Grafos: caminho e circuito euleriano e hamiltoniano>

18-Jun
Planaridade
Coloração
Mini-prova 4: na segunda metade da aula

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

30-Jun
Árvores binárias de busca
Caminhamento em árvores
Revisao
questoes

02-Jul
Segunda Prova

07-Jul
Aula de exerc. e entrega das provas

09-Jul
Segunda Chamada - Na hora da aula na sala

16-Jul
Prova Final - Na hora da aula na sala


Última atualização: 14 de Fev, 10:44 am GMT-3