Tema:
Uma das ideias centrais em Ciência 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 algoritmicamente 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 de algoritmos propostos. Oferecer ao postulante uma formação adequada para tratamento eficiente de problemas de otimização combinatória. Propiciar 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:
- MC358 – Fundamentos Matemáticos da Computação
- MC458 – Projeto e Análise de Algoritmos I
- 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
- 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
A renovação do oferecimento do certificado ocorrerá a cada dois anos, por decisão da CG/IC homologada pela Congregação do IC.