A-algoritmasında kongruasların türetimi
The derivation of congruence in the A-algorithms
- Tez No: 68305
- Danışmanlar: Y.DOÇ.DR. LÜTFULLAH ALBAYRAK
- Tez Türü: Yüksek Lisans
- Konular: Matematik, Mathematics
- Anahtar Kelimeler: Algoritmalar, Kongrüans, Algorithms, Congruence
- Yıl: 1996
- Dil: Türkçe
- Üniversite: Süleyman Demirel Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Matematik Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
Â,-Algoritması yazılım yapısı, türetinı teknikleri bakımından Church [13], Kleene[15], Barendregt[10], Krivine[16], Levy[17], Hindley and Seldin [14], Ünlü[21], Mirasyedioğlu[18,19], Albayrak[2,3,4,5,6] vb. tarafından çalışıldı. Albayrak[2] A,-Algoritmasında Cebirsel Yapılar üzerinde çalıştı. Bu tezde, (i) EBK ve ^-terimleri aracılığında önceden verilen A,-kültüıü, (3-redeksinin indirgemesi kavramlarına dayalı olarak, A,-konguansının tanımı verildi, (ii) Albayrak [2, 3, 4, 5, 6] 'da verilen T; (i = 1, 2,..., 17) operatörlerine dayalı T18 operatörü türetildi, (iii) A-Algoritması kuralları içinde T; (i=l,2,...,18) operatörleri ile Â,-kongruansları türetildi, (iv) Lineer Â.-kongruanslarının tanımı ve türetimi yapıldı. Sonuçta, geliştirilen bilgilerin uygulamada kullanılmasına ilişkin bazı öneriler verildi.
Özet (Çeviri)
The software structure of A,-Algorithm has been studied from the point of derivational technigues by Church[13], Kleene[15], Barendregt [I0J, Krivine[16], Levy[I7], Hindley and Seldin[14], Ünlü[21], Mirasyedioğlu[l8. 19], Albayrak[2, 3, 4, 5, 6], etc. Albayrak[2J, while studying A.- Algorithm, expanded upon algebraic structures. In this thesis, (i) the definition of ^-congruence was given and on the basis of A,-culture, the reduction of p-redex which were given by EBK and X- tenns. (ii) T]8 operator was derivated on the basis of T; (i = 1, 2 17) operators given in Albayrak [2,3, 4,5,6]. (iii) X- congruences were derivated by Tj (i = 1,2,..., 18) operators in the rules of A.-Algorithm. (iv) The definition and derivation ofLineer X- congruences were made. In conclusion, some suggestions have been made regarding the application of developed knowledge.
Benzer Tezler
- ABS kontrol algoritmasında tahrik kuvveti uygulaması
Applaying an acceleration moment on ABS algoritm
HAYRİ EREN
Yüksek Lisans
Türkçe
1999
Makine Mühendisliğiİstanbul Teknik ÜniversitesiMakine Mühendisliği Ana Bilim Dalı
PROF. DR. ALİ G. GÖKTAN
- A Programmable fuzzy controller emulator chip
Programlanabilir bir puslu denetleyici emülatörü tümdevresi
FİKRET DÜLGER
Yüksek Lisans
İngilizce
1996
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiPROF.DR. UĞUR ÇİLİNGİROĞLU
- Grup teknolojisi imalat sistemi ve sezgisel bir kümelendirme yöntemi
Group technology manufacturing system and a heuristic clustering method
A. KAMİL ATALAR
Yüksek Lisans
Türkçe
1991
Endüstri ve Endüstri Mühendisliğiİstanbul Teknik ÜniversitesiPROF.DR. ATAÇ SOYSAL
- A Comparasion of heuristics for capital constrained project scheduling with discounted cash flows and progress payments
Başlık çevirisi yok
AYCA EVİN SUMER
Yüksek Lisans
İngilizce
1996
Endüstri ve Endüstri MühendisliğiOrta Doğu Teknik ÜniversitesiEndüstri Mühendisliği Ana Bilim Dalı
DOÇ. DR. CANAN SEPİL
- A Neural network approach for classification of mental oisonters
Yapay sinir ağları yardımıyla zihinsel bozuklukların sınıflandırılması
KORAL TÜRKKAN
Yüksek Lisans
İngilizce
1999
Elektrik ve Elektronik MühendisliğiOrta Doğu Teknik ÜniversitesiElektrik-Elektronik Mühendisliği Ana Bilim Dalı
PROF. DR. ERSİN TULUNAY