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

Matemática Discreta (IF670)

Segundo Semestre de 2004

Horário de Aulas
Turma I1 (Sala 8)
  2a Feira, de 16h às 18h
  4a Feira, de 14h às 16h

Professores: Anjolina Grisi de Oliveira e Ruy José Guerra Barretto de Queiroz.

Monitores:
Everton Guerra, Gabriel França, João Paulo Silva do Monte Lima, Nitai Bezerra da Silva, Rodrigo Bione.


NOTAS Ciencia.

NOTAS Eng..

Bibliografia Básica
Livros-texto

Literatura complementar

Alguns problemas típicos: aqui

Listas: Lista1 Lista2

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

    Programação de Aulas

    Aula
    Data
    Assunto
    Horas Acum.
    1 10-mai Apresentação do Curso
    Provas e Proposições
    02
    2 12-mai Motivação: contar!
    04
    3 17-mai Noções básicas sobre conjuntos 06
    4 17-mai Noções básicas sobre funções e relações. 08
    5 19-mai O número de subconjuntos
    Cardinalidade. Enumerabilidade (Cantor)
    10
    6 24-mai Seqüências.
    O número de subconjuntos ordenados
    12
    7 26-mai Indução Matemática 14
    8 31-mai Indução Matemática (cont.) 16
    9 02-jun O Princípio da Casa de Pombos 18
      07-jun Semana Pedagógica  
      09-jun Semana Pedagógica  
    10 14-jun Triângulo de Pascal: teorema binomial 20
    11 16-jun Triângulo de Pascal: identidades
    Triângulo de Pascal: visão superior
    22
    12 21-jun Números de Fibonacci
    Uma Fórmula para os Números de Fibonacci
    24
    13 23-jun Números Primos e Divisibilidade 26
    14 28-jun Algoritmo de Euclides 28
    15 30-jun Aritmética Modular: Teorema Chinês do Resto 30
    16 05-jul Teste de Primalidade 32
    17 07-jul Princípios de Criptografia 34
    18 12-jul Primeira Prova 36
    19 14-jul Produto cartesiano
    Relações: definições, propriedades, operações
    38
    20 19-jul Combinando relações
    Fechos de uma relação
    40
    21 21-jul Relações de equiv.
    Ordenações parciais
    42
    22 26-jul Diagrama de Hasse
    Reticulados, semi-reticulados, reticulados completos
    44
    23 28-jul Funções
    Propriedades de funções
    46
    24 02-ago Crescimento de funções. Notação "O(f(n))" Mini-prova 3 (relações e funções) 48
    25 04-ago Crescimento de funções.
    Grafos: definições.
    50
    26 09-ago Grafos: terminologia
    Grafos bipartidos;
    52
    27 11-ago Subgrafos; Representação; Isomorfismo
    Conectividade, caminhos, circuitos
    54
    28 16-ago Caminhos mais curtos; Algoritmo de Dijkstra
    Planaridade, coloração
    56
    29 18-ago Árvores: definições, terminologia, propriedades Árvores binárias de busca
    58
    30 23-ago Mini-prova 4 (grafos e árvores) 60
    31 25-ago Busca em árvores 62
    32 30-ago Árvores 64
    33 01-set Segunda Prova 66
    33 08-set Segunda Chamada 66
    33 13-set Prova Final 66


    Última atualização: 13 de Dezembro de 2004, 18:29:15