Вільні і зв'язані змінні
З Вікіпедії, безкоштовно encyclopedia
В математиці та в інших дисциплінах, які включають в себе формальні мови, включно з математичною логікою і інформатикою, вільна змінна це вид запису, який визначає місця в виразі де можуть відбутись заміни. Ідея пов'язана із позначкою-заповнювачем (англ. placeholder) (символ, який пізніше буде замінений на рядок), або байдужий символ який використовується для невизначеного символу.
Змінна x стає зв'язаною змінною, коли ми пишемо, наприклад:
- 'Для всіх x, (x + 1)2 = x2 + 2x + 1.'
або
- 'Існує x такий, що x2 = 2.'
Для будь-якого з цих суджень, логічно не важливо використовуємо ми x або інший символ.
В програмуванні, вільна змінна це змінна використовна в підпрограмі, яка не є локальною змінною або аргументом.[1]