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: Belirtilmemiş.
- 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ı: 46
Ö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
- Using artificial intelligence and machine learning to solve NP-complete graph theory problems
NP-tam çizge teori problemlerinin çözümü için yapay zeka ve makine öğrenmesi kullanımı
MUSTAFA KEMAL BİNLİ
Yüksek Lisans
İngilizce
2020
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİzmir Ekonomi ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ KUTLUHAN EROL
- Fabrikalardaki otonom taşıyıcı araçlar için çakışmasız statik rota planlaması
Conflict-free static route planning for autonomous transport vehicles in factories
ÖZGE ASLAN
Yüksek Lisans
Türkçe
2020
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolEskişehir Osmangazi ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
DOÇ. DR. AHMET YAZICI
- Çok işlemcili ağlarda paralel ayrık olay benzetimlerinin dağıtık işletim sistemi donanımı için anahtar-tabanlı yaklaşım
Switch-based approach for distributed operating system hardware of parallel discrete event simulaton in many processor network
OSMAN VOLKAN KARACA
Doktora
Türkçe
2023
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolHacettepe ÜniversitesiElektrik-Elektronik Mühendisliği Ana Bilim Dalı
PROF. DR. ALİ ZİYA ALKAR
DOÇ. DR. KAYHAN MUSTAFA İMRE
- Improved differential attacks on rectangle
Rectangle algoritmasında geliştirilmiş diferansiyel saldırılar
ASUMAN ŞENOL
Yüksek Lisans
İngilizce
2017
Bilim ve TeknolojiOrta Doğu Teknik ÜniversitesiEnformatik Ana Bilim Dalı
YRD. DOÇ. DR. AYSU BETİN CAN
DR. CİHANGİR TEZCAN
- Eliptik eğri şifreleme algoritmasında kullanılan nokta çarpım işleminin FPGA uygulaması
An FPGA implementation of point multiplication used in elliptic curve cryptosystems
CEM ÖZDERE
Yüksek Lisans
Türkçe
2004
Elektrik ve Elektronik MühendisliğiHacettepe ÜniversitesiElektrik-Elektronik Mühendisliği Ana Bilim Dalı
Y.DOÇ.DR. MEHMET DEMİRER