Исследование методов применения машинного обучения и нейронных сетей для построения динамических персональных траекторий обучаемых и автоматической верификации правильности выполнения заданий в цифровых образовательных системах