Results Obtained at the Department of Mathematical Cybernetics, Faculty of Computational Mathematics and Cybernetics, Moscow State University, in the Field of the Theory of Synthesis and Control of Discrete Control Systems