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 2012

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

Jose Araujo da Silva Neto, Alberto Trindade Tavares, Diogo Rodrigues Cabral, Felipe Santana de Luna, Gisely Cristiane da Costa Melo, Natalia Paola de Vasconcelos Cometti, Thiago Borges Jordani, Victor Hugo Maristane de Andrade .

Página da Monitoria

Aqui,

Regras gerais para condução da disciplina

aqui

Bibliografia Básica

Livros-texto

Literatura complementar

Grupo de Notícias

ATENÇÃO!)
Todas as mensagens relativas à disciplina serão veiculadas no grupo de notícias depto.cursos.grad.if670.

Material sobre proposições e provas

aqui (fonte: CS 70, Spring 2005 Discrete Mathematics for Computer Science)

Notas de aula

Notas 1, Notas 2

Notas 3, Notas 4

Notas 5, Notas 6

Notas 7

lista-tn

lista-rel - lista-ordemparcial

Prova1 gabarito

Provas Passadas

Programação de Aulas

28-Fev

Provas e Proposições

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

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

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

13-Mar
Seqüências.
Cardinalidade e Enumerabilidade (Cantor1) (Cantor2)
Racionais
Crescimento de função (lin k1, link2, link3)

15-Mar
Crescimento de função
Métodos de Prova e Indução Matemática

20-Mar
Métodos de Prova e Indução Matemática
Definições Recursivas
PG
12:00hs Mini-prova 1
(ANFITEATRO)

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

27-Mar
O número de subconjuntos ordenados e
o número de subconjuntos
para imprimir Mini-prova passada

29-Mar
Teorema binomial
Triângulo de Pascal

03-Abr
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)

05-Abr
Números Primos e Divisibilidade
Notas Aula
para imprimir
12:00hs Mini-prova 2
(anfiteatro)

10-Abr
Algoritmo de Euclides
Aritmética Modular
Aula
para imprimir

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

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

19-Abr
Primeira Prova
(horário: 12-14h - ANFITEATRO)

24-Abr
Relações: definições, propriedades
para imprimir

26-Abr
Relações n-árias
Combinando relações
lista

01-Mai
FERIADO: Dia do trabalho

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

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

10-Mai
Ordenações parciais
Ordem Lexicográfica

15-Mai
Diagrama de Hasse
Reticulados
12:00hs Mini-prova 3
(anfiteatro)

17-Mai
Grafos: definições e terminologia

22-Mai
Grafos: represent. e isomorfismo

24-Mai
Conectividade
Grafos com pesos

29-Mai
Grafos: caminho e circuito euleriano e hamiltoniano
12:00hs Mini-prova 4
(anfiteatro)

31-Mai
Planaridade
Coloração

05-Jun
Árvores: definições, terminologia, propriedades
Árvores binárias de busca
Caminhamento em árvores

12-Jun
Árvores Geradoras
Revisao
questoes

14-Jun
Segunda Prova (12h - ANFITEATRO)

19-Jun
Segunda Chamada (NA HORA DA AULA na sala)

21-Jun
Revisao
questoes

28-Jun
Prova Final - Na hora da aula


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