====== Ensino ====== ===== Disciplinas antigas ===== * CMP601: [[cmp601:homepage|Algorithms and theory of computation]] * CMP155: [[cmp155:homepage|Análise e Desenvolvimento de Algoritmos]] * INF05504/CMP605: [[inf5504:homepage|Tópicos selecionados em Otimização Combinatória]] * INF05516: [[inf05516:homepage|Semântica formal]] * INF05508: [[inf05508:homepage|Lógica para computação]] ===== Semestres antigos ===== ==== 2025/1 ==== * INF 5009: [[inf05016:2025-1|Algoritmos avançados]]. * INF 5010: [[inf05010:2025-1|Otimização combinatória]]. ==== 2024/2 ==== * INF 5010: [[inf05010:2024-2|Otimização combinatória]]. * CMP 625: [[cmp625:2024-2|Algorithms]] ==== 2024/1 ==== * INF 5010: [[inf05010:2024-1|Otimização combinatória]]. * INF05009/CMP 268: [[inf05016:2024-1|Algoritmos avançados]]. ==== 2023/2 ==== * INF 5010: [[inf05010:2023-2|Otimização combinatória]]. * CMP 612: [[cmp612:2023-2|Algorithms]] (junto com CMP 621: Exame de Qualificação em Abrangência). ==== 2023/1 ==== * INF 5010: [[inf05010:2023-1|Otimização combinatória]]. * INF05009/CMP 268: [[cmp268:2023-1|Técnicas de busca heurística]]. ==== 2022/2 ==== * INF 5010: [[inf05010:2022-2|Otimização combinatória]]. * INF 5009/CMP 588: [[inf05016:2022-2|Algoritmos Avançados]]. ==== 2022/1 ==== (Jun-Out 2022) * INF 5010: [[inf05010:2022-1|Otimização combinatória]]. * CMP 601: [[cmp601:2022-1|Algorithms and Theory of Computation]]. ==== 2021/2 ==== (Jan-May 2022) * INF 5010: [[inf05010:2021-2|Otimização combinatória]]. * INF05009/CMP 268: [[cmp268:homepage|Técnicas de busca heurística]]. ==== 2021/1 ==== (Aug-Dec 2021) * INF 5010: [[inf05010:2021-1|Otimização combinatória]]. * INF05016/CMP 588: [[inf05016:homepage|Algoritmos avançados]]. ==== 2020/2 ==== (Jan-May 2021) * INF 5010: [[inf05010:2020-2|Otimização combinatória]]. * CMP 601: [[cmp601:2020-2|Algorithms and theory of computation]], and CMP 600: Qualification exam. ==== 2020/1 ==== (Two editions: Apr-Aug; Sep-Dec 2020) * INF 5010: [[inf05010:2020-1|Otimização combinatória]]. * INF 5009: [[cmp268:2020-1|Técnicas de busca heurística]]. * CMP 601: [[cmp601:2020-1|Algorithms and theory of computation]], and CMP 600: Qualification exam. ==== 2019/2 ==== * INF 5010: [[inf05010:2019-2|Otimização combinatória]]. * CMP 601: [[cmp601:2019-1|Algorithms and theory of computation]]. * INF05504/CMP605: [[inf5504:2019-2|Tópicos selecionados em Otimização Combinatória]]. ==== 2019/1 ==== * INF 5010: [[inf05010:2019-1|Otimização combinatória]]. * CMP 268: [[cmp268:2019-1|Técnicas de busca heurística]]. ==== 2018/2 ==== * INF 5010: [[inf05010:2018-2|Otimização combinatória]]. ==== 2018/1 ==== * INF 5010: [[inf05010:2018-1|Otimização combinatória]]. * CMP 601: [[cmp601:2018-1|Algorithms and theory of computation]]. ==== 2017/2 ==== * INF 5010: [[inf05010:2017-2|Otimização combinatória]]. * CMP 268: [[cmp268:2017-2|Heuristic search techniques]]. ==== 2017/1 ==== * INF 5010: [[inf05010:2017-1|Otimização combinatória]]. * INF05016/CMP 588: [[inf05016:2017-1|Algoritmos avançados]]. ==== 2016/2 ==== * INF 5010: [[inf05010:2016-2|Otimização combinatória]]. * CMP 601: [[cmp601:2016-2|Algorithms and theory of computation]]. ==== 2016/1 ==== * INF 5010: [[inf05010:2016-1|Otimização combinatória]]. * CMP 268: [[cmp268:2016-1|Técnicas de busca heurística]]. ==== 2015/2 ==== * INF 5010: [[inf05010:2015-2|Otimização combinatória]]. * INF05016/CMP 588: [[inf05016:2015-2|Algoritmos avançados]]. ==== 2015/1 ==== * INF 5010: [[inf05010:2015-1|Otimização combinatória]]. * CMP 601: [[cmp601:2015-1|Algorithms and theory of computation]]. ==== 2014/2 ==== * INF 5010: [[inf05010:2014-2|Otimização combinatória]], turma A. * INF05016/CMP 588: [[inf05016:homepage|Algoritmos avançados]]. ==== 2014/1 ==== * INF 5010: [[inf05010:2014-1|Otimização combinatória]], turma A. * CMP 268: [[cmp268:2014-1|Técnicas de busca heurística]]. ==== 2013/2 ==== * INF 5010: [[inf05010:2013-2|Otimização combinatória]], turma A. * INF 5016/CMP 588: [[inf05016:2013-2|Algoritmos avançados]]. ==== 2013/1 ==== * INF 5010: [[inf05010:2013-1|Otimização combinatória]]. * CMP 268: [[cmp268:2013-1|Técnicas de busca heurística]]. ==== 2012/2 ==== * INF 5010: [[inf05010:2012-2|Otimização combinatória]], turma A. * INF 5016: [[inf05504:2012-2|Algoritmos avançados]]. ==== 2012/1 ==== * INF 5010: [[inf05010:2012-1|Otimização combinatória]], turma A. * CMP 155: [[cmp155:2012-1|Análise e Desenvolvimento de Algoritmos]]. ==== 2011/2 ==== * INF 5010: [[inf05010:2011-2|Otimização combinatória]], turma A/B. * INF 5016: [[inf05504:2011-2|Algoritmos avançados]]. ==== 2011/1 ==== * INF 5010: [[inf05010:2011-1|Otimização combinatória]], turma U. * CMP 155: [[cmp155:2011-1|Algoritmos e complexidade]]. ==== 2010/2 ==== * INF 5010: [[inf05010:2010-2|Otimização combinatória]], turma U. * INF 5016: [[inf05504:2010-2|Algoritmos avançados]]. ==== 2010/1 ==== * INF05010: [[inf05010:2010-1|Otimização combinatória]], turma U. * CMP155: [[cmp155:2010-1|Analise e Desenvolvimento de Algoritmos]] ==== 2009/2 ==== * INF05010: [[inf05010:2009-2|Otimização combinatória]], turma U. ==== 2009/1 ==== * INF05508: [[inf05508:2009-1|Lógica para computação]], turma B. * INF05010: [[inf05010:2009-1|Otimização combinatória]], turma A. * INF05504/5505: [[inf05504:2009-1|Algoritmos avançados]], turma U. ==== 2008/2 ==== * INF05508: [[inf05508:2008-2|Lógica para computação]], turma C. * INF05010: [[inf05010:2008-2|Otimização combinatória]], turma U. ==== 2008/1 ==== * INF05508: [[inf05508:2008-1|Lógica para computação]], turma A * INF05010: [[inf05010:2008-1|Otimização combinatória]], turma A * CMP155: [[cmp155:2008-1|Análise e Desenvolvimento de Algoritmos]] ==== 2007/2 ==== * INF05508: [[inf05508:2007-2|Lógica para computação]], turma B * INF05010: [[inf05010:2007-2|Otimização combinatória]], turma U ==== 2007/1 ==== * INF05508: [[inf05508:2007-1|Lógica para computação]], turmas A e C * CMP155: [[cmp155:2007-1|Análise e Desenvolvimento de Algoritmos]] ==== 2006/2 ==== * INF05508: [[INF05508:2006-2|Lógica para computação]], turma B * INF05516: [[inf05516:homepage|Semântica formal N]], turma U ==== 2006/1 ==== * INF05508: [[INF05508:2006-1|Lógica para computação]], turma A * INF05516: [[INF05516|Semântica formal N]], turma B