Geri Dön

Rekörsiyon ile sembolik integral

Başlık çevirisi mevcut değil.

  1. Tez No: 28451
  2. Yazar: MAHBOBEH LAELİ
  3. Danışmanlar: DOÇ. DR. ŞEREF MİRASYEDİOĞLU
  4. Tez Türü: Yüksek Lisans
  5. Konular: Matematik, Mathematics
  6. Anahtar Kelimeler: Church-Rosser Teoremi, İntegraller, Church-Rosser Theorem, Integrals
  7. Yıl: 1993
  8. Dil: Türkçe
  9. Üniversite: Hacettepe Üniversitesi
  10. Enstitü: Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Matematik Ana Bilim Dalı
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: Belirtilmemiş.

Özet

İİİ Ö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.

Özet (Çeviri)

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.

Benzer Tezler

  1. Tez No

    28748

    Batı Anadolu bölgesi serbest hava anomalisinin filtrelenmesi ve yerkabuğunun incelenmesi

    Filtering of free air anomaly and investigation of crustal thickness of W Anatolian region

    FETHİ AHMET YÜKSEL

    Doktora

    Türkçe

    Türkçe

    1993

    Jeofizik Mühendisliğiİstanbul Üniversitesi

    Jeofizik Mühendisliği Ana Bilim Dalı

    PROF. DR. MUSTAFA ÖZDEMİR

  2. Tez No

    25038

    Kalsiyum eksikliğinin kemik metabolizması üzerindeki etkilerinin radyoizetopik, biyomekanik, densitometrik ve histopatolojik yöntemlerle incelenmesi

    An Investigation of the effect of calcium deficiency on bone metabolism by means of radio-isotopes, biomechanics, densitometric analysis and histopathology

    MİNE CAMBAZOĞLU

    Doktora

    Türkçe

    Türkçe

    1992

    Diş HekimliğiAnkara Üniversitesi

    Ağız, Diş ve Çene Cerrahisi Ana Bilim Dalı

    PROF. DR. SELAHATTİN OR

  3. Tez No

    52482

    Rektion im Deutschen und im Turkishchen

    Başlık çevirisi yok

    SAMİ YILMAZ

    Doktora

    Almanca

    Almanca

    1996

    Alman Dili ve EdebiyatıGazi Üniversitesi

    PROF.DR. BATTAL İNANDI

  4. Tez No

    49126

    Menopoz sonrası normal ve osteoporotik tam dişsiz hastalarda alt çene kret rezorpsiyonunun değerlendirilmesi

    Başlık çevirisi yok

    ELİF SORAL YALÇIN

    Doktora

    Türkçe

    Türkçe

    1996

    Diş HekimliğiAnkara Üniversitesi

    PROF.DR. BETÜL KALIPÇILAR

  5. Tez No

    59714

    İmmediat implantasyon tekniği ile uygulanan hidroksilapatit ve titanyum plazma sprey kaplı implantların histolojik, histomorfometrik ve klinik olarak karşılaştırılması

    Histologic, histomorphometric and clinic comparison of hydroxyapatite coated and titanium plasma sprayed implants in immediate implantation

    ZİHNİ CÜNEYT KARABUDA

    Doktora

    Türkçe

    Türkçe

    1997

    Diş Hekimliğiİstanbul Üniversitesi

    Oral İmplantoloji Ana Bilim Dalı

    PROF. DR. PEKER SANDALLI

Geri Dön