Применение модели расширенного автомата для проверки знания студентом алгоритма раскраски графа
Данная работа посвящена формальному описанию логики взаимодействия студента с обучающей системой при изучении алгоритма раскраски графа.
| Опубликовано в: : | Двадцать первая Всероссийская конференция студенческих научно-исследовательских инкубаторов, Томск, 13−17 мая 2024 г. : сборник трудов С. 85-86 |
|---|---|
| Главный автор: | Корытников, Егор Владимирович |
| Формат: | Статья в сборнике |
| Язык: | Russian |
| Предметы: | |
| Online-ссылка: | http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001149175 |
Похожие документы
-
Применение модели расширенного автомата для описания интерфейсной части обучающих тренажеров
по: Шайдуллин, Артур Ринатович -
Алгоритм раскраски графа методом сокращенного обхода дерева поиска
по: Беляев, Виктор Афанасьевич - Синтез диагностических тестов для программного обеспечения по срезам расширенного автомата
-
Экспериментальное исследование полноты тестов, построенных по конечно-автоматным срезам расширенного автомата
по: Никитин, Александр Леонидович -
Проверка переходов в расширенном автомате на основе срезов
по: Михайлов, Юрий Владимирович
