Departamento de Informática Teórica | Planos de Ensino Informática Teórica
- Biologia Computacional (INF05018)
- Complexidade de Algoritmos B (INF05515)
- Fundamentos de Algoritmos (INF05008)
- Linguagens Formais e Autômatos N (INF05005)
- Lógica para Computação (INF05508)
- Otimização combinatória (INF05010)
- Semântica Formal N (INF05516)
- Teoria da Computação N (INF05501)
- Teoria dos Grafos e Análise Combinatória (INF05512)
- Tópicos Especiais em Computação V (INF05504)
- Tópicos Especiais em Computação XXVI (INF05021)
- Tópicos Especiais em Computação XXVIII (INF05023)