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/08/14 12:24]
marcus [Materiais]
inf5504:homepage [2019/10/16 08:56] (Actual)
marcus [Encontros]
Linha 31: Linha 31:
 ===== 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]]
-  * {{:​inf5504:​7.2.2-backtrack_programming.pdf|Volume 4B, Fascículo 5B, Backtrack programming}} 
-  * {{:​inf5504:​7.2.2.1-dancing_links.pdf|Volume 4B, Fascículo 5C, Dancing links}} 
-  * {{:​inf5504:​7.2.2.2-satisfiability.pdf|Volume 4B, Fascículo 6A, Satisfiability}} 
  
 ==== Encontros ==== ==== Encontros ====
Linha 40: Linha 40:
 ^ No. ^ Data  ^ Tópicos ​                                   ^ Cáp.                ^ Apresentador ^ ^ No. ^ Data  ^ Tópicos ​                                   ^ Cáp.                ^ Apresentador ^
 |   1 | 14/08 | Introdução ​                                ​| ​                    | Marcus ​   | |   1 | 14/08 | Introdução ​                                ​| ​                    | Marcus ​   |
-|   2 | 21/08 | Seminário ​ 1: Introdução a Backtracking ​   | 7.2.2               | Gabriel ​  | +|     | 21/08 | //Sem encontro// ​                          ​| ​                    ​| ​          |  
-|   3 | 28/08 | Seminário ​ 2: Busca combinatorial 1        | 7.2.2.1, p.1-6      | Kennya ​   | +|   2 | 28/08 | Seminário ​ 1: Introdução a Backtracking ​   | 7.2.2               | Gabriel ​  
-|   4 | 04/09 | Seminário ​ 3: Busca combinatorial 2        | 7.2.2.1, p.6-22 ​    ​| ​          ​+|     | 04/09 | //Sem encontro// ​                          ​| ​                    ​| ​          
-|   5 | 11/09 | Seminário ​ 4: Busca combinatorial 3        ​| 7.2.2.1, p.23-34    ​Vitória ​  +|   3 | 11/09 | Seminário ​ 2: Busca combinatorial 1        | 7.2.2.1, p.1-6      | Kennya ​   | 
-|   6 | 18/09 | Seminário ​ 5: Busca combinatorial ​       | 7.2.2.1, p.34-47    ​| ​Leonardo  ​+|   4 | 18/09 | Seminário ​ 3: Busca combinatorial 2        | 7.2.2.1, p.6-22 ​    ​| ​Vinicius  ​
-|   7 | 25/09 | Seminário  ​6Busca combinatorial 5        ​| 7.2.2.1, p.47-60    | Bruna     | +|   5 | 25/09 | Seminário ​ 4: Enumeration of partitions and trees  ​| 7.2.1.[56]  ​Alex      | 
-|   8 | 02/10 | Seminário ​ 7: TBD                          ​|                     ​| ​          | +|     | 02/10 | //Sem encontro// ​                          ​| ​                    ​| ​          
-|   9 | 09/10 | Seminário  ​8TBD                          ​                    ​          ​+|   6 | 09/10 | Seminário ​ 5: Busca combinatorial ​       | 7.2.2.1, p.23-34    ​| ​Vitória ​  
-|  10 | 16/10 | Seminário  ​9Satisfatibilidade 1          ​| 7.2.2.2, p.1-27     | Hariel ​   ​+|   7 | 16/10 | Seminário  ​8Satisfatibilidade 1          ​| 7.2.2.2, p.1-27     ​| Hariel ​   ​
-|  11 | 23/10 | Seminário 10: Satisfatibilidade 2          | 7.2.2.2, p.27-35 ​   | Luísa ​    | +|   8 | 23/10 | //Semana academica// ​                      |                     ​| ​          | 
-|  12 | 30/10 | Seminário 11: Satisfatibilidade 3          | 7.2.2.2, p.35-56 ​   |           ​+|   9 | 30/10 | Seminário  ​6Busca combinatorial 4        ​7.2.2.1, p.34-47 ​   ​Leonardo  ​
-|  13 | 06/11 | Seminário 12: Satisfatibilidade 4          | 7.2.2.2, p.57-71 ​   |           | +|  10 | 06/11 | Seminário  ​7Busca combinatorial 5        ​| 7.2.2.1, p.47-60    | Bruna     | 
-|  14 | 13/11 | Seminário 13: Satisfatibilidade 5          | 7.2.2.2, p.71-90 ​   | Hermes ​   | +|     | 13/11 | //Sem encontro// ​                          ​| ​                    ​| ​          
-|  15 | 20/11 | Seminário 14: Satisfatibilidade 6          | 7.2.2.2, p.90-133 ​  | Eduardo ​  |+|  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. ​                ​| ​                    ​| ​          | |     | 11/01 | Término oficial das aulas. ​                ​| ​                    ​| ​          |
 +
 ==== Avaliação ==== ==== Avaliação ====
  
inf5504/homepage.1565796298.txt.gz · Esta página foi modificada pela última vez em: 2019/08/14 12:24 por marcus