Условия свободной схемы в формальных моделях программтезисы доклада