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 2002

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

Professora: Anjolina Grisi de Oliveira.

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 teoria dos conjuntos

  • Discrete Mathematics, Iain Philips

    Listas de exercícios

  • Introd. Lógica
  • Lógica
  • Conjuntos
  • Álgebra de Boole
  • Indução
  • Contagem (1)
  • Relações (1)
  • Relações (2)

    Listas valendo nota

  • Lista 1 Entrega: 22/01/2003
  • Lista 2 Entrega: 31/01/2003

    Notas

  • Nota

    Programação de Aulas

    Aula
    Data
    Assunto
    Horas Acum.
    1 30/out Apresentação do Curso
    Noçãoes de Lógica
    02
    2 1/Nov Tabela-verdade
    Equival. entre fórmulas
    04
    3 6/Nov Noções básicas sobre conjuntos (Cantor)
    06
    4 8/Nov Álgebra Booleana
    Demonstrações
    08
    5 13/Nov Mini-Prova 1 10
    6 20/Nov Provas por Indução
    12
    7 22/Nov Princípios básicos de contagem
    14
    8 27/Nov Princípio da inclusão-exclusão
    Princípio da "casa-de-pombos" (pigeonhole)
    Permutações; combinações
    16
    9 29/Nov Coeficientes binomiais
    Teorema binomial
    Mini-Prova 2
    18
    10 04/Dez Relações: definições, propriedades, operações
    Fechos de uma relação
    Ordenações parciais
    20
    11 06/Dez Diagrama de Hasse
    Relações de equival.
    Funções. Propriedades de funções
    Funções inversas. Composição de funções
    22
    12 11/Dez Cardinalidade. Enumerabilidade
    24
    13 13/Dez Definições recursivas; algoritmos recursivos
    26
    14 18/Dez Relações de recorrência: definição, exemplos Relações de recorrência: técnicas de resolução
    28
    15 20/Dez Primeira Prova 30
    16 03/jan Relações de recorrência: técnicas de resolução
    32
    17 08/jan Revisão dos métodos de prova 34
    18 10/jan Crescimento de funções. Notação "O(f(n))" 36
    19 15/jan Noções básicas de custo de algoritmos
    38
    20 17/Jan Introdução Teoria dos números
    Algoritmos numéricos: divisão, mdc, mmc
    Entrega das listas de exercícios
    40
    21 22/jan Aritmética modular
    42
    22 24/jan Algoritmo de Euclides (mdc)
    Representação de inteiros
    44
    23 28/jan Teorema chinês do resto
    Pseudoprimos
    46
    24 31/jan Noções básicas de criptografia RSA
    Mini-prova 3
    48
    25 05/fev Algoritmos para operações com matrizes
    50
    26 07/fev Grafos: definições, terminologia, representação
    Subgrafos; grafos bipartidos
    52
    27 12/fev Conectividade, caminhos, circuitos 54
    28 14/fev Planaridade, coloração 56
    29 19/fev Árvores: definições, terminologia, propriedades 58
    30 21/fev Mini-prova 4 60
    31 26/fev Árvores binárias de busca
    Busca em árvores
    62
    32 28/fev Árvores aplicadas a algoritmos de ordenação 64
    32 07/mar Árvores geradoras 66
    33 08/mar Segunda Prova 68
    32 12/mar Exercícios de revisão
    72
    34 14/mar Segunda Chamada
    34 19/mar Prova Final


    Última atualização: 19 de Fevereiro de 2003, 15:58:08