Teoria da Computação

Optativas de algoritmos, matemática discreta e otimização, para quem tem interesse em computação teórica e quer uma formação mais especializada.

Você pode seguir esta e outras trilhas ao mesmo tempo.

Disciplinas

Módulo Algoritmos

  • MAC0328Algoritmos em Grafosobrigatória
  • MAC0414Autômatos, Computabilidade e Complexidadeobrigatória
  • MAC0325Otimização Combinatória
  • MAC0327Desafios de Programação
  • MAC0331Geometria Computacional
  • MAC0336Criptografia para Segurança de Dados
  • MAC0450Algoritmos de Aproximação
  • MAC0465Biologia Computacional
  • MAC0466Teoria dos Jogos Algorítmica
  • MAC0385Estruturas de Dados Avançadas

Módulo Matemática Discreta

  • MAC0320Introdução à Teoria dos Grafosobrigatória
  • MAT0206Análise Realobrigatória
  • MAT0264Anéis e Corposobrigatória
  • MAC0414Autômatos, Computabilidade e Complexidade
  • MAC0436Tópicos de Matemática Discreta
  • MAC0690Tópicos em Combinatória Contemporânea I
  • MAC0691Tópicos na Teoria Algébrica dos Grafos
  • MAC0692Tópicos em Combinatória Contemporânea II
  • MAC0693Tópicos Matemáticos para Computação Contemporânea
  • MAC0775Métodos Probabilísticos em Combinatória e em Teoria da Computação I
  • MAC0776Métodos Probabilísticos em Combinatória e em Teoria da Computação II
  • MAE0221Probabilidade I
  • MAE0224Probabilidade II
  • MAE0228Noções de Probabilidade e Processos Estocásticos
  • MAE0326Aplicações de Processos Estocásticos
  • MAT0225Funções Analíticas
  • MAT0234Medida e Integração
  • MAT0265Grupos
  • MAT0311Cálculo Diferencial e Integral V

Módulo Otimização

  • MAC0315Otimização Linearobrigatória
  • MAC0325Otimização Combinatóriaobrigatória
  • MAC0300Métodos Numéricos da Álgebra Linear
  • MAC0343Otimização Semidefinida e Aplicações
  • MAC0418Tópicos Especiais de Programação Matemática
  • MAC0419Métodos de Otimização em Finanças
  • MAC0427Otimização Não-Linear
  • MAC0450Algoritmos de Aproximação
  • MAC0452Tópicos de Otimização Combinatória
  • MAC0461Introdução ao Escalonamento e Aplicações
  • MAC0473Otimização Inteira
  • MAC0691Tópicos na Teoria Algébrica dos Grafos

Como funcionam os módulos

Cada módulo tem duas ou três disciplinas obrigatórias, consideradas fundamentais, e uma lista de optativas que sugerem uma especialização complementar.

Pesquisa nesta área

Quer ir além das disciplinas? Estes grupos do Departamento de Ciência da Computação pesquisam temas da trilha. Conversar com um dos professores é o caminho mais direto para começar uma iniciação científica ou achar orientação para o TCC.

  • Otimização e teoria da computação

    Alair Pereira do Lago, Arnaldo Mandel, Carlos Eduardo Ferreira, Cristina Gomes Fernandes, José Coelho de Pina Junior, Marcel Kenji de Carli Silva, Nami Kobayashi, Paulo Feofiloff, Sinai Robins, Yoshiharu Kohayakawa, Yoshiko Wakabayashi

  • Combinatória e teoria dos grafos

    Arnaldo Mandel, Cristina Gomes Fernandes, Guilherme Oliveira Mota, José Coelho de Pina Junior, Marcel Kenji de Carli Silva, Paulo Feofiloff, Sinai Robins, Yoshiharu Kohayakawa, Yoshiko Wakabayashi

  • Métodos computacionais de otimização

    Antoine Laurain, Ernesto G. Birgin, Gabriel Haeser, Julio Michael Stern, Walter Figueiredo Mascarenhas