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

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