Teaching

2021 – 2nd semester

2021 – 1st semester

2020 – 2nd semester

2020 – 1st semester

2019 – 2nd semester

  • DCC 638 – Introdução à Lógica Computacional

2019 – 1st semester

  • DCC 638/030/049  – Introdução à Lógica Computacional

2018 – 2nd semester

  • DCC 129 – Fundamentos de Teoria da Computação
  • DCC 831 – Teoria da Informação

2018 – 1st semester

  • DCC 129 – Fundamentos de Teoria da Computação

2017 – 2nd semester

  • DCC 831/030/049 – Teoria da Informação
  • DCC 129 – Fundamentos de Teoria da Computação

2017 – 1st semester

  • DCC 129 – Fundamentos de Teoria da Computação

2016 – 2nd semester

  • DCC 111 – Matemática Discreta
  • DCC 831 – Teoria da Informação

2016 – 1st semester

  • DCC 111 – Matemática Discreta
  • DCC 129 – Fundamentos de Teoria da Computação

2015 – 2nd semester

  • DCC 831/030/049 – Teoria da Informação
  • DCC 129 – Fundamentos de Teoria da Computação

2015 – 1st semester

  • DCC 111 – Matemática Discreta
  • DCC 129 – Fundamentos de Teoria da Computação

2014 – 2nd semester

  • DCC 111 – Matemática Discreta
  • DCC 129 – Fundamentos de Teoria da Computação

2014 – 1st semester

  • DCC 111 – Matemática Discreta
  • DCC 004 – AEDS II

2013 – 2nd semester

  • DCC 111 – Matemática Discreta
  • DCC 129 – Fundamentos de Teoria da Computação