Nadharia ya utendakazi wa urejeshi ilitengenezwa na Mnorwe wa karne ya 20 Thoralf Albert Skolem, mwanzilishi wa metalogic, kama njia ya kuepuka kinachojulikana kama kitendawili cha infinite. zinazojitokeza katika miktadha fulani wakati "zote" zinatumika kwa vitendakazi ambavyo ni tofauti na madarasa yasiyo na kikomo; inafanya hivyo kwa kubainisha …
Utendaji wa kujirudi ni nini?
Ukurasa wa 1. Ufafanuzi Unaojirudia wa Kazi. Kazi Nambari Zinazojirudia. Kwa kweli, chaguo za kukokotoa za urejeshaji f ni moja ambayo matokeo yake yanaweza kubainishwa kwa ingizo fulani kwa kusawazisha towe lake linalohusishwa na usemi unaojumuisha thamani za towe za f kwa ingizo za ukubwa mdogo.
Nadharia ya utangamano ni nini katika sayansi ya kompyuta?
Nadharia ya utengamano, inayojulikana pia kama nadharia ya kujirudia, ni tawi la mantiki ya hisabati, sayansi ya kompyuta, na nadharia ya ukokotoaji iliyoanzishwa katika miaka ya 1930 kwa uchunguzi wa utendakazi wa tarakilishi. na digrii Turing.
Dhana ya kujirudia ni ipi?
Recursion ni mchakato wa kurudia vitu kwa njia inayofanana. Katika lugha za upangaji programu, ikiwa programu hukuruhusu kuita kitendakazi ndani ya kitendakazi sawa, basi inaitwa mwito wa kujirudia wa chaguo hilo.
Je, utendakazi wa kujirudi katika nadharia ya ukokotoaji ni nini?
Vitendaji vya μ-recursive (au vitendaji vya kujirudishia kwa ujumla) ni vitendaji sehemu ambavyo huchukua nakala kikomo za nambari asili narudisha nambari moja asilia. Hizo ndizo aina ndogo zaidi za chaguo za kukokotoa ambazo zinajumuisha vitendakazi vya awali na hufungwa chini ya utungaji, urejeshaji wa primitive, na opereta μ.
