Rekürsif fonksiyonlar

Rekürsif fonksiyonların kullanımı ve yaygınlaşmasına en büyük katkıyı Matematik Lojik sağlamıştır. Bu çalışma, Rekürsif Fonksiyonlara bir giriş olarak hazırlanmıştır. Bu nedenle, Rekürsif Fonksiyonlar ve Matematik Lojik arasındaki bağıntılar ve bağlantılı bazı konulardan ibarettir. Bu tez, beş bölümden oluşur: Birinci bölümde, konuyla ilgili temel tanımlar verilmiştir. İkinci bölümde, Rekürsif Fonksiyonların matematiksel tanımı ve onlara ait bazı örnekler verilmiştir. Üçüncü bölümde, doğal sayılar kümesi ile doğal sayıların sıralı çiftlerinin kümesi arasındaki birebir eşlemenin, Rekürsif Fonksiyonlar yardımıyla nasıl oluşturulduğu anlatılmıştır. Dördüncü bölümde, konunun temeli olan tekrarlı işlemler ve tekrarlı fonksiyonlardan, ayrıca Rekürsif Fonksiyonların bir alt sınıfı olan Primitif Rekürsif Fonksiyonlardan bahsedilmiştir. Beşinci ve son bölümde ise, fonksiyonlarda olduğu gibi, kümelerin ve yüklemlerin rekürsifliği anlatılmıştır.