Seol mar théacs é seo: Stochastic optimal control: the discrete time case