Rekörsif liste yöntemi ile türev hesabına algoritmik yaklaşım
Başlık çevirisi mevcut değil.
- Tez No: 24123
- Danışmanlar: DOÇ. DR. BÜLENT KARASÖZEN
- Tez Türü: Yüksek Lisans
- Konular: Matematik, Mathematics
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 1992
- 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ı: 77
Özet
IV ÖZET Rekörsif liste tekniği ile türev hesabına algoritmik yaklaşımında, Lambda ku- ramında geçerli kurallara uygun MİRANDA dönüşüm yapısı kullanılarak türevin bilgisayar desteğinde analitik olarak hesabı için genel bir algoritma geliştirilmiştir. Türevin analitik olarak hesaplanabilmesi için; bir liste, bir Miranda dönüşüm ve bir Miranda yapısında oluşturulan rekörsif türev tanımları kullanılarak; fonksiyo nun türevinin hesaplanması ve türevi hesaplanan fonksiyonun, Miranda yapısından analitik olarak dönüştürülmesini gerçekleştiren alt algoritmaları ile bunları bütün leştiren bir genel algoritma yazılmıştır. Ayrıca yazılan algoritmalara bütünlük ka zandırmak için dinamik rekörsif fonksiyonlar tanımlanmıştır. Sonuçta, geliştirilen bilginin kullanımına ilişkin bazı önerilerde bulunulmuştur.
Özet (Çeviri)
SUMMARY In this thesis a general algorithm has been developed for the calculation on a computer of non-numeric derivatives using MIRANDA expressions which are valid rules in the Lambda Calculus approach to the calculation of derivatives using recursive list techniques. This algorithm is composed of sub-algorithms which carry out the symbolic tras- formation of the given function into a MIRANDA structure, the calculation of the derivative using recursive definitions and the transformation of the result into standard notation. In order to test these algorithms and produce a working pro gram the recursive functions have been implemented for a wide range of standard input functions. In the light of the result obtained from this work various suggestions are made for its further development.
Benzer Tezler
- Lamda-kuramında coppo-dezanı salle type türetim algoritması
An Algorithm for generating coppo-dezani salle types in lamda-calculus
ZEYNEP ERTÜRK
Yüksek Lisans
Türkçe
2000
Eğitim ve ÖğretimGazi ÜniversitesiMatematik Eğitimi Ana Bilim Dalı
PROF. ŞEREF MİRASYEDİOĞLU
- Rekörsiyon ile sembolik integral
Başlık çevirisi yok
MAHBOBEH LAELİ
Yüksek Lisans
Türkçe
1993
MatematikHacettepe ÜniversitesiMatematik Ana Bilim Dalı
DOÇ. DR. ŞEREF MİRASYEDİOĞLU
- Rekürsif en küçük kare kafes filtreleri
Recursive least squares lattice filters
SADIK ARSLAN
Yüksek Lisans
Türkçe
1992
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiDOÇ. DR. AHMET H. KAYRAN
- Sayısal rekursif süzgeçleme ile video işaretinde gürültü azaltımı
Başlık çevirisi yok
ALİ GANGAL
Yüksek Lisans
Türkçe
1989
Elektrik ve Elektronik MühendisliğiKaradeniz Teknik ÜniversitesiElektrik-Elektronik Mühendisliği Ana Bilim Dalı
PROF. DR. MÜMTAZ YILMAZ