Matematica Discreta
De Pontão Nós Digitais
Ir para navegaçãoIr para pesquisar
Esta é a pagina principal de um curso de matematica discreta para computacao em 2012 no Instituto Politecnico IPRJ/UERJ, de utilidade geral para a formacao de programadores.
Informacoes gerais
- Instrutor: prof. Ricardo Fabbri, Ph.D.
- Periodo: 2o. Semestre de 2012, voltado ao 4o. periodo de Engenharia da Computacao
- Tercas 2:20pm-5pm e Quintas 1:20pm-4pm (temporariamente Quartas 2:20-4pm), sala 213
- Temporariamente: Por um acordo assinado pelos alunos, as aulas de quinta-feira serao ministradas `as quartas-feiras das 2:20pm-4pm, em caracter excepcional,
ate o termino das aulas da pos-graduacao (10/Dezembro), devido a um conflito imprevisto de horario. A sala permanece a mesma.
Pre-requisitos
- Motivacao e dedicacao sao implicitamente exigidos do aluno. Experiencia previa com alguma linguagem de programacao desejavel.
Conteudo aproximado
- Aula1: motivacao: a importancia da matematica na computacao. introducao ao curso. inicio da materia.
- Logica, Argumentos. Tecnicas de Demonstracao. -- Compreenda a estrutura da matematica moderna!
- Decidibilidade
- Teoria de conjuntos, Relacoes
- Inducao
- Recursao, Co-Recursao
- Visao geral sobre Sistemas Dinamicos Discretos http://mathworld.wolfram.com/LogisticMap.html
Recursos principais
- Grupo de discussao: uerj.tk
Bibliografia
- Livro principal: "Chapter Zero", Carol Schumacher. Melhor livro para aprender os conceitos. Nao tao bom para exercicios.
- Livro complementar "Mathematical Structures for Computer Science", Judith Gersting (melhor para exercicios, mas nao tao bom para conceitos)
- Livro importante para algumas partes (recursao): "Concrete Mathematics", Donald Knuth et. al., cap 1 principalmente.
Tarefas
Os trabalhos valem pontos extras nas provas (que serao exigentes).
Trabalho 1: Leitura de Artigo
- Ler e resumir um artigo de pesquisa em Matematica Discreta Aplicada
- Nao precisa compreender tudo, mas precisa ler tudo e tentar ter uma visao global do artigo bem como entender alguns fatos especificos que conseguir.
- Trazer o artigo todas as aulas para relacionar com a materia.
- Entregar relatorio do artigo contendo:
- Resumo de cada secao com sua propria explicacao
- Uma pagina de texto contendo uma descricao do artigo em suas palavras. O que voce consegue compreender do artigo? O que voce nao gostou? O que te despertou curiosidade?
- O trabalho sera julgado com base na qualidade e evidencia de esforco.
- Data de entrega: resumo inicial no dia da P1 e resumo final no dia da P2
- Valor: ate +1 pontos na P1 (resumo inicial) e +1 ponto na P2 (resumo final)
Trabalho 2: Leitura do Livro Logicomix
- Um livro muito legal para seguir a historia da logica moderna + Computacao eh o livro Logicomix:
- Entregar um resumo de 4 paginas no dia da P2
- Valor: ate +1 ponto na P2
- Veja http://tavernafimdomundo.com/2011/05/03/hq-logicomix-de-apostolos-doxiadis-e-christos-h-papadimitriou/
Provas
Havera 2 provas principais.
- P1: 31 de janeiro de 2013 [1]
- P2: 7 de marco de 2013
- Final/Sub: 14 de marco de 2013
Criterio de Avaliacao
O nucleo de atividades do curso consistira em provas escritas. Para ajudar o aluno a estudar para as provas, listas de exercicios poderao ser especificadas. Eventuais trabalhos em grupo valerao pontos extras nas provas (somente se a nota da prova for superior a 5).
- O criterio final ficou (favor avisar se precisar adicionar detalhes ou corrigir no caso de erro/discrepancia):
M_p = (P1 + P2)/2 Se M >= 7, passa --> M Sub: repoe menor de P1, P2 (apenas se alguem faltou alguma prova ou quiser melhorar nota - mas quem entregar ira substituir)
Se 4 <= M <= 7, vai pra prova final. Se M > 7 a prova final e' optativa, mas se piorar a nota, fica com a pior.
M_f = (M + P_f)/2.
Se M_f >= 5, passa --> M_f
A concordar com alunos: prova final e prova sub podem ser as mesmas.