Rekursiivisten funktioiden teorian kehitti 1900-luvun norjalainen Thoralf Albert Skolem, metalogiikan edelläkävijä, keinona välttää niin kutsutut äärettömyyden paradokseja. jotka syntyvät tietyissä yhteyksissä, kun "kaikkia" sovelletaan funktioihin, jotka vaihtelevat äärettömien luokkien yli; se tekee sen määrittämällä …
Mikä on rekursiivinen funktio?
Sivu 1. Rekursiiviset funktioiden määritelmät. Rekursiiviset kokonaislukufunktiot. Intuitiivisesti rekursiivinen funktio f on jonka tulos voidaan määrittää tietylle syötteelle rinnastamalla siihen liittyvä tulos lausekkeeseen, joka sisältää f:n lähtöarvot pienemmille tuloille.
Mitä on laskettavuusteoria tietojenkäsittelytieteessä?
Laskennettavuusteoria, joka tunnetaan myös nimellä rekursioteoria, on matemaattisen logiikan, tietojenkäsittelytieteen ja laskentateorian haara, joka sai alkunsa 1930-luvulla laskettavien funktioiden tutkimisesta. ja Turingin asteet.
Mikä on rekursion käsite?
Rekursio on kohteiden toistaminen samalla tavalla. Ohjelmointikielissä, jos ohjelma sallii funktion kutsumisen saman funktion sisällä, sitä kutsutaan funktion rekursiiviseksi kutsuksi.
Mikä on rekursiivinen funktio laskentateoriassa?
μ-rekursiiviset funktiot (tai yleiset rekursiiviset funktiot) ovat osafunktioita, jotka ottavat luonnollisten lukujen japalauttaa yhden luonnollisen luvun. Ne ovat pienin osafunktioiden luokka, joka sisältää alkufunktiot ja on suljettu kokoonpanon, primitiivisen rekursion ja μ-operaattorin suhteen.
