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 2003

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

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

Monitoria:
Página: aqui
Atendimento:
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
??? 12:00-14:00: Igor
??? 12:00-14:00: Rodrigo

Planilha de Notas: aqui

Bibliografia sobre crescimento de funções: aqui

Bibliografia Básica
Livro texto

Literatura complementar

Alguns problemas típicos: aqui

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 19/nov Apresentação do Curso
    Provas e Proposições
    02
    2 20/nov Motivação: contar!
    04
    3 26/nov Noções básicas sobre conjuntos 06
    4 27/nov Noções básicas sobre funções e relações. 08
    5 3/dez O número de subconjuntos
    Cardinalidade. Enumerabilidade (Cantor)
    (Mini-Prova)
    10
    6 4/dez Seqüências.
    O número de subconjuntos ordenados
    12
    7 10/dez Indução Matemática 14
    8 11/dez Indução Matemática (cont.) 16
    9 17/dez O Princípio da Casa de Pombos 18
    10 18/dez Triângulo de Pascal: teorema binomial 20
    11 14/jan Triângulo de Pascal: identidades 22
    12 15/jan Triângulo de Pascal: visão superior 24
    13 21/jan Números de Fibonacci 26
    14 22/jan Uma Fórmula para os Números de Fibonacci
    Números Primos e Divisibilidade
    28
    15 28/jan Algoritmo de Euclides
    Aritmética Modular: Teorema Chinês do Resto
    30
    16 29/jan Teste de Primalidade 32
    17 4/fev Princípios de Criptografia 34
    18 5/fev Primeira Prova 36
    19 11/fev Produto cartesiano
    Relações: definições, propriedades, operações
    38
    20 12/fev Combinando relações
    Fechos de uma relação
    40
    21 18/fev Relações de equiv.
    Ordenações parciais
    42
    22 19/fev 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: 14 de Abril de 2004, 14:43:19