В математиці та в інших дисциплінах, які включають в себе формальні мови, включно з математичною логікою і інформатикою, вільна змінна це вид запису, який визначає місця в виразі де можуть відбутись заміни. Ідея пов'язана із позначкою-заповнювачем (англ. 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, Інтернет
V matematici ta v inshih disciplinah yaki vklyuchayut v sebe formalni movi vklyuchno z matematichnoyu logikoyu i informatikoyu vilna zminna ce vid zapisu yakij viznachaye miscya v virazi de mozhut vidbutis zamini Ideya pov yazana iz poznachkoyu zapovnyuvachem angl placeholder simvol yakij piznishe bude zaminenij na ryadok abo bajduzhij simvol yakij vikoristovuyetsya dlya neviznachenogo simvolu Zminna x staye zv yazanoyu zminnoyu koli mi pishemo napriklad Dlya vsih x x 1 2 x2 2x 1 abo Isnuye x takij sho x2 2 Dlya bud yakogo z cih sudzhen logichno ne vazhlivo vikoristovuyemo mi x abo inshij simvol V programuvanni vilna zminna ce zminna vikoristovna v pidprogrami yaka ne ye lokalnoyu zminnoyu abo argumentom PrikladiU virazi k 1 10 f k n displaystyle sum k 1 10 f k n n vilna zminna a k zv yazana otzhe znachennya cogo virazu zalezhit vid n i ne isnuye nichogo na im ya k vid chogo zalezhit znachennya virazu U virazi 0 x y 1 e x d x displaystyle int 0 infty x y 1 e x dx y vilna zminna a x zv yazana otzhe znachennya cogo virazu zalezhit vid y i ne isnuye nichogo na im ya x vid chogo zalezhit znachennya virazu U virazi lim h 0 f x h f x h displaystyle lim h rightarrow 0 frac f x h f x h x vilna zminna a h zv yazana otzhe znachennya cogo virazu zalezhit vid x i ne isnuye nichogo na im ya h vid chogo zalezhit znachennya virazu U virazi x y f x y z displaystyle forall x exists y varphi x y z z vilna zminna a x i y zv yazani zvidsi znachennya istinnosti cogo virazu zalezhit vid z a ne vid x chi y Operatori zv yazuvannya zminnih Nastupni operatori x S x S 0 d x lim x 0 x x ps x displaystyle sum x in S quad quad prod x in S quad quad int 0 infty cdots dx quad quad lim x to 0 quad quad forall x quad quad exists x quad quad psi x ye operatorami zv yazuvannya zminnih Kozhen z nih zv yazuye x Inodi mozhe buti zruchno perejti do zapisu sho robit zv yazuvannya yavnim takogo yak 1 10 k f k n displaystyle sum 1 ldots 10 left k mapsto f k n right dlya sum abo D x x 2 2 x 1 displaystyle D left x mapsto x 2 2x 1 right dlya diferenciyuvannya Primitki Arhiv originalu za 5 travnya 2010 Procitovano 3 travnya 2011 Cya stattya ne mistit posilan na dzherela Vi mozhete dopomogti polipshiti cyu stattyu dodavshi posilannya na nadijni avtoritetni dzherela Material bez dzherel mozhe buti piddano sumnivu ta vilucheno berezen 2017 Ce nezavershena stattya z matematiki Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi Ce nezavershena stattya pro informacijni tehnologiyi Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi