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

Matemática Discreta (IF670)

Primeiro Semestre de 2003

Horário de Aulas
Turma I1 (Sala 8)
  4a Feira, de 10h às 12h
  6a Feira, de 8h às 10h

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

Monitores:
Segundas-Feiras 12:00-14:00: Bengt
Terças-Feiras 12:00-14:00: Marcos
Quartas-Feiras 12:00-14:00: Laís
Quintas-Feiras 12:00-14:00: Alan
Sextas-Feiras 12:00-14:00: Paulo

Bibliografia Básica
Livro 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

    Programação de Aulas

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


    Última atualização: 04 de Julho de 2003, 13:12:19