for 02.03.02 Theoretical Computer Science and Information Technologies