Hradla: задача управления платформой робота-пылесоса

В видео рассматриваются основы работы в логическом симуляторе Hradla на примере простой практической задачи управления движением платформы робота-пылесоса вперед, и развороты по часовой и против часовой стрелки. Задача формализована логическими выражениями, проведено ее моделирование и проверка по таблице истинности. Подготовка материалов, презентации, озвучка и монтаж видео: Васин Данил. Видео также опубликовано на Яндекс.Дзен канале "Самостоятельная работа": https://zen.yandex.ru/media/id/603a418d1684900aa2499416/6296b3e150f87d042ae87dc2