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)

Segundo Semestre de 2012

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

Jose Araujo da Silva Neto, Aline Franciele Correia da Silva, Diogo Rodrigues Cabral, Gisely Cristiane da Costa Melo, Guilherme Palma Peixoto, Larissa Navarro Passos de Araujo, Leonardo José de Andrade Costa Santos Natalia Paola de Vasconcelos Cometti, Rafael Acevedo de Aguiar.

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

05-Dez

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

07-Dez
Provas e Proposições

12-Dez
Noções básicas sobre conjuntos
Paradoxo do barbeiro
Operações sobre conjuntos

14-Dez
Operações sobre conjuntos
Noções básicas sobre funções e relações.

19-Dez
Seqüências.
Cardinalidade e Enumerabilidade (Cantor1) (Cantor2)
Racionais

21-Dez
13:00hs Mini-prova 1
(ANFITEATRO)

16-Jan
Métodos de Prova e Indução Matemática

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

23-Jan
Motivação: contar!
Exemplos

25-Jan
O número de subconjuntos ordenados e
o número de subconjuntos
para imprimir Mini-prova passada

30-Jan
Teorema binomial
Triângulo de Pascal

01-Fev
Inclusão-Exclusão Notas Aula
para imprimir

06-Fev
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)

08-Fev
13:00hs Mini-prova 2
(ANFITEATRO)

13-Fev
Quarta-feira de cinzas

15-Fev
Números Primos e Divisibilidade
Notas Aula
para imprimir

20-Fev
Algoritmo de Euclides
Aritmética Modular
Aula
para imprimir
Senha e F. Hash: capt. 13 Password-based login

22-Fev
Aula
Teorema Chinês do Resto

27-Fev
O pequeno teorema de Fermat e teste de primalidade
para imprimir

01-Mar
Primeira Prova : 13:00H - ANFITEATRO

06-Mar
Relações: definições, propriedades
para imprimir
Relações n-árias

08-Mar
Combinando relações
lista Representando relações

13-Mar
Fechos de uma relação
Para imprimir
Relações de equiv.
Para imprmir

15-Mar
Ordenações parciais
Ordem Lexicográfica

20-Mar
Diagrama de Hasse
Reticulados

22-Mar
Grafos: introdução
Grafos: definições e terminologia
13:00h Mini-prova 3
(anfiteatro)

27-Mar
Grafos: represent. e isomorfismo
Conectividade
Grafos com pesos

29-Mar
Sexta-feira santa

03-Abr
Grafos: conectividade
Grafos: caminho e circuito euleriano e hamiltoniano

05-Abr
Planaridade
Coloração
13:00hs Mini-prova 4
(salas: D003 e D218)

10-Abr
Árvores: definições, terminologia, propriedades

12-Abr
Caminhamento em árvores

17-Abr
Revisao
questoes

19-Abr
Segunda Prova (13h - salas D003 e D218)

24-Abr
Segunda Chamada (NA HORA DA AULA na sala D003)

26-Abr
Prova Final - 13:00 - ANFITEATRO


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