Вільні і зв'язані змінні

В математиці та в інших дисциплінах, які включають в себе формальні мови, включно з математичною логікою і інформатикою, вільна змінна це вид запису, який визначає місця в виразі де можуть відбутись заміни. Ідея пов'язана із позначкою-заповнювачем (англ. placeholder) (символ, який пізніше буде замінений на рядок), або байдужий символ який використовується для невизначеного символу.

Змінна x стає зв'язаною змінною, коли ми пишемо, наприклад:

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

або

'Існує x такий, що x2 = 2.'

Для будь-якого з цих суджень, логічно не важливо використовуємо ми x або інший символ.

В програмуванні, вільна змінна це змінна використовна в підпрограмі, яка не є локальною змінною або аргументом.[1]

Приклади

У виразі

n вільна змінна, а k зв'язана; отже значення цього виразу залежить від n, і не існує нічого на ім'я k , від чого залежить значення виразу.

У виразі

y вільна змінна, а x зв'язана; отже значення цього виразу залежить від y, і не існує нічого на ім'я x , від чого залежить значення виразу.

У виразі

x вільна змінна, а h зв'язана; отже значення цього виразу залежить від x, і не існує нічого на ім'я h , від чого залежить значення виразу.

У виразі

z вільна змінна, а x і y зв'язані; звідси значення істинності цього виразу залежить від z, а не від x чи y.

Оператори зв'язування змінних

Наступні оператори

є операторами зв'язування змінних. Кожен з них зв'язує x.

Іноді може бути зручно перейти до запису, що робить зв'язування явним, такого як

для сум або

для діференціювання.

Примітки


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.