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