Описание тега bound-variable

В математике и других дисциплинах, связанных с формальными языками, включая математическую логику и информатику, свободная переменная - это запись, которая указывает места в выражении, где может иметь место подстановка. Идея связана с заполнителем (символ, который позже будет заменен некоторой буквальной строкой) или символом подстановки, который обозначает неуказанный символ.

В компьютерном программировании термин свободная переменная относится к переменным, используемым в функции, которые не являются ни локальными переменными, ни параметрами этой функции. Термин "нелокальная переменная" часто является синонимом в этом контексте.

Связанная переменная - это переменная, которая ранее была свободной, но была привязана к определенному значению или набору значений. Например, переменная x становится связанной переменной, когда мы пишем:

'Для всех x (x + 1)2 = x2 + 2x + 1.' или

"Существует x такое, что x2 = 2". В любом из этих предложений логически не имеет значения, используем ли мы x или какую-либо другую букву. Однако использование той же буквы в другом месте в каком-либо сложном предложении может сбить с толку. То есть свободные переменные становятся связанными, а затем в некотором смысле перестают быть доступными в качестве значений замены для других значений при создании формул.

Термин "фиктивная переменная" также иногда используется для связанной переменной (чаще в общей математике, чем в информатике), но такое использование создает двусмысленность с определением фиктивных переменных в регрессионном анализе.