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