Опера́ція приміти́вної реку́рсії — двомісна операція, широко вживана в теорії рекурсивних функцій. Пара рекурсивних функцій: перша функція від змінних , а інша функція від змінних , утворює функцію від змінних за такою схемою:
Див. також
Джерела
- Енциклопедія кібернетики : у 2 т. / за ред. В. М. Глушкова. — Київ : Гол. ред. Української радянської енциклопедії, 1973. т. 2, ст. 129.
- Jensen, Ronald B.; Karp, Carol (1971), Primitive recursive set functions, Axiomatic Set Theory, Proc. Sympos. Pure Math., т. XIII, Part I, Providence, R.I.: Amer. Math. Soc., с. 143—176, ISBN , MR 0281602
Це незавершена стаття з математики. Ви можете проєкту, виправивши або дописавши її. |
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Opera ciya primiti vnoyi reku rsiyi dvomisna operaciya shiroko vzhivana v teoriyi rekursivnih funkcij Para rekursivnih funkcij persha funkciya vid m 2 displaystyle m 2 zminnih h x 1 x m 1 x m 2 displaystyle h x 1 x m 1 x m 2 a insha funkciya vid m displaystyle m zminnih g x 1 x m displaystyle g x 1 x m utvoryuye funkciyu vid m 1 displaystyle m 1 zminnih f x 1 x m 1 displaystyle f x 1 x m 1 za takoyu shemoyu f x 1 x m 0 g x 1 x m displaystyle f x 1 x m 0 g x 1 x m f x 1 x m n 1 h x 1 x m n f x 1 x m n displaystyle f x 1 x m n 1 h x 1 x m n f x 1 x m n Div takozhRekursivna funkciyaDzherelaEnciklopediya kibernetiki u 2 t za red V M Glushkova Kiyiv Gol red Ukrayinskoyi radyanskoyi enciklopediyi 1973 t 2 st 129 Jensen Ronald B Karp Carol 1971 Primitive recursive set functions Axiomatic Set Theory Proc Sympos Pure Math t XIII Part I Providence R I Amer Math Soc s 143 176 ISBN 9780821802458 MR 0281602 Ce nezavershena stattya z matematiki Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi