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

MATEMÁTICA DISCRETA

2º SEMESTRE  DE  2013
 

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, funções geratrizes, recursão, relações em conjuntos, e teoria dos grafos.


Livro Texto

Discrete Mathematics and its Applications
Kenneth H. Rosen
Mc-Graw Hill, 6th edition, 2007, ISBN 0072880082
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 da Aprendizagem

4 provas (21, 21, 21, 21): 84
Listas de exercicios: 16

Importante:

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


Listas de Exercí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]

Listas de Exercícios Extras

  1. Números Inteiros [Solução]


Datas Importantes


Documentos

  1. Plano da disciplina
  2. Introdução
  3. Fundamentos da Lógica - Lógica Proposicional
  4. Lógica de Proposições Quantificadas - Cálculo de Predicados
  5. Números inteiros (seções 3.4 a 3.7 da sexta edição do livro do Rosen) [Soluções dos exercícios dessas seções]
  6. Métodos de Prova
  7. Seqüências/Indução Matemática
  8. Teoria dos Conjuntos
  9. Funções
  10. Análise Combinatória
  11. Relações
  12. Grafos
  13. Slides sobre algebra de Boole e circuitos combinatorios 
  14. AMOSTRA: PRIMEIRA PROVA, com gabarito 


Textos Relacionados

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