The Quantum Faedo-Galerkin Equation: Evolution Operator and Time Discretization. (4th May 2017)