MC358 - Fundamentos Matemáticos da Computação
Segundo semestre de 2011
Professor: Orlando Lee
Conteúdo desta página
Notas
Consulte esta planilha para ver as notas parciais e entregas de minitestes.
Avisos importantes
- 18/12: médias finais disponíveis.

- 2/12: as médias finais estão disponíveis. Quem quiser ver a segunda prova venha à minha sala na segunda às 14h.
- 2/12: o exame cobre toda a matéria e será aplicado no dia 13/12, às 19h na sala de aula usual. Não serão fornecidos enunciados de provas nem gabaritos das listas.
- 3/10: as notas da primeira prova estão disponíveis no link acima. Pedidos de revisão de prova devem ser feitos até 19/10 (por email ou em sala).
- 27/9: não haverá aula dia 11/10 em virtude da Reunião de Avaliação de Cursos.
- 8/8: página atualizada!
- 2/8: Consulte esta seção frequentemente!
Ementa
A ementa e o critério de avaliação estão aqui: critmc358.pdf
Horário das aulas, atendimento
- Aulas
- terça, 19-21h, sala CC61.
- quinta, 19-21h, sala CC61.
- Atendimento
- Professor: após as aulas ou em horário combinado.
Listas de Exercícios
Listas de exercícios serão disponilizadas ao longo do semestre.
As listas não farão parte da avaliação e suas soluções não serão coletadas.
Os números se referem à 5a edição do livro [1].
- Parágrafo 1.1: 1, 6, 9, 12, 13, 16, 21, 23, 25
- Parágrafo 1.2: 1, 7, 9, 11, 14, 15, 16, 17, 30, 31
- Parágrafo 1.3: 1, 11, 12, 13, 16, 17, 19, 20, 27, 29, 33, 34, 41
- Parágrafo 1.4: 1, 3, 9, 19, 20, 24, 25, 27, 31
- Parágrafo 1.5: 17 a 20, 26, 27, 29, 31, 32, 33, 36, 38, 39, 43, 44, 48, 49, 54, 55, 68, 69, 71
- Parágrafo 1.6: 1 a 8, 12, 14, 15, 17, 19, 22, 23, 24
- Parágrafo 1.7: 4, 9, 15 a 18, 20, 24, 26, 27, 28, 37, 38
- Parágrafo 1.8: 1, 2, 3, 9, 10, 12, 15, 16, 19, 21, 25, 26, 27, 34
- Parágrafo 3.1: 1, 10, 13, 17, 20, 22, 27, 28, 39, 41, 42, 47, 49, 51
- Parágrafo 3.2: 31, 36 a 39
- Parágrafo 3.3: 1 a 31, 36, 38, 45 a 47, 51, 54, 57 a 60. Veja também os exercícios do capítulo 5 do livro da Prof. Anamaria e do Prof. Stolfi (link na próxima seção) e veja também o capítulo 2 do livro do Manber [5].
- Parágrafo 3.2 + capítulo 8 do livro da Anamaria e Stolfi: exercícios do capítulo 8 do livro da Anamaria e Stolfi
- Parágrafo 7.1: 1, 3, 6, 9, 10, 16, 17, 24, 25, 27, 33, 35 + exercícios 6.10 a 6.14 do livro da Anamaria e Stolfi
- Parágrafo 7.3: 1, 3, 7, 11, 12, 14
- Parágrafo 7.4: 1, 3, 10, 19, 20 + exercícios 6.23 a 6.27 do livro da Anamaria e Stolfi
- Parágrafo 7.5: 1, 7, 10, 18 a 20, 23, 24 + exercícios 6.48 a 6.51 no livro da Anamaria e Stolfi
- Parágrafo 7.6: 1, 2, 6, 7, 10, 12, 17, 26 abcd, 27 abcd
- Parágrafo 8.2: 1, 5, 6, 18, 20, 21, 24, 25
- Parágrafo 8.3: 1, 5, 9, 34 a 44, 45, 50, 51, 52
- Grafos1
- Parágrafo 8.5: 1 a 8, 13 a 15, 26 a 38, 44, 45
- Parágrafo 8.7: 1, 5 a 12, 16, 17, 20 a 25
- Parágrafo 8.8: 5 a 13, 15, 16, 24 a 26
- Grafos2
- Grafos3
Links
Na página da Profa Anamaria Gomide
você encontrará um link para uma versão preliminar de um livro (que cobre os tópicos desta disciplina) escritos por ela e pelo Prof. Jorge Stolfi.
Tópicos a serem cobertos
As seguintes seções do livro-texto que foram/serão cobertas na data indicada.
Modifiquei a data original prevista de alguns tópicos
1.1 Logic 4/8
1.2 Propositional Equivalences 9/8
1.3 Predicates and Quantifiers 9/8
1.4 Nested Quantifiers 11/8
1.5 Methods of Proof 16/8 18/8
1.6 Sets 23/8
1.7 Set Operations 23/8
1.8 Functions 25/8
3.1 Proof Strategy 30/8
3.2 (Parte inicial) Sequences and Summations 1/9
3.2 (Parte final) Cardinality 1/9
3.3 Mathematical Induction 6/9 8/9
Seções do livro [5] 13/9 15/9
Aula buffer 20/9
Primeira prova 22/9
3.2 Sequences and Summations + capítulo 8 do livro da Anamaria e Stolfi 27/9 29/9
7.1 Relations and Their Properties 4/10
7.3 Representing Relations 6/10
7.4 Closures of Relations 6/10
Não haverá aula. Reunião de avaliação de cursos 11/10
7.5 Equivalence Relations 13/10
7.6 Partial Orderings 18/10
7.2 n-ary Relations and Their Applications 20/10
8.1 Introduction to Graphs 20/10
8.2 Graph Terminology 25/10
8.3 Representing Graphs and Graph Isomorphism 25/10
Não haverá aula. 28/10
8.4 Connectivity 3/11
8.5 Euler and Hamilton Paths 5/11
8.7 Planar Graphs 8/11
8.8 Graph Coloring 10/11
Não haverá aula. 17/11 22/11
Segunda Prova 24/11
Tópicos opcionais à escolha do Professor:
4.1, 4.2,6.4, 6.5, 6.6, 11.1, 11.2, 11.3, 11.4, 11.5
Referências bibliográficas
[1] K.H. Rosen, Discrete Mathematics and its
applications. 5a Edição, McGraw-Hill, (2003). Este é o
livro-texto do curso.
[2] K.A. Ross, C.R.B. Wright, Discrete Mathematics, Prentice-Hall.
[3] E.R. Scheinerman, Matemática Discreta - Uma Introdução, Editora Thomson.
[4] D.J. Velleman, How to Prove It - A Structured Approach. 2a edição, Cambridge University Press (2006).
[5] U. Manber, Algorithms: A Creative Approach, Addison-Wesley (1989).
[6] J.P.O. Santos, M.P. Mello e I.T.C. Murari, Introdução à Análise
Combinatória. Editora da UNICAMP, Campinas (1998).
[7] J.L. Gersting, Fundamentos Matemáticos para a Ciência da Computação. 4a
edição, LTC Editora, Rio de Janeiro (2001).