Departamento de Informática Teórica | Planos de Ensino Informática Teórica
Observação: planos de ensino adaptados ERE que referenciam 2020/1, 2020/2 ou 2021/1 não foram alterados em 2021/2.
ATENÇÃO: Para ficar mais claro, os planos que sofreram alterações em 2021/2 estão em Negrito.
EM VERMELHO: Disciplinas somente com atividades REMOTAS.
EM AZUL: Disciplinas com atividades remotas e atividades PRESENCIAIS.
- Agentes Autônomos e Sistemas Multiagentes (INF05019)
- Biologia Computacional (INF05018)
- Complexidade de Algoritmos B (INF05515) [SEMI-PRESENCIAL]
- Fundamentos de Algoritmos (INF05008) [SEMI-PRESENCIAL]
- Linguagens Formais e Autômatos N (INF05005)
- Lógica para Computação (INF05508)
- Otimização combinatória (INF05010)
- Semântica Formal N (INF05516) [SEMI-PRESENCIAL]
- 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 IX (INF05009)
- Tópicos Especiais em Computação XV – Cálculo Lambda e Teoria dos Tipos (INF05013)
- Tópicos Especiais em Computação XXI – Algoritmos Avançados (INF05016)
- Tópicos Especiais em Computação XXVI (INF05021)
- Tópicos Especiais em Computação XXVIII (INF05023)