Ferramentas de Utilizador

Ferramentas de Site


inf5504:homepage

Diferenças

Esta página mostra as diferenças entre as duas revisões da página.

Ligação para esta vista de comparação

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! 
  
-seminário ​fico no volume 4B, sobre otimização combinatória,​ publicado em maio de 2019.+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 encontro14 de agosto.+    ​* 1o seminário21/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>​
 +
inf5504/homepage.1562356102.txt.gz · Esta página foi modificada pela última vez em: 2019/07/05 16:48 por marcus