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 2002

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.

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

  • Discrete Mathematics, Iain Philips

    Listas de exercícios

  • Grafos e Conectividade

    Programação de Aulas

    Aula
    Data
    Assunto
    Horas Acum.
    1 5/jun Apresentação do Curso
    Provas por Indução    		 02
    2 ?/??? Noções básicas sobre conjuntos (Cantor)
    		04
    3 ??/??? Funções. Propriedades de funções 06
    4 ??/??? Funções inversas. Composição de funções 08
    5 ??/??? Seqüências. Somatórios 10
    6 ??/??? Cardinalidade. Enumerabilidade
    		 12
    7 ??/??? Crescimento de funções. Notação "O(f(n))" 14
    8 ??/??? Noções básicas de custo de algoritmos
    		 16
    9 ??/??? (Não houve aula) 18
    10 ??/??? Algoritmos numéricos: divisão, mdc, mmc
    Aritmética modular
    		 20
    11 ??/??? Algoritmo de Euclides (mdc)
    Representação de inteiros     		22
    12 ??/??? Teorema chinês do resto
    Pseudoprimos
    Noções básicas de criptografia RSA     		24
    13 ??/??? Algoritmos para operações com matrizes
    		 26
    14 ??/??? Definições recursivas; algoritmos recursivos
    		 28
    15 ??/??? Princípios básicos de contagem
    Princípio da inclusão-exclusão
    Princípio da "casa-de-pombos" (pigeonhole)
    		 30
    16 ??/??? Permutações; combinações; coeficientes binomiais
    Teorema binomial
    Permutações e combinações com repetições
    		 32
    17 ??/??? Relações de recorrência: definição, exemplos
    Relações de recorrência: técnicas de resolução
    Funções geradoras     		34
    18 ??/??? Primeira Prova 36
    19 ??/??? Relações: definições, propriedades, operações
    Fechos de uma relação
    		 38
    20 ??/??? Ordenações parciais
    Reticulados, semi-reticulados, reticulados completos     		40
    21 ??/??? Grafos: definições, terminologia, representação
    Subgrafos; grafos bipartidos     		42
    22 ??/??? Conectividade, caminhos, circuitos 44
    23 ??/??? Caminhos mais curtos
    Algoritmo de Dijkstra     		46
    24 ??/??? Planaridade, coloração 48
    25 ??/??? Árvores: definições, terminologia, propriedades 50
    26 ??/??? Árvores binárias de busca
    Busca em árvores     		52
    27 ??/??? Árvores aplicadas a algoritmos de ordenação 54
    28 ??/??? Árvores geradoras: definição, algoritmos
    Árvores geradoras de peso mínimo
    		 56
    29 ??/??? Álgebras booleanas: definições, aplicações 58
    30 ??/??? Álgebras booleanas: completude funcional
    Álgebras booleanas: portas lógicas; minimização     		60
    31 ??/??? Estruturas algébricas: grupos
    		62
    32 ??/??? Estruturas algébricas: anéis, corpos
    		64
    33 ??/??? Segunda Prova 66
    34 ??/??? Prova Final 68


    Última atualização: 23 de Agosto de 2002, 11:00:19