Matematica Discreta: mudanças entre as edições
De Pontão Nós Digitais
Ir para navegaçãoIr para pesquisar
Sem resumo de edição |
(→Conteudo aproximado: link pra eq logistica) |
||
(21 revisões intermediárias por 2 usuários não estão sendo mostradas) | |||
Linha 1: | Linha 1: | ||
Esta é a pagina principal de um curso de matematica discreta para computacao em 2012 no Instituto Politecnico [http://pt.wikipedia.org/wiki/IPRJ IPRJ]/[http://pt.wikipedia.org/wiki/IPRJ UERJ], de utilidade geral para a formacao de programadores. | Esta é a pagina principal de um curso de matematica discreta para computacao em 2012 no Instituto Politecnico [http://pt.wikipedia.org/wiki/IPRJ IPRJ]/[http://pt.wikipedia.org/wiki/IPRJ UERJ], de utilidade geral para a formacao de programadores. | ||
[[Imagem:Mosaico.jpg|right|275px]] | |||
== Informacoes gerais == | == Informacoes gerais == | ||
* Instrutor: prof. [http://www.lems.brown.edu/~rfabbri Ricardo Fabbri], Ph.D. | * Instrutor: prof. [http://www.lems.brown.edu/~rfabbri Ricardo Fabbri], Ph.D. | ||
* Periodo: 2o. Semestre de 2012, voltado ao 4o. periodo de Engenharia da Computacao | * Periodo: 2o. Semestre de 2012, voltado ao 4o. periodo de Engenharia da Computacao | ||
* Tercas 2:20pm-5pm e Quintas 1:20pm-4pm ( | * 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 === | === Pre-requisitos === | ||
* | * Motivacao e dedicacao sao implicitamente exigidos do aluno. Experiencia previa com alguma linguagem de programacao desejavel. | ||
== Conteudo aproximado == | == Conteudo aproximado == | ||
Linha 17: | Linha 18: | ||
* Teoria de conjuntos, Relacoes | * Teoria de conjuntos, Relacoes | ||
* Inducao | * Inducao | ||
* Recursao | * Recursao, Co-Recursao | ||
** Visao geral sobre Sistemas Dinamicos Discretos http://mathworld.wolfram.com/LogisticMap.html | |||
== Recursos principais == | == Recursos principais == | ||
Linha 25: | Linha 27: | ||
=== Bibliografia === | === Bibliografia === | ||
* '''Livro principal: [http://books.google.com.br/books?id=JdfuAAAAMAAJ&q=chapter+zero+carol+schumacher&dq=chapter+zero+carol+schumacher&hl=en&sa=X&ei=aTiYULX5Ksbe0QHF24GwDQ&ved=0CCkQ6AEwAA "Chapter Zero", Carol Schumacher]'''. Melhor livro para aprender os conceitos. Nao tao bom para exercicios. http://ecx.images-amazon.com/images/I/41111TZRHEL._SL500_AA300_.jpg | * '''Livro principal: [http://books.google.com.br/books?id=JdfuAAAAMAAJ&q=chapter+zero+carol+schumacher&dq=chapter+zero+carol+schumacher&hl=en&sa=X&ei=aTiYULX5Ksbe0QHF24GwDQ&ved=0CCkQ6AEwAA "Chapter Zero", Carol Schumacher]'''. Melhor livro para aprender os conceitos. Nao tao bom para exercicios. http://ecx.images-amazon.com/images/I/41111TZRHEL._SL500_AA300_.jpg | ||
* Livro complementar (melhor para exercicios, mas nao tao bom para conceitos) | * Livro complementar [http://www.amazon.com/Mathematical-Structures-Computer-Science-Gersting/dp/071676864X "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. | * Livro importante para algumas partes (recursao): "Concrete Mathematics", Donald Knuth et. al., cap 1 principalmente. | ||
== Tarefas == | == Tarefas == | ||
Os trabalhos valem pontos extras nas provas (que serao exigentes). | |||
=== Trabalho 1: Leitura de Artigo === | |||
* Ler e resumir um [http://www.maths.lth.se/matematiklth/vision/publdb/reports/pdf/kahl-strandmark-dam-12.pdf 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: | |||
http://tavernafimdomundo.files.wordpress.com/2011/05/logicomix1.jpg | |||
* 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 == | == Provas == | ||
Havera 2 provas principais. | Havera 2 provas principais. | ||
* P1: 31 de janeiro de 2013 [http://www.lems.brown.edu/~rfabbri/stuff/prova-p1-MDI2012-v2.pdf] | |||
* P2: 7 de marco de 2013 | |||
* Final/Sub: 14 de marco de 2013 | |||
== Criterio de Avaliacao == | == Criterio de Avaliacao == | ||
O nucleo de atividades do curso consistira em provas escritas. Para ajudar o aluno a estudar para as provas, | 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). | Eventuais trabalhos em grupo valerao pontos extras nas provas (somente se a nota da prova for superior a 5). | ||
* O criterio final | * O criterio final ficou (favor avisar se precisar adicionar detalhes ou corrigir no caso de erro/discrepancia): | ||
<small> | <small> | ||
M_p = (P1 + P2)/2 | M_p = (P1 + P2)/2 |
Edição atual tal como às 21h21min de 3 de outubro de 2013
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.