Biraz geç olmakla birlikte umarım işe yarar.

http://www.cse.ucsc.edu/classes/cmps112/Spring03/readings/lambdacalculus/LambdaCalculusTutorial.pdf


   Kolay gelsin.


Mehmet Ali Aksoy

Chris Stephenson wrote:

Şu anda yürütmekte olan Bilgi Üniversite'sindeki Comp 313 dersim, her haftanın tekli derslerde lambda calculus'a yakın bir dil (Giuseppe) kullanıyoruz.

Aslında Scheme içinde birkaç sınır koyarak ve birkaç isim değiştirerek, Giuseppe oluşuyor. Giuseppe ismi Giuseppe Peano'dan.

Daha Lambda calculus'a yakın birşey yapacaktım ama bu sene vaktim yetmedi. Seneye, herhalde dersi "Alonzo" dilinde vereceğim.

Henüz yayınlanmamış bir Matematil Dünyası makalemde aynı konuyu çalışıyorum. Ali Nesin henüz makaleyi kabul etmemiş!

İlginç olan bazı sınılamalar dili çok güçlendiriyor. (Her fonksiyonun tek parametreli olması, örneğin). Currying ya da Schünfinkeling yaparak çok paramtereli fonksiyonlar oluşturmak zorunda olduğumuz için, her parametre tek tek eklyebiliriz ve clousre yapmak çok kolay ve doğal oluyor.

Kod örnekleri burada:
http://cs.bilgi.edu.tr/pages/courses/year_3/comp_313/examples/

Umarım yardımcı olur

Emre'nin verdiği wikipedia sayfalar gerçekten güzel.

Bu arada artık comp 111  de Scheme'de veriyoruz....

CS




Emre Sevinc wrote:

Recai Oktas <[EMAIL PROTECTED]> writes:

Merhaba,

Imperatif kafamla (evet, ufaktan teshisler de koyuyorum boyle :-) bu
"Lambda calculus" formalizmini cozmeye calisiyorum su gunlerde.  Arada
bir hos dokumanlar cikiyor karsima.  Onlardan birini faydali olabilir
dusuncesiyle geceyim buraya (Scheme ve C/Pascal ornekleri guzel):

   http://www.jetcafe.org/~jim/lambda.html

Sizin onereceginiz belge ve bulgulari da ogrenmek isterim ayrica.



Konunun uzmani degilim, herhalde aramizdaki daha bilgili bilgisayar
bilimciler faydali bilgiler verecektir.

Lambda calculus deyince benim aklima "semantics" geliyor, okuldaki bili$sel bilimler programinda, dilbilim baglaminda "syntax" dersi alirken arada ona göndermede bulunuyordu hocalarim, bazi makalelerde de örnekleri geciyordu ama dogrudan dersini almadim. Konuyla ilgili ders veren Trakya Universitesi bilg. müh. bölümünden Dr. Yilmaz Kilicaslan vardi:

http://bilgmuh.trakya.edu.tr/yilmazk/

Kisa bir Internet ziyaretinden sonra ilgili oldugunu ve yüzeysel
bilgi verdigini gördügüm (yüzeysel burada kötü anlamda söylenmedi)
siteler:

http://en.wikipedia.org/wiki/Combinatory_logic
http://en.wikipedia.org/wiki/Semantics
http://www.csse.monash.edu.au/~lloyd/tilde/Semantics/
http://en.wikipedia.org/wiki/Denotational_semantics



_______________________________________________
cs-lisp mailing list
cs-lisp@cs.bilgi.edu.tr
http://church.cs.bilgi.edu.tr/lcg
http://cs.bilgi.edu.tr/mailman/listinfo/cs-lisp



_______________________________________________
cs-lisp mailing list
cs-lisp@cs.bilgi.edu.tr
http://church.cs.bilgi.edu.tr/lcg
http://cs.bilgi.edu.tr/mailman/listinfo/cs-lisp

Cevap