Объектом исследования является верификация модели системы «Кофейный автомат». Предметом исследования - технология автоматного программирования. Целью работы является разработка тестового примера для верификации в качестве учебного средства изучения формальной верификации. Исходя из поставленной цели, было проведено теоретическое исследование...
Цель выпускной квалификационной работы – найти комбинаторные формулы для расчета количества автоморфизмов гиперграфов некоторых классов. Объектами исследования являются гиперграфы особого вида, а предметом исследования – автоморфизмы таких гиперграфов.
