GRADUAÇÃO  EM  CIÊNCIA  DA  COMPUTAÇÃO

MATEMÁTICA DISCRETA

1º SEMESTRE  DE  2018
 

Informações Gerais

 

Objetivos da disciplina

Esta disciplina tem como objetivos gerais permitir ao aluno dominar princípios, técnicas e metodologias associadas a problemas de estruturas discretas.
 

Ementa

Estudo de fundamentos de lógica, técnicas de prova, indução matemática, teoria de conjuntos, análise combinatória, funções, recursão, relações em conjuntos e teoria dos grafos.

 

Livro Texto

http://www.dcc.ufmg.br/~loureiro/md/rosen6cover.gif

Discrete Mathematics and its Applications
Kenneth H. Rosen
Mc-Graw Hill, 6th edition, 2007, ISBN 0072880082

 

http://www.dcc.ufmg.br/~loureiro/md/rosen6cover_port.jpg

Matemática Discreta e suas Aplicações
Kenneth H. Rosen
Mc-Graw Hill, Tradução da 6a. edição em inglês, 2009, ISBN 978-85-77260-36-2.

Avaliação daAprendizagem

4 provas (22, 22, 22, 22):

88

Trabalho Prático:

12

Importante:

  1. No final do semestre, haverá uma prova suplementar.
  2. As provas são individuais e sem consulta.
  3. O trabalho prático é individual.
  4. Cada prova cobrirá preferencialmente o conteúdo ensinado entre uma prova e outra, mas poderá ser cobrado conteúdo anterior.

 

Trabalho Prático e Exercícios

Trabalho Prático

Relações binárias.

Listas deExercícios

  1. Fundamentos da Lógica [Solução]
  2. Lógica de Predicados [Solução]
  3. Métodos de Prova [Solução]
  4. Seqüências/Indução Matemática [Solução]
  5. Teoria dos Conjuntos [Solução]
  6. Funções [Solução]
  7. Análise Combinatória [Solução]
  8. Relações [Solução]
  9. Grafos [Solução]

 

Datas Importantes

 

Documentos

  1. Plano da disciplina
  2. Trabalho Prático
  3. Introdução
  4. Fundamentos da Lógica - Lógica Proposicional
  5. Lógica de Proposições Quantificadas - Cálculo de Predicados
  6. Métodos de Prova
  7. Seqüências/Indução Matemática
  8. Teoria dos Conjuntos
  9. Funções
  10. Análise Combinatória
    Material extra: Coeficientes Binomiais
  11. Relações
    Material extra: Complemento
  12. Grafos
    Material extra: Complemento

 

Textos Relacionados

  1. Konigsberg
  2. Curso de Introdução à Ciência da Computação do MIT [Versão original em inglês]
  3. Coqueiro em cima de árovre
  4. Intel will mass produce 3D transistors for all future CPUs, starting with 22nm Ivy Bridge
  5. The Joy of Statistics: 200 Countries, 200 Years, 4 Minutes, BBC, 7/12/2010
  6. NSF Celebrates Computer Science Education Week 2010, NSF Press Release, 7/12/2010
  7. A Lógica do Engodo, Agência FAPESP, 29/12/2009
  8. Thinking out loud helps solve problems, Telegraph UK, 22/12/2009


Última modificação em 04.03.2018