Problemas de Controle Ótimo Discreto com Restrições Mistas: Um Estudo das Condições de Otimalidade