Анотація:
Работа завершает изложение общей денотационной модели гибких автономных тренажѐров для привития интеллектуальных навыков. Рассмотрены основы инвариантной к реализациям денотационной модели автоматизированного решения синтезированных тренировочных задач в произвольной многопроцессной операционной системе.