Данный исследовательский проект посвящен созданию инновационного интерактивного тренажера, направленного на развитие навыков логического мышления посредством решения задач типа «рыцари и лжецы». Рассматриваются методики конструирования эффективных обучающих сценариев, основанных на формальной логике и теории графов, с целью автоматизации процесса проверки решений и предоставления мгновенной обратной связи. Проект исследует возможности применения адаптивных алгоритмов для подстройки сложности задач под индивидуальный уровень пользователя, обеспечивая персонализированный образовательный опыт. Будут изучены подходы к визуализации логических структур и построению интуитивно понятного пользовательского интерфейса, что способствует более глубокому освоению материала. Целью является повышение доступности и эффективности обучения решению абстрактных логических задач, имеющих важное значение в различных областях науки и повседневной жизни.