Her bir şey Bugün Cevapla
Ara
Kategoriler
duyuru (0)
soru (54)
müzik (2)
film/dizi (1)
teknik (8)
medikal (3)
sözlük (0)
yabancı dil (0)
yer/yön (1)
alınık/satılık (0)
gönül işleri (4)
hayvan (0)
kayıp (0)
kan aranıyor (0)
ev/kalacak yer (0)
Son Cevaplananlar
[]

[lambda calculus] yarin sinavim var programming languages dersinden bi yardimci olun

birisi bana biraz bu lambda calculusten bahsedebilirmi? hicbisey anlamiyorum.. simdi mesela soyle birsey var bunu bana step step bi anlatin gozunuzu seviyim.


- demişki:
plus3 x = succ (succ (succ x))
plus3 = [lambda]x.succ (succ (succ x))

g = [lambda]f.f (f (succ 0))

(Note that the parameter variable f is used in the function position
in the body of g. Terms like g are called higher-order functions.
If we apply g to an argument like plus3, the “substitution rule”
yields a nontrivial computation:)


----simdi bunun devaminda şöyle birsey yaziyor(altta) bu nedir bana step step bi anlatin sunu, bu f nedir nereye kayboluyor falan filan---

g plus3
= ([lambda]f.f (f (succ 0))) (x. succ (succ (succ x)))
i .e. ([lambda]x. succ (succ (succ x)))
(([lambda]x.succ (succ (succ x))) (succ 0))
i .e. ([lambda]x.succ (succ (succ x)))
(succ (succ (succ (succ 0))))
i .e. succ (succ (succ (succ (succ (succ (succ 0))))))

not: hicbisey anlamadigimdan onemli gibi gelen seyleri copy paste yaptm

 
sana yol gözüküyo. devlet eliyle toplu bir para aliyorsun. biraz da yüregin kabarmis.


  • hakkibulut  (11.01.08 09:56:13) 
1
istatistikler
yardım / hakkında
buraya yazılanların hakları Sir Anthony Hopkins'e aittir.
yazan eden compumaster, ilgilenen eden fader
modere edenler angelus, Artibir, aychovsky, baba jo, basond, compumaster, deckard, duyulmasi gerektigi kadar, fader, fraise, groove salad, kahvegibi, kaymaktutmayansicaksut, kibritsuyu, monstro, pandispanya, robin, ron dennis
bu sitede yazılanların hiçbiri doğru değildir. site içeriği küçükler için sakıncalı olabilir. yazılardan yazarları sorumludur. kaynak göstermeden alıntılanamaz. devlet tarafından atanmış bir kurumun internet üzerinde kimin hangi bilgiye ulaşıp ulaşamayacağına karar vermesi insan haklarına aykırıdır. web siteleri kullanıcıların istekleri doğrultusunda bağlandıkları yerlerdir. kullanıcılar isterlerse bir web sitesine bağlanmayabilirler. bu güçleri ve imkanları mevcuttur. bir kullanıcı bir siteye bağlanmak istiyorsa bu onun tercihi ve hakkıdır. bağlanmak istemiyorsa bu yine onun tercihi ve hakkıdır. halkın kendisine hizmet etmesi için görevlendirdiği kurumlar hadlerini aşıp halka neye ulaşıp ulaşmayacağını bilmeyen cahil cühela muamelesi edemezler. ebeveynlerin çocuklarını sakıncalı içeriklerden koruması için çok sayıda bedava ve ücretli yazılım mevcuttur. bu yazılımlar bir web tarayıcısını kullanmaktan daha karmaşık teknik bilgi gerektirmemektedir. devletin milletini küçük düşürmesi ve ebleh yerine koyması yasaktır. Skimlinks ile linkler üzerinden yönlendirme payı alınmaktadır.