Fundamentos Matemáticos para Computação (2017)

Horáio: Terças e Quintas - (18:00 às 20:00) ou (20:00 às 22:00)

Programa do Curso

Bibliografia

Livro-texto: Judith L. Gersting, Fundamentos Matemáticos para a Ciência da Computação. Editora LTC, 2001.
Livros complementares:
T. H. Cormen, C. E. Leiserson, R. L. Rivest e C. Stein Algoritmos-Teoria e Prática. (Tradução da 3a Edição Americana) Editora CAMPUS, 2012.
Edward R. Scheinerman, Matemática Discreta: Uma introdução. Thomson, 2003.
Paulo Blauth Menezes, Matemática Discreta para Computação e Informática. Série Livros Didáticos – Instituto de Informática da UFRGS

Slides das aulas

  • Aula 0 - Apresentação
  • Aula 1 - Conjuntos - Parte I
  • Aula 2 - Conjuntos - Parte II
  • Aula 3 - Conjuntos - Parte III
  • Aula 4 - Princípios Aditivos e Multiplicatiovs
  • Aula 5 - Permutação Simples e Circulares
  • Aula 6 - Arranjos Simples
  • Aula 7 - Combinação Simples
  • Aula 8 - Permutação com repetição
  • Aula 9 - Arranjos com repetição
  • Aula 10 - Combinações com repetições
  • Aula 11 - Binômio de Newton
  • Aula 12 - Lógica Proposicional - Parte I
  • Aula 13 - Lógica - Lógica Proposicional - Parte II
  • Aula 14 - Lógica de Predicados
  • Aula 15 - Técnicas de Demonstração
  • Aula 16 - Indução Matemática Fraca
  • Aula 17 - Indução Matemática Forte
  • Aula 18 - Recursão e Relação de Recorrência

    • Datas importantes

    16/05 – 1a Prova (P1)
    27/06 – 2a Prova (P2)
    04/07 – VR
    13/07 – VS

    Listas

  • Lista - Conjuntos (GABARITO)
  • Lista - PA e PM (GABARITO)
  • Lista - Permutações (GABARITO)
  • Lista - Arranjos Simples (GABARITO)
  • Lista - Combinações Simples (GABARITO)
  • Lista - Permutação com repetição (GABARITO)
  • Lista - Arranjos com repetição (GABARITO)
  • Lista - Combinações com repetição (GABARITO)
  • Lista - Teorema Binomial (GABARITO)
  • Lista - Técnicas de Demonstração (GABARITO)
  • Lista - Relação de Recorrência (GABARITO)

    • Lista de Exercícios - Primeira parte da matéria (Entregar na data da prova)