«lambda-calculus» etiketlenmiş sorular

Kapalı . Bu sorunun daha fazla odaklanması gerekiyor . Şu anda cevapları kabul etmiyor. Bu soruyu geliştirmek ister misiniz? Soruyu, yalnızca bu yayını düzenleyerek tek bir soruna odaklanacak şekilde güncelleyin . 5 yıl önce kapalı . İlk yılımı (üniversitede) önümüzdeki yıl Bilgisayar Bilimi'nde başlıyorum ve çoğunlukla C dilinde yazıyorum (eğer …

13 programming-languages  computer-science  lambda-calculus 

Λ-hesabı ile ilgili felsefi bir soru diyorum. Λ-calculus'u keşfettiğinizde orada yapabileceğiniz her şeyi görmekten şaşıracaksınız. Tamsayılar, aritmetik işlemler, booleans, if-then-else deyimleri, döngüler, özyinelemeli işlevler, vb. Tanımlayabilirsiniz. Hesaplamanın tamamlandığı kanıtlanmıştır. Ancak diğer tarafta, eğer λ-calculus'taki işlevlerle neler yapabileceğinizi düşünürseniz, yapabileceğiniz tek şeyin onu bir işlevi beslemek olduğunu ve başka bir işlevi …

11 computer-science  lambda-calculus