The finite and infinite horizon problems of dynamic stochastic programs with discrete time are discussed. The backward recursion, the Bellman's equation and the convergence of the optimal solution is described.