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 |