Rekörsiyon ile sembolik integral
Başlık çevirisi mevcut değil.
- Tez No: 28451
- Danışmanlar: DOÇ. DR. ŞEREF MİRASYEDİOĞLU
- Tez Türü: Yüksek Lisans
- Konular: Matematik, Mathematics
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 1993
- Dil: Türkçe
- Üniversite: Hacettepe Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Matematik Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 91
Ö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
- Geometry of moving curves and Soliton equations
Hareketli eğrilerin geometrisi ve Soliton denklemleri
FİGEN AKINCI
Yüksek Lisans
İngilizce
2004
Matematikİzmir Yüksek Teknoloji EnstitüsüMatematik Ana Bilim Dalı
PROF.DR. OKTAY PASHAEV
- Multikanonik simülasyon yöntemi ile biyomoleküllerin incelenmesi
Investigation of biological molecules by multicanonical simulation methods
HANDAN ARKIN
Doktora
Türkçe
2003
Fizik ve Fizik MühendisliğiHacettepe ÜniversitesiFizik Ana Bilim Dalı
PROF. DR. TARIK ÇELİK
- 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
1993
Jeofizik Mühendisliğiİstanbul ÜniversitesiJeofizik Mühendisliği Ana Bilim Dalı
PROF. DR. MUSTAFA ÖZDEMİR
- 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
1999
Jeodezi ve FotogrametriKarlsruher Institut für TechnologieJeodezi ve Fotogrametri Mühendisliği Ana Bilim Dalı
PROF. DR. BERNHARD HECK
- Servikal eksternal rezorpsiyon kavitelerinin farklı materyaller ile tamiri sonrası statik kuvvet uygulanmasının oluşturduğu gerilmelerin değerlendirilmesi: Üç boyutlu sonlu elemanlar analizi
Evaluation of the stress distribution by the application of static force after the repair of cervical external resorption cavities with different materials: Three-dimensional finite element analysis
MERVE ÇOBAN ÖKSÜZER
Diş Hekimliği Uzmanlık
Türkçe
2023
Diş HekimliğiRecep Tayyip Erdoğan ÜniversitesiEndodonti Ana Bilim Dalı
DR. ÖĞR. ÜYESİ AHTER ŞANAL ÇIKMAN