Ferramentas de Utilizador
inf5504:homepage
Diferenças
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:32] marcus [Notícias] |
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]]. | ||
| + | ===== Sobre "The art of computer programming" ===== | ||
| + | |||
| + | [[https://en.wikipedia.org/wiki/The_Art_of_Computer_Programming|The art of computer programming]] | ||
| + | |||
| + | > At the end of 1999, these books were named among the best twelve physical-science monographs of the century by American Scientist, along with: Dirac on quantum mechanics, Einstein on relativity, Mandelbrot on fractals, Pauling on the chemical bond, Russell and Whitehead on foundations of mathematics, von Neumann and Morgenstern on game theory, Wiener on cybernetics, Woodward and Hoffmann on orbital symmetry, Feynman on quantum electrodynamics, Smith on the search for structure, and Einstein's collected papers. Wow! | ||
| + | |||
| + | > 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! | ||
| + | |||
| + | 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 | | |
| - | TBD | + | | | 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. | | | | ||
| ==== Avaliação ==== | ==== Avaliação ==== | ||
| - | TBD | + | É avaliada a apresentação de um tópico selecionado em um dos seminários (nota S) e a solução de uma lista de exercícios correspondentes ao tópico (nota T). A média final é M=(S+T)/2. |
| ==== Bibliografia ==== | ==== Bibliografia ==== | ||
| - | TBD | + | <html> |
| + | <!-- BEGIN BIBLIOGRAPHY to --> | ||
| + | <!-- | ||
| + | DO NOT MODIFY THIS BIBLIOGRAPHY BY HAND! IT IS MAINTAINED AUTOMATICALLY! | ||
| + | YOUR CHANGES WILL BE LOST THE NEXT TIME IT IS UPDATED! | ||
| + | --> | ||
| + | <!-- Generated by: /home/ritt/toolbox/bin/bib2xhtml-mod -s unsortlist to.bib to.html --> | ||
| + | <ul> | ||
| + | |||
| + | <!-- Authors: Donald E Knuth --> | ||
| + | <li><a name="Knuth/1997a"></a> Donald E. Knuth. | ||
| + | <cite>The art of computer programming</cite>, volume I, Fundamental Algorithms. | ||
| + | Addison-Wesley, 3rd edition, 1997.</li> | ||
| + | |||
| + | <!-- Authors: Donald E Knuth --> | ||
| + | <li><a name="Knuth/1997b"></a> Donald E. Knuth. | ||
| + | <cite>The art of computer programming</cite>, volume II, Seminumerical | ||
| + | Algorithms. | ||
| + | Addison-Wesley, 3rd edition, 1997.</li> | ||
| + | |||
| + | <!-- Authors: Donald E Knuth --> | ||
| + | <li><a name="Knuth/1998"></a> Donald E. Knuth. | ||
| + | <cite>The art of computer programming</cite>, volume III, Sorting and | ||
| + | searching. | ||
| + | Addison-Wesley, 2nd edition, 1998.</li> | ||
| + | |||
| + | </ul> | ||
| + | |||
| + | </html> | ||
| <html> | <html> | ||
| Linha 39: | Linha 101: | ||
| </a> | </a> | ||
| </html> | </html> | ||
| + | |||
inf5504/homepage.1562355144.txt.gz · Esta página foi modificada pela última vez em: 2019/07/05 16:32 (Edição externa)
Ferramentas de Página
Excepto menção em contrário, o conteúdo neste wiki está sob a seguinte licença: CC Attribution-Noncommercial-Share Alike 4.0 International
