В математиці та в інших дисциплінах, які включають в себе формальні мови, включно з математичною логікою і інформатикою, вільна змінна це вид запису, який визначає місця в виразі де можуть відбутись заміни. Ідея пов'язана із позначкою-заповнювачем (англ. placeholder) (символ, який пізніше буде замінений на рядок), або байдужий символ який використовується для невизначеного символу.
Змінна x стає зв'язаною змінною, коли ми пишемо, наприклад:
- 'Для всіх x, (x + 1)2 = x2 + 2x + 1.'
або
- 'Існує x такий, що x2 = 2.'
Для будь-якого з цих суджень, логічно не важливо використовуємо ми x або інший символ.
В програмуванні, вільна змінна це змінна використовна в підпрограмі, яка не є (локальною змінною) або аргументом.
Приклади
У виразі
n вільна змінна, а k зв'язана; отже значення цього виразу залежить від n, і не існує нічого на ім'я k , від чого залежить значення виразу.
У виразі
y вільна змінна, а x зв'язана; отже значення цього виразу залежить від y, і не існує нічого на ім'я x , від чого залежить значення виразу.
У виразі
x вільна змінна, а h зв'язана; отже значення цього виразу залежить від x, і не існує нічого на ім'я h , від чого залежить значення виразу.
У виразі
z вільна змінна, а x і y зв'язані; звідси значення істинності цього виразу залежить від z, а не від x чи y.
Оператори зв'язування змінних
Наступні оператори
є операторами зв'язування змінних. Кожен з них зв'язує x.
Іноді може бути зручно перейти до запису, що робить зв'язування явним, такого як
для сум або
для діференціювання.
Примітки
- . Архів оригіналу за 5 травня 2010. Процитовано 3 травня 2011.
Ця стаття не містить . (березень 2017) |
Це незавершена стаття з математики. Ви можете проєкту, виправивши або дописавши її. |
Це незавершена стаття про інформаційні технології. Ви можете проєкту, виправивши або дописавши її. |
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет