Rekörsiyon ile sembolik integral

Abstract

İİİ ÖZET Rekörsion tekniği ile integral hesabında Lambda teorisi içeriğinde geçerli kurallara uygun MİRANDA dönüşüm yapısında integralin bilgisayar desteğinde sembolik olarak hesabı için bir algoritmik yöntem araştırılmıştır. Bu yöntemle belirsiz integral sembolik olarak hesaplanabilmesi için MİRANDA yapısında rekörsif integral tanımlan ve bu tanımlara dayalı integral alma yöntemleri rekörsif biçime dönüştürülerek geliştirilen algoritma için Church-Rosser teoreminin ispatı verilmiştir. Sonuçta, geliştirilen yöntemlerin kullanımına ilişkin bazı önerilerde bulunulmuştur.

IV ABSTRACT An algorithmic method for the symbolic computation of integrals on a computer is studied. Using recursive techniques for the integral calculus within the frame work of the ^--calculus (Lambda calculus ) using MIRANDA transformations satisfying appropriate conditions. In order to use these methods for the symbolic calculation of indefinite integrals recursive definitions of integrals are given for the MIRANDA structure, and a Church-Rosser theorem is proved for the algorithm developed for the transformation of integration techniques to a recursive form. In conclusion various prorposals are made for the use of the methods developed.