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