Professor (menu principal)
- Prof. Ricardo Dahab (turma B) - Sala IC-28, http://www.ic.unicamp.br/~rdahab, (19) 3521-5874, rdahab @ ic . unicamp . br
Locais e horários (menu principal)
- Aulas às terças (sala CB-9) e quintas (sala CB-11), 10-12h.
- Horário de atendimento do professor: a ser definido.
Nos dias de provas as salas poderão ser outras. Fique atento(a) a comunicações na seção Novidades.
Programa resumido da disciplina (menu principal)
Os seguintes tópicos gerais serão cobertos durante o semestre, nesta ordem:- Técnicas e estratégias de provas.
- Conjuntos, relações e enumerabilidade.
- Probabilidade.
- Lógica Proposicional.
- Teoria dos Grafos.
Repositório de material didático e exercícios (menu principal)
Será mantido um repositório svn com as transparências, exercícios e outros materiais didáticos que vierem a ser distribuídos. Instruções para acesso a esse repositório serão dadas na sala de aula.Referências (menu principal)
A referência principal do curso é [1], abaixo, complementada por outros materiais, principalmente de [2] e [7]. Há
cópias da referência [1] reservadas na BIMECC.
[Livro-texto] K. H. Rosen, Discrete
Mathematics and its applications. 5a. e 6a. edições,
McGraw-Hill. - M. Ben-Ari, “Logics for Computer Science”, 2a. Edição, Springer, 2001.
- K. A. Ross, C. R. B. Wright, Discrete Mathematics, Prentice-Hall.
- E. R. Scheinerman, Matemática Discreta - Uma Introdução, Editora Thomson.
- J. L. Gersting, Fundamentos Matemáticos para a Ciência da Computação. 4a. edição, LTC Editora, Rio de Janeiro (2001).
- J. P. O. Santos, M. P. Mello e I. T. C. Murari, Introdução à análise combinatória. Editora da UNICAMP, Campinas (1998).
-
U. Manber, Algorithms: A Creative Approach,
Addison-Wesley (1989). -
T. Cormen, C. Leiserson, R. Rivest, C. Stein, Algoritmos
- Teoria e Prática
(tradução da 2ª Ed. Americana), Ed. Campus
(2002).
Critério de avaliação e notas (menu principal)
Critério de avaliação (versão final - revisado em 11/3/2009; revisado novamente em 7/5/2009; veja seção de novidades.)
A avaliação será baseada em cinco provas, uma para cada tópico relacionado no programa da disciplina, nas datas abaixo. As provas e o exame final serão realizados no horário das aulas. O local pode mudar, conforme alertamos acima.Sendo Pj, j=1..5, as notas das provas, temos:
- A média de provas, MP, é definida pela seguinte fórmula:
- MP= (P1 + P2 + P3 + P4 + P5) / 5.
- A média final, MF, é definida pelas seguintes regras:
- se MP >= 5 e min{Pj} >= 4, então MF= MP;
- caso contrário, o aluno está obrigado a fazer o exame final e
- se MP >= 5 e Pj < 4 para exatamente um valor r de j, então o exame versará somente sobre esse item r do programa acima. Se, nessas circunstâncias, a nota E do exame for maior ou igual a 5, então MF= MP', onde MP' é a média de provas recalculada com E em lugar de Pr. Se, ao contrário, E for menor que 5, entãoMF= (min{4.9, MP} + E) / 2;
- em todos os outros casos, o exame versará sobre todos os itens do programa e MF= (min{4.9, MP} + E) / 2, onde E é a nota do exame.
- Caso o aluno não compareça para fazer o exame (quando obrigado a fazê-lo pelas regras acima) à sua nota E será atribuído o valor zero.
- Se MF >= 5.0, o aluno será aprovado, caso contrário será reprovado.
- Não serão permitidas trocas de horários ou dias de provas.
- O exame poderá ser usado como substitutivo de uma das provas, apenas por razões de saúde, e com a apresentação de atestado médico que justifique a ausência do aluno(a) à prova.
- Qualquer tentativa de cola ou fraude, detectada durante uma prova ou posteriormente, acarretará nota zero naquela avaliação para todos os implicados, além das sanções regimentais previstas.
Notas
As notas de provas e do exame estarão disponíveis neste arquivo.Datas importantes (menu principal)
- 19 de março: Prova 1
- 14 de abril: Prova 2
- 7 de maio 14 de maio: Prova 3
- 28 de maio 4 de junho: Prova 4
- 23 de junho 30 de junho: Prova 5
- 14 de julho: Exame Final