Pidstanovka dovilna funkciya z odniyeyi skinchennoyi mnozhini v inshu f X Y displaystyle f X to Y Chasto X Y displaystyle X Y yaksho zh pri comu f displaystyle f biyekciya to f displaystyle f nazivayut perestanovkoyu Pidstanovka zminnoyi v lyambda chislenni RedaguvatiDokladnishe lyambda chislennyaV l chislenni pidstanovka viznachayetsya strukturnoyu indukciyeyu Dlya deyakih ob yektiv P displaystyle P nbsp Q displaystyle Q nbsp ta deyakoyi zminnoyi x displaystyle x nbsp rezultat zmini deyakogo vilnogo vhodzhennya x displaystyle x nbsp v Q displaystyle Q nbsp vvazhayetsya pidstanovkoyu ta viznachayetsya indukciyeyu po stvorennyu Q displaystyle Q nbsp bazis Q x displaystyle Q equiv x nbsp ob yekt Q displaystyle Q nbsp ye samij yak zminna x displaystyle x nbsp Todi P x x P displaystyle P x x equiv P nbsp bazis Q c displaystyle Q equiv c nbsp ob yekt Q displaystyle Q nbsp ye samij yak konstanta c displaystyle c nbsp Todi P x c c displaystyle P x c equiv c nbsp dlya deyakih atomarnih c x displaystyle c not equiv x nbsp krok Q Q 1 Q 2 displaystyle Q equiv Q 1 Q 2 nbsp ob yekt Q displaystyle Q nbsp neatomarnij i maye viglyad aplikaciyi Q 1 Q 2 displaystyle Q 1 Q 2 nbsp Todi P x Q 1 Q 2 P x Q 1 P x Q 2 displaystyle P x Q 1 Q 2 equiv P x Q 1 P x Q 2 nbsp krok Q l x M displaystyle Q equiv lambda x M nbsp ob yekt Q displaystyle Q nbsp neatomarnij ta ye x displaystyle x nbsp abstrakciyeyu l x M displaystyle lambda x M nbsp Todi P x l x M l x M displaystyle P x lambda x M equiv lambda x M nbsp krok Q l y M displaystyle Q equiv lambda y M nbsp ob yekt Q displaystyle Q nbsp neatomarnij ta ye y displaystyle y nbsp abstrakciyeyu l y M displaystyle lambda y M nbsp prichomu y x displaystyle y not equiv x nbsp Todi P x l y M l y P x M displaystyle P x lambda y M equiv lambda y P x M nbsp dlya y x displaystyle y not equiv x nbsp ta y P displaystyle y notin P nbsp abo x M displaystyle x notin M nbsp l z P x z y M displaystyle lambda z P x z y M nbsp dlya y x displaystyle y not equiv x nbsp ta y P displaystyle y in P nbsp ta x M displaystyle x in M nbsp Div takozh RedaguvatiAsociativne chislennya Lyambda chislennyaLiteratura RedaguvatiVolfengagen V E Metody i sredstva vychislenij s obektami Applikativnye vychislitelnye sistemy M JurInfoR Ltd AO Centr YurInfoR 2004 xvi 789 s ISBN 5 89158 100 0 V seriyi https web archive org web 20090117063950 http jurinfor ru library ser php SERID CS Arhivovano17 sichnya 2009 u Wayback Machine Kompyuternye nauki i informacionnye tehnologii nbsp Ce nezavershena stattya z matematiki Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi nbsp Ce nezavershena stattya pro informacijni tehnologiyi Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi Cya stattya potrebuye dodatkovih posilan na dzherela dlya polipshennya yiyi perevirnosti Bud laska dopomozhit udoskonaliti cyu stattyu dodavshi posilannya na nadijni avtoritetni dzherela Zvernitsya na storinku obgovorennya za poyasnennyami ta dopomozhit vipraviti nedoliki Material bez dzherel mozhe buti piddano sumnivu ta vilucheno gruden 2015 Otrimano z https uk wikipedia org w index php title Pidstanovka amp oldid 38517524
