Täisrekursiivne funktsioon
Matemaatilises loogikas ja arvutiteaduses on üldine rekursiivne funktsioon, osaline rekursiivne funktsioon või μ-rekursiivne funktsioon naturaalarvudest naturaalarvudeni osaline funktsioon, mis on "arvutatav" nii intuitiivses kui ka formaalses mõttes. Kui funktsioon on totaalne, nimetatakse seda ka totaalseks rekursiivseks funktsiooniks või täisrekursiivne funktsiooniks (mõnikord lühendatakse seda rekursiivseks funktsiooniks). Arvutavuse teoorias on näidatud, et μ-rekursiivsed funktsioonid on just need funktsioonid, mida saab arvutada Turingi masinatega (see on üks Church-Turingi teesi toetavatest teoreemidest). μ-rekursiivsed funktsioonid on tihedalt seotud primitiivsete rekursiivsete funktsioonidega ja nende induktiivne määratlus põhineb primitiivsete rekursiivsete funktsioonide omal. Kuid mitte iga täielik rekursiivne funktsioon ei ole primitiivne rekursiivne funktsioon – kuulsaim näide on Ackermanni funktsioon.