Esta página mostra as diferenças entre as duas revisões da página.
Ambos os lados da revisão anterior Revisão anterior Próxima revisão | Revisão anterior | ||
inf5504:homepage [2019/07/05 16:48] marcus [Avaliação] |
inf5504:homepage [2019/10/16 08:56] (Actual) marcus [Encontros] |
||
---|---|---|---|
Linha 8: | Linha 8: | ||
**Créditos:** 2\\ | **Créditos:** 2\\ | ||
**Súmula:** Tópicos selecionados em otimização combinatória focando no volume 4B do livro "The Art of Computer Programming".\\ | **Súmula:** Tópicos selecionados em otimização combinatória focando no volume 4B do livro "The Art of Computer Programming".\\ | ||
- | **Horário/Sala:** Qua 10.30, sala TBD.\\ | + | **Horário/Sala:** Qua 10.30, sala 102, prédio 43425.\\ |
**Consultas:** Qua 13.30, sala 216, prédio 43425.\\ | **Consultas:** Qua 13.30, sala 216, prédio 43425.\\ | ||
**Detalhes:** Ver a [[http://www.inf.ufrgs.br/ppgc/disciplinas/lista-de-disciplinas/cmp605|página no PPGC]]. | **Detalhes:** Ver a [[http://www.inf.ufrgs.br/ppgc/disciplinas/lista-de-disciplinas/cmp605|página no PPGC]]. | ||
Linha 20: | Linha 20: | ||
> No final de 1999, esses livros foram nomeados entre as doze melhores monografias de ciências físicas do século pelo American Scientist, juntamente com: Dirac sobre mecânica quântica, Einstein sobre relatividade, Mandelbrot sobre fractais, Pauling sobre a ligação química, Russell e Whitehead sobre fundamentos da matemática, von Neumann e Morgenstern sobre teoria dos jogos, Wiener sobre cibernética, Woodward e Hoffmann sobre simetria orbital, Feynman sobre eletrodinâmica quântica, Smith sobre busca por estrutura, e os artigos coletados de Einstein. Uau! | > No final de 1999, esses livros foram nomeados entre as doze melhores monografias de ciências físicas do século pelo American Scientist, juntamente com: Dirac sobre mecânica quântica, Einstein sobre relatividade, Mandelbrot sobre fractais, Pauling sobre a ligação química, Russell e Whitehead sobre fundamentos da matemática, von Neumann e Morgenstern sobre teoria dos jogos, Wiener sobre cibernética, Woodward e Hoffmann sobre simetria orbital, Feynman sobre eletrodinâmica quântica, Smith sobre busca por estrutura, e os artigos coletados de Einstein. Uau! | ||
- | A seminário fico no volume 4B, sobre otimização combinatória, publicado em maio de 2019. | + | O seminário foca no [[https://www-cs-faculty.stanford.edu/~knuth/fasc5c.ps.gz|volume 4B, sobre otimização combinatória]] (postscript!), publicado em maio de 2019. |
+ | {{:inf5504:sy.png?600|ominoes}} | ||
===== Notícias ===== | ===== Notícias ===== | ||
- | * Previsão 1o encontro: 14 de agosto. | + | * 1o seminário: 21/08. |
+ | | ||
===== Resultados ===== | ===== Resultados ===== | ||
===== Materiais ===== | ===== Materiais ===== | ||
+ | * {{:inf5504:7.2.2-backtrack_programming.pdf|Volume 4B, Fascículo 5B, Backtrack programming}} (0th printing, revision 1, 19 July 2019) | ||
+ | * {{:inf5504:7.2.2.1-dancing_links.pdf|Volume 4B, Fascículo 5C, Dancing links}} (0th printing, revision 2, 26 July 2019) | ||
+ | * {{:inf5504:7.2.2.2-satisfiability.pdf|Volume 4B, Fascículo 6A, Satisfiability}} (0th printing, revision 5, 15 September 2015) | ||
* [[https://www-cs-faculty.stanford.edu/~knuth/news.html|Pre-prints, The Art of Computer Programming, Volume 4B]] | * [[https://www-cs-faculty.stanford.edu/~knuth/news.html|Pre-prints, The Art of Computer Programming, Volume 4B]] | ||
==== Encontros ==== | ==== Encontros ==== | ||
- | ^ No. ^ Data ^ Tópicos ^ Cap.((Capítulo nas notas de aula)) ^ Exercícios ^ Soluções ^ Leitura ^ | + | ^ No. ^ Data ^ Tópicos ^ Cáp. ^ Apresentador ^ |
+ | | 1 | 14/08 | Introdução | | Marcus | | ||
+ | | | 21/08 | //Sem encontro// | | | | ||
+ | | 2 | 28/08 | Seminário 1: Introdução a Backtracking | 7.2.2 | Gabriel | | ||
+ | | | 04/09 | //Sem encontro// | | | | ||
+ | | 3 | 11/09 | Seminário 2: Busca combinatorial 1 | 7.2.2.1, p.1-6 | Kennya | | ||
+ | | 4 | 18/09 | Seminário 3: Busca combinatorial 2 | 7.2.2.1, p.6-22 | Vinicius | | ||
+ | | 5 | 25/09 | Seminário 4: Enumeration of partitions and trees | 7.2.1.[56] | Alex | | ||
+ | | | 02/10 | //Sem encontro// | | | | ||
+ | | 6 | 09/10 | Seminário 5: Busca combinatorial 3 | 7.2.2.1, p.23-34 | Vitória | | ||
+ | | 7 | 16/10 | Seminário 8: Satisfatibilidade 1 | 7.2.2.2, p.1-27 | Hariel | | ||
+ | | 8 | 23/10 | //Semana academica// | | | | ||
+ | | 9 | 30/10 | Seminário 6: Busca combinatorial 4 | 7.2.2.1, p.34-47 | Leonardo | | ||
+ | | 10 | 06/11 | Seminário 7: Busca combinatorial 5 | 7.2.2.1, p.47-60 | Bruna | | ||
+ | | | 13/11 | //Sem encontro// | | | | ||
+ | | 11 | 20/11 | Seminário 10: Satisfatibilidade 2 | 7.2.2.2, p.27-35 | Luísa | | ||
+ | | 12 | 27/11 | Seminário 11: Satisfatibilidade 3 | 7.2.2.2, p.35-56 | Bruno | | ||
+ | | 13 | 04/12 | Seminário 12: Satisfatibilidade 4 | 7.2.2.2, p.57-71 | | | ||
+ | | 14 | 11/12 | Seminário 13: Satisfatibilidade 5 | 7.2.2.2, p.71-90 | Hermes | | ||
+ | | 15 | 18/12 | Seminário 14: Satisfatibilidade 6 | 7.2.2.2, p.90-133 | Eduardo | | ||
+ | | | 11/01 | Término oficial das aulas. | | | | ||
- | A ser definidos. | ||
==== Avaliação ==== | ==== Avaliação ==== | ||
Linha 77: | Linha 101: | ||
</a> | </a> | ||
</html> | </html> | ||
+ |