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

    131103

    Multikanonik simülasyon yöntemi ile biyomoleküllerin incelenmesi

    Investigation of biological molecules by multicanonical simulation methods

    HANDAN ARKIN

    Doktora

    Türkçe

    Türkçe

    2003

    Fizik ve Fizik MühendisliğiHacettepe Üniversitesi

    Fizik Ana Bilim Dalı

    PROF. DR. TARIK ÇELİK

  2. Tez No

    151966

    Geometry of moving curves and Soliton equations

    Hareketli eğrilerin geometrisi ve Soliton denklemleri

    FİGEN AKINCI

    Yüksek Lisans

    İngilizce

    İngilizce

    2004

    Matematikİzmir Yüksek Teknoloji Enstitüsü

    Matematik Ana Bilim Dalı

    PROF.DR. OKTAY PASHAEV

  3. 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

  4. Tez No

    713781

    Untersuchung der neigungs- und exzentrizitaetsfunktionen und darstellung des gravitationspotentials der erde in kepler-elementen

    Yörünge eğimi ve eksentrisite fonksiyonlarının kullanımlarının araştırılması ve yerçekimi potansiyelinin kepler elemanları cinsinden hesaplanması

    MEHMET GÜVEN KOÇAK

    Yüksek Lisans

    Almanca

    Almanca

    1999

    Jeodezi ve FotogrametriKarlsruher Instıtut Fur Technologıe

    Jeodezi ve Fotogrametri Mühendisliği Ana Bilim Dalı

    PROF. DR. BERNHARD HECK

  5. Tez No

    756452

    İnternal rezorpsiyon kavitelerinin farklı teknikler ile doldurulduğunda dolum kalitesinin invitro olarak incelenmesi

    Invitro examination of filling quality when internal resorption cavities are filled with different obturation techniques

    İDİL ÖZDEN

    Diş Hekimliği Uzmanlık

    Türkçe

    Türkçe

    2022

    Diş HekimliğiMarmara Üniversitesi

    Endodonti Ana Bilim Dalı

    PROF. DR. HESNA SAZAK ÖVEÇOĞLU

Geri Dön