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
- 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
- A hill climbing algorithm with pre-processing and a column replication method for variation tolerant logic mapping problem
Nanodizinlerde varyasyon toleranslı mantıksal haritalama için ön aşamalı bir tepe tırmanma algoritması ve sütun kopyalama metodu
FURKAN PEKER
Yüksek Lisans
İngilizce
2017
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiElektronik ve Haberleşme Mühendisliği Ana Bilim Dalı
YRD. DOÇ. DR. MUSTAFA ALTUN
- Experimentation and optimization of a heat pump integrated dishwasher
Isı pompası entegre edilmiş bulaşık makinası deneyleri ve optimizasyonu
ERKAN KÜTÜK
Yüksek Lisans
İngilizce
2019
Makine MühendisliğiOrta Doğu Teknik ÜniversitesiMakine Mühendisliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ ÖZGÜR BAYER
- Gemi etrafındaki sınır tabakanın incelenmesi
A Study on the boundary layer surrocnding ship hulls
BARIŞ BARLAS
- Heterojen ağlarda yeni el değiştirme algoritması
A new handover algorithm in heterogeneous networks
HAMIDULLAH RIAZ
Doktora
Türkçe
2024
Elektrik ve Elektronik MühendisliğiKocaeli ÜniversitesiElektronik ve Haberleşme Mühendisliği Ana Bilim Dalı
DOÇ. DR. SITKI ÖZTÜRK