Rekursiivsete funktsioonide teooria töötas välja 20. sajandi norralane Thoralf Albert Skolem, metaloogika teerajaja, et vältida nn lõpmatuse paradokse. mis tekivad teatud kontekstides, kui "kõiki" rakendatakse funktsioonidele, mis ulatuvad üle lõpmatute klasside; see teeb seda, määrates …
Mis on rekursiivne funktsioon?
Lk 1. Funktsioonide rekursiivsed definitsioonid. Rekursiivsed täisarvulised funktsioonid. Intuitiivselt on rekursiivne funktsioon f üks, mille väljundit saab defineerida antud sisendi jaoks, võrdsustades sellega seotud väljundi avaldisega, mis sisaldab f väljundväärtusi väiksemate sisendite jaoks.
Mis on arvutatavuse teooria arvutiteaduses?
Arvutavuse teooria, tuntud ka kui rekursiooniteooria, on matemaatilise loogika, arvutiteaduse ja arvutusteooria haru, mis sai alguse 1930. aastatel arvutatavate funktsioonide uurimisest. ja Turingi kraadid.
Mis on rekursiooni mõiste?
Rekursioon on üksuste sarnasel viisil kordamise protsess. Kui programmeerimiskeeltes lubab programm kutsuda funktsiooni sama funktsiooni sees, siis nimetatakse seda funktsiooni rekursiivseks kutsumiseks.
Mis on rekursiivne funktsioon arvutusteoorias?
μ-rekursiivsed funktsioonid (või üldised rekursiivsed funktsioonid) on osafunktsioonid, mis võtavad naturaalarvude lõplikke kortereid jatagastab ühe naturaalarvu. Need on väikseim osafunktsioonide klass, mis sisaldab algfunktsioone ja on suletud kompositsiooni, primitiivse rekursiooni ja operaatori μ all.
