A trilha e formada por disciplina optativas eletivas em Algoritmos, Matemática Discreta e Otimização do Bacharelado em Ciência da Computação. O objetivo da trilha é orientar uma formação mais específica de estudantes com interesse em Teoria da Computação.
A trilha é dividida em módulos que indicam áreas da Teoria da Computação. Cada módulo possui duas ou três disciplinas obrigatórias e uma lista de disciplinas optativas. As disciplinas obrigatórias são as consideradas fundamentais e as optativas sugerem uma linha de aperfeiçoamento complementar. Um mesma disciplina pode fazer parte de mais de um módulo.
Para receber um certificado de conclusão da trilha o estudante deve cursar pelo menos sete disciplinas da trilha sendo que dentre essas estão todas as disciplinas obrigatórias de pelo menos dois módulos (quatro ou cinco disciplinas).
Segue a descrição detalhada de cada módulo.
| Sigla | Nome da disciplina |
|---|---|
| MAC0328 | [Obrigatória] Algoritmos em Grafos |
| MAC0414 | [Obrigatória] Autômatos, Computabilidade e Complexidade |
| MAC0325 | Otimização Combinatória |
| MAC0327 | Desafios de Programação |
| MAC0331 | Geometria Computacional |
| MAC0336 | Criptografia para Segurança de Dados |
| MAC0450 | Algoritmos de Aproximação |
| MAC0465 | Biologia Computacional |
| MAC0466 | Teoria dos Jogos Algorítmica |
| MAC0385 | Esruturas de Dados Avançadas |
| Sigla | Nome da disciplina |
|---|---|
| MAC0320 | [Obrigatória] Introdução à Teoria dos Grafos |
| MAT0206 | [Obrigatória] Análise Real |
| MAT0264 | [Obrigatória] Anéis e corpos |
| MAC0414 | Autômatos, Computabilidade e Complexidade |
| MAC0436 | Tópicos de Matemática Discreta |
| MAC0690 | Tópicos em Combinatória Contemporânea I |
| MAC0691 | Tópicos na Teoria Algébrica dos Grafos |
| MAC0692 | Tópicos em Combinatória Contemporânea II |
| MAC0693 | Tópicos Matemáticos para Computação Comtemporânea |
| MAC0775 | Métodos Probabilísticos em Combinatória e em Teoria da Computação I |
| MAC0776 | Métodos Probabilísticos em Combinatória e em Teoria da Computação II |
| MAE0221 | Probabilidade I |
| MAE0224 | Probabilidade II |
| MAE0228 | Noções de Probabilidade e Processos Estocásticos |
| MAE0326 | Aplicações de Processos Estocásticos |
| MAT0225 | Funções Analíticas |
| MAT0234 | Medida e Integração |
| MAT0265 | Grupos |
| MAT0311 | Cálculo Diferencial e Integral V |
| Sigla | Nome da disciplina |
|---|---|
| MAC0315 | [Obrigatória] Otimização Linear |
| MAC0325 | [Obrigatória] Otimização Combinatória |
| MAC0300 | Métodos Numéricos da Álgebra Linear |
| MAC0343 | Otimização Semidefinida e Aplicações |
| MAC0418 | Tópicos Especiais de Programação Matemática |
| MAC0419 | Métodos de Otimização em Finanças |
| MAC0427 | Otimização Não-Linear |
| MAC0450 | Algoritmos de Aproximação |
| MAC0452 | Tópicos de Otimização Combinatória |
| MAC0461 | Introdução ao Escalonamento e Aplicações |
| MAC0473 | Otimização Inteira |
| MAC0691 | Tópicos na Teoria Algébrica dos Grafos |