Tema

Uma das idéias centrais em Ciências da Computação é a noção de algoritmo, junto com sua eficiência e eficácia na resolução de problemas computacionais. Muitos problemas importantes podem ser vistos como problemas da busca por valores ótimos, dentro de um espaço de soluções viáveis. Técnicas de otimização e os algoritmos correspondentes despertam, portanto, grande interesse prático.

Objetivo 

Capacitar o postulante a tratar algoritimicamente uma ampla gama de problemas computacionais de interesse prático. Propiciar meios para que o postulante seja capaz de aferir com precisão a eficiência dos algoritmos propostos. Oferecer ao postulante uma formação adequada para tramento eficiente de problemas de otimização combinatória. Proporcionar ao postulante uma formação sólida, diferenciada e ampla sobre os principais temas que suportam a noção de computação, tanto do ponto de vista teórico quanto prático.

Procedimento para obtenção do certificado 

Obter 24 créditos dentre:

·         MC348 Fundamentos Matemáticos da Computação

·         MC358 Fundamentos Matemáticos da Computação

·         MC448 Projeto e Análise de Algoritmos I

·         MC458 Projeto e Análise de Algoritmos I

·         MC548 Projeto e Análise de Algoritmos II

·         MC558 Projeto e Análise de Algoritmos II

·         MC658 Projeto e Análise de Algoritmos III

·         MC668 Bioinformática

·         MC738 Algoritmos Probabilísticos

·         MC748 Algoritmos de Aproximação

·         MC798 Programação Linear Inteira

·         MC848 Linguagens Formais, Computabilidade e Complexidade

·         MC858 Algoritmos Paralelos

·         MC859 Projeto em Teoria da Computação

·         MC868 Linguagens Formais e Autômatos

·         MC878 Teoria e Aplicações de Grafos

·         MC889 Introdução à Criptografia

·         MC898 Fluxo em Redes e Programação Linear

·         MC908 Tópicos Especiais em Teoria da Computação I

·         MC918 Tópicos em Teoria da Computação I

·         MC928 Tópicos em Teoria da Computação II

·         MC938 Algoritmos Criptográficos

·         MC948 Geometria Computacional

O renovação do oferecimento do certificado ocorrerá a cada dois anos, por decisão da CG/IC homologada pela Congregação do IC.