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

Matemática Discreta (IF670)

Primeiro Semestre de 2013

Horário e local

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

Professora

Anjolina Grisi de Oliveira

Monitores

<Natalia Paola de Vasconcelos Cometti, Aline Franciele Correia da Silva, Diogo Rodrigues Cabral, Duhan Caraciolo Maia Souza, Gisely Cristiane da Costa Melo, Guilherme Palma Peixoto, Larissa Navarro Passos de Araujo, Leonardo José de Andrade Costa Santos Rafael Acevedo de Aguiar, Renato dos Santos Oliveira .

Página da Monitoria

Aqui,

Regras gerais para condução da disciplina

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

21-Mai

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

23-Ma1
Provas e Proposições
Noções básicas sobre conjuntos

28-Mai
Paradoxo do barbeiro
Operações sobre conjuntos

30-Mai

FERIADO: Corpus Christi

04-Jun
Operações sobre conjuntos
Noções básicas sobre funções e relações.

06-Jun
Seqüências.
Cardinalidade e Enumerabilidade (Cantor1) (Cantor2)
Racionais
12:00hs Mini-prova 1
(Sala D005)

11-Jun
Métodos de Prova e Indução Matemática

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

18-Jun
Torre de Hanói
(Programa: Torre de Hanói)
Fibonacci
Motivação: contar!
Exemplos

20-Jun
O número de subconjuntos ordenados e
o número de subconjuntos
para imprimir Mini-prova passada
12:00hs Mini-prova 2
(Sala D005)

25-Jun
Teorema binomial
Triângulo de Pascal

27-Jun
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)

02-Jul
Números Primos e Divisibilidade
Notas Aula
para imprimir

04-Jul
Algoritmo de Euclides
Aritmética Modular
Aula
para imprimir
12:00hs Mini-prova 3
(Sala D005)

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

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

16-Jul

FERIADO: Nossa Senhora do Carmo

18-Jul
Aula
Teorema Chinês do Resto
O pequeno teorema de Fermat e teste de primalidade
para imprimir
12:00hs Mini-prova 4
(Sala D005)

23-Jul
Primeira Prova
(horário da aula - Sala D003 e Auditório)

25-Jul
Relações: definições, propriedades
para imprimir

30-Jul
Relações n-árias
Combinando relações
lista

01-Ago
Representando relações
Fechos de uma relação
Para imprimir

06-Ago
Relações de equiv.
Para imprmir

08-Ago
Ordenações parciais
Ordem Lexicográfica

12:00hs Mini-prova 5
(Sala D005)

13-Ago
Diagrama de Hasse
Reticulados

15-Ago
Grafos: introdução
Grafos: definições e terminologia

12:00hs Mini-prova 6
(Sala D005)

20-Ago
Grafos: represent. e isomorfismo
Conectividade
Grafos com pesos

22-Ago
Grafos: conectividade
Grafos: caminho e circuito euleriano e hamiltoniano
12:00hs Mini-prova 7
(Sala D005)

27-Ago
Planaridade
Coloração

29-Ago
Árvores: definições, terminologia, propriedades

Árvores binárias de busca
Caminhamento em árvores
12:00hs Mini-prova 8
(Sala D005)

03-Set
Caminhamento em árvores

05-Set
Revisao
questoes

10-Set
Segunda Prova (Hora da aula: sala D003 e auditório)

12-Set
Segunda Chamada (NA HORA DA AULA na sala)

17-Set
Entrega das Provas

19-Set
Prova Final - Na hora da aula


Última atualização: 09 de Agosto, 09:20am GMT-3