Discrete-time control systems, optimality conditions, Pontryagin maximum principle, transversality conditions