BibTex RIS Kaynak Göster

Lamda algoritmasında kongruanslarının türetimi

Yıl 2011, Cilt: 27 Sayı: 4, 292 - 295, 01.08.2011

Öz

Lamda Kalkülüs 1930’larda mantık bilimcisi Alanzo Church tarafından temelleri kurulan, bir fonksiyon notasyonuna bağlı, çeşitli sistemlerin bir kümesidir (Hindley ve Seldin, 1986). Bilgisayar bilimlerinde Lamda Kalkülüs’ün açık ve sistematik kullanımı Peter Landin, Christopher Strachey ve Lamda Kalkülüs üzerine kurulmuş programlama dillerinin teorik anlatımını geliştiren diğer bilim insanları tarafından başlatılmıştır (Revesz, 1988). λ-algoritmasının alfabesi, yazılım yapısı Church (1965), Kleene (1936), Barendregt (1984), Bakker(1975), Byrkıt (1970), Krivine (1993), Levy (1975) tarafından ortaya konuldu. Daha sonraları Ünlü (1976), Mirasyedioğlu (1982, 1987) ve Albayrak (1982,1985,1986,1989,1993) tarafından çalışıldı. Bu çalışmada; teorik λ-algoritması adı altında bir formal sistem geliştirilmiştir. Sistemin önemli öğeleri: bağıntılar, fonksiyonlar ve operatörlerdir. λ-algoritması yazılım yapısı, türetim teknikleri ve λ-kongruansının tanımı verildi. λ-algoritması kuralları içinde λ-kongruansları türetildi.

Kaynakça

  • Albayrak, L.,(1982). λ-Kültüründen Cebirsel Yapı Türetimi, Ege Üniversitesi, Fen Fakültesi, İzmir.
  • Albayrak, L., (1985). λ-Algoritmasındaλ-Kültürünün Tanımı veTMT Operatörünün Türetilmesi, A.Ü.Isparta Mühendislik Fakültesi Dergisi, Isparta.
  • Albayrak, L., (1986). Matematik Sistemlerin Bilgsayarla Ayrımı, A.Ü.Isparta Mühendislik Fakültesi Dergisi, Isparta.
  • Albayrak, L., (1990). λ-Algoritmasında Yarı Grup ve MonoidTüretimi, Yüzüncü Yıl Üniversitesi III. Ulusal Matematik Sempozyumu, Van.
  • Albayrak, L., (1993). λ-AlgoritmasındaGrup ve Değişmeli Grup Türetimi, Doğu Akdeniz Üniversitesi IV. Ulusal Matematik Sempozyumu, Magosa.
  • Bakker, J.W.,(1975). λ-Calculus and Compute rScience Theory, Proceedings of Symposium in Rome, pp 27-54.
  • Barendregt, H.P., (1984). λ-Calculus, its Syntax and Semantics, revised ed., North Holland.
  • Byrkıt, D.R. and Petlofrezzo, A.J., (1970). Elements of Number Theory, Prentice-Hall, New Jersey.
  • Church, A., (1965). The Calculi of Lambda-Conversion, Princeton University Press, New York.
  • Eryılmaz, A., (1996), λ-Algoritmasında Kongruansların Türetimi, Yayınlanmamış Yüksek Lisans Tezi, Süleyman Demirel Üniversitesi, Fen Bilimleri Enstitüsü, Isparta
  • Hindley, J.R. and Seldin, J.P.,(1986). Introduction to Combinators and λ-Calculus Cambridge Unv. Press, England.
  • Kleene, S.C.,(1936). λ-Definability and Recursiveness, Duke Mathematical Journal. Vol. 2, pp 340-353.
  • Krivine, J.L.,(1993). Lambda Calculus, Types and Models Masson, Ellise Harswood, England.
  • Levy, J.J., (1975). λ-Calculus and Computer Science Theory, Proceedings of Symposium in Rome, pp 147- 163.
  • Mirasyedioğlu, Ş.,(1982). λ-Functional Exclusive or/and Logical Equivalence, Karadeniz University, Mathematical Journal, Vol.V. No:1, pp 64-76, Trabzon.
  • Mirasyedioğlu, Ş., (1987). λ-Boolean Theory, Intenational Logic Review, 35 pp 13-27.
  • Revesz, G.E.,(1988). λ-Calculus, Combinators and Functional Programing, Cambridge Unv. Press, England.
  • Ünlü, F.,(1976). Kuramsal λ-Algoritması, Atatürk Üniversitesi, Yayın No:472, Erzurum.

The production of congruences in lamda algorithm

Yıl 2011, Cilt: 27 Sayı: 4, 292 - 295, 01.08.2011

Öz

Lamda Calculus was founded in 1930’s by Alanzo Church (Hindley and Seldin, 1986). The systematic and explicit usage of Lamda Calculus were initiated by Peter Landin, Christopher Strachey (Revesz, 1988). The software structure of λ-algorithm has been studied from the point ofdervational techniques by Church (1965), Kleene (1936), Barendregt (1984), Bakker(1975), Byrkıt (1970), Krivine (1993), Levy (1975). In this study, a formal system under the name of theoritical λ-algorithms has been developed.The important elements in it are expressions, functions and operators. The software structure of λ-algorithm, productional techniques and definitions of λ-congruence are given. Under the rules of λ-algorithm, λ-congruences are producted. Later, Ünlü (1976), Mirasyedioğlu (1982, 1987) and Albayrak (1982,1985,1986,1989,1993) were studied λ-algorithms expanded upon algebraic structures.

Kaynakça

  • Albayrak, L.,(1982). λ-Kültüründen Cebirsel Yapı Türetimi, Ege Üniversitesi, Fen Fakültesi, İzmir.
  • Albayrak, L., (1985). λ-Algoritmasındaλ-Kültürünün Tanımı veTMT Operatörünün Türetilmesi, A.Ü.Isparta Mühendislik Fakültesi Dergisi, Isparta.
  • Albayrak, L., (1986). Matematik Sistemlerin Bilgsayarla Ayrımı, A.Ü.Isparta Mühendislik Fakültesi Dergisi, Isparta.
  • Albayrak, L., (1990). λ-Algoritmasında Yarı Grup ve MonoidTüretimi, Yüzüncü Yıl Üniversitesi III. Ulusal Matematik Sempozyumu, Van.
  • Albayrak, L., (1993). λ-AlgoritmasındaGrup ve Değişmeli Grup Türetimi, Doğu Akdeniz Üniversitesi IV. Ulusal Matematik Sempozyumu, Magosa.
  • Bakker, J.W.,(1975). λ-Calculus and Compute rScience Theory, Proceedings of Symposium in Rome, pp 27-54.
  • Barendregt, H.P., (1984). λ-Calculus, its Syntax and Semantics, revised ed., North Holland.
  • Byrkıt, D.R. and Petlofrezzo, A.J., (1970). Elements of Number Theory, Prentice-Hall, New Jersey.
  • Church, A., (1965). The Calculi of Lambda-Conversion, Princeton University Press, New York.
  • Eryılmaz, A., (1996), λ-Algoritmasında Kongruansların Türetimi, Yayınlanmamış Yüksek Lisans Tezi, Süleyman Demirel Üniversitesi, Fen Bilimleri Enstitüsü, Isparta
  • Hindley, J.R. and Seldin, J.P.,(1986). Introduction to Combinators and λ-Calculus Cambridge Unv. Press, England.
  • Kleene, S.C.,(1936). λ-Definability and Recursiveness, Duke Mathematical Journal. Vol. 2, pp 340-353.
  • Krivine, J.L.,(1993). Lambda Calculus, Types and Models Masson, Ellise Harswood, England.
  • Levy, J.J., (1975). λ-Calculus and Computer Science Theory, Proceedings of Symposium in Rome, pp 147- 163.
  • Mirasyedioğlu, Ş.,(1982). λ-Functional Exclusive or/and Logical Equivalence, Karadeniz University, Mathematical Journal, Vol.V. No:1, pp 64-76, Trabzon.
  • Mirasyedioğlu, Ş., (1987). λ-Boolean Theory, Intenational Logic Review, 35 pp 13-27.
  • Revesz, G.E.,(1988). λ-Calculus, Combinators and Functional Programing, Cambridge Unv. Press, England.
  • Ünlü, F.,(1976). Kuramsal λ-Algoritması, Atatürk Üniversitesi, Yayın No:472, Erzurum.
Toplam 18 adet kaynakça vardır.

Ayrıntılar

Diğer ID JA79ZZ57NZ
Bölüm Makale
Yazarlar

Aytekin Eryılmaz Bu kişi benim

Lütfullah Albayrak Bu kişi benim

Yayımlanma Tarihi 1 Ağustos 2011
Yayımlandığı Sayı Yıl 2011 Cilt: 27 Sayı: 4

Kaynak Göster

APA Eryılmaz, A., & Albayrak, L. (2011). Lamda algoritmasında kongruanslarının türetimi. Erciyes Üniversitesi Fen Bilimleri Enstitüsü Fen Bilimleri Dergisi, 27(4), 292-295.
AMA Eryılmaz A, Albayrak L. Lamda algoritmasında kongruanslarının türetimi. Erciyes Üniversitesi Fen Bilimleri Enstitüsü Fen Bilimleri Dergisi. Ağustos 2011;27(4):292-295.
Chicago Eryılmaz, Aytekin, ve Lütfullah Albayrak. “Lamda algoritmasında kongruanslarının türetimi”. Erciyes Üniversitesi Fen Bilimleri Enstitüsü Fen Bilimleri Dergisi 27, sy. 4 (Ağustos 2011): 292-95.
EndNote Eryılmaz A, Albayrak L (01 Ağustos 2011) Lamda algoritmasında kongruanslarının türetimi. Erciyes Üniversitesi Fen Bilimleri Enstitüsü Fen Bilimleri Dergisi 27 4 292–295.
IEEE A. Eryılmaz ve L. Albayrak, “Lamda algoritmasında kongruanslarının türetimi”, Erciyes Üniversitesi Fen Bilimleri Enstitüsü Fen Bilimleri Dergisi, c. 27, sy. 4, ss. 292–295, 2011.
ISNAD Eryılmaz, Aytekin - Albayrak, Lütfullah. “Lamda algoritmasında kongruanslarının türetimi”. Erciyes Üniversitesi Fen Bilimleri Enstitüsü Fen Bilimleri Dergisi 27/4 (Ağustos 2011), 292-295.
JAMA Eryılmaz A, Albayrak L. Lamda algoritmasında kongruanslarının türetimi. Erciyes Üniversitesi Fen Bilimleri Enstitüsü Fen Bilimleri Dergisi. 2011;27:292–295.
MLA Eryılmaz, Aytekin ve Lütfullah Albayrak. “Lamda algoritmasında kongruanslarının türetimi”. Erciyes Üniversitesi Fen Bilimleri Enstitüsü Fen Bilimleri Dergisi, c. 27, sy. 4, 2011, ss. 292-5.
Vancouver Eryılmaz A, Albayrak L. Lamda algoritmasında kongruanslarının türetimi. Erciyes Üniversitesi Fen Bilimleri Enstitüsü Fen Bilimleri Dergisi. 2011;27(4):292-5.

✯ Etik kurul izni gerektiren, tüm bilim dallarında yapılan araştırmalar için etik kurul onayı alınmış olmalı, bu onay makalede belirtilmeli ve belgelendirilmelidir.
✯ Etik kurul izni gerektiren araştırmalarda, izinle ilgili bilgilere (kurul adı, tarih ve sayı no) yöntem bölümünde, ayrıca makalenin ilk/son sayfalarından birinde; olgu sunumlarında, bilgilendirilmiş gönüllü olur/onam formunun imzalatıldığına dair bilgiye makalede yer verilmelidir.
✯ Dergi web sayfasında, makalelerde Araştırma ve Yayın Etiğine uyulduğuna dair ifadeye yer verilmelidir.
✯ Dergi web sayfasında, hakem, yazar ve editör için ayrı başlıklar altında etik kurallarla ilgili bilgi verilmelidir.
✯ Dergide ve/veya web sayfasında, ulusal ve uluslararası standartlara atıf yaparak, dergide ve/veya web sayfasında etik ilkeler ayrı başlık altında belirtilmelidir. Örneğin; dergilere gönderilen bilimsel yazılarda, ICMJE (International Committee of Medical Journal Editors) tavsiyeleri ile COPE (Committee on Publication Ethics)’un Editör ve Yazarlar için Uluslararası Standartları dikkate alınmalıdır.
✯ Kullanılan fikir ve sanat eserleri için telif hakları düzenlemelerine riayet edilmesi gerekmektedir.