Linguagens de Programação para Resolver Problemas de Otimização