Рекурсив функцийн онолыг 20-р зууны Норвегийн Торалф Альберт Сколем, металлологийн анхдагчхязгааргүйн парадокс гэгдэхээс зайлсхийх зорилгоор боловсруулсан. Хязгааргүй ангиудад хамаарах функцүүдэд "бүгд"-ийг хэрэглэх үед тодорхой нөхцөл байдалд үүсдэг; …-г зааж өгснөөр үүнийг хийдэг.
Рекурсив функц гэж юу вэ?
Хуудас 1. Функцуудын рекурсив тодорхойлолтууд. Рекурсив бүхэл тоон функцууд. Зөн совингийн хувьд f нь рекурсив функц нь өгөгдсөн оролтод холбогдох гаралтыг жижиг хэмжээтэй оролтын хувьд f-ийн гаралтын утгыг агуулсан илэрхийлэлтэй тэнцүүлэх замаар тодорхойлж болох нэг юм.
Компьютерийн шинжлэх ухаанд тооцоолох чадварын онол гэж юу вэ?
Тооцоолох чадварын онол нь рекурсын онол гэгддэг математик логик, компьютерийн шинжлэх ухаан-ийн нэг салбар бөгөөд 1930-аад онд тооцоолж болох функцуудыг судлах замаар үүссэн тооцооллын онол юм. болон Тюринг зэрэг.
Рекурс гэж юу вэ?
Recursion нь зүйлүүдийг өөртэйгөө төстэй байдлаар давтах үйл явц юм. Програмчлалын хэлэнд хэрэв програм нь ижил функц доторх функцийг дуудах боломжийг олгодог бол үүнийг функцийн рекурсив дуудлага гэж нэрлэдэг.
Тооцооллын онолд рекурсив функц гэж юу вэ?
μ-рекурсив функцууд (эсвэл ерөнхий рекурсив функцууд) нь натурал тоонуудын хязгаарлагдмал багцуудыг авдаг хэсэгчилсэн функцууд юм. ганц натурал тоог буцаана. Эдгээр нь анхны функцуудыг багтаасан хэсэгчилсэн функцүүдийн хамгийн жижиг ангилал бөгөөд найрлага, команд рекурс болон μ операторын дор хаагддаг.