Построение множеств достижимоститезисы доклада