Başlık: Lambda-calculus Eğitmen: MSc. Chris Stephenson Kurum
Transkript
Başlık: Lambda-calculus Eğitmen: MSc. Chris Stephenson Kurum
Başlık: Lambda-calculus Eğitmen: MSc. Chris Stephenson Kurum: İstanbul Bilgi University Tarihler: 20 – 26 August 2012 Önkoşul: Basic mathematical skills. Seviye: Beginning, advanced undergraduate. İçerik: λ-calculus 80 sene önce icat edilmiş. Tamamen soyut matematiksel bir yapı. Ancak giderek λ-calculus ya da en az “lambda” kelimesi “Pratik” dünyada da moda olmuş. Python'da, Java'da, C#'da artık “ λ” var. Dersta λ-caclulus'un hem pratik ve teorik yanlarına bakılacak. Uygulamada λ-calculus değerlendiren programlar yazacağız. Program Neden λ-calculus? Tarih ve önemi. Gödel, Church and Turing. Sembollar ve ikame sorunları. Bağlı ve serbest semboller De Bruijn sayıları Schönfinkelling Church-Rosser niteliği ve pratik önemi. λ-calculus Church-Rosser'dir. Church sayılar, mantık, aritmetik. Normal form Özyineleme ve Y combinatörü Açgöz ve tembel değerlendirilme Gerçek programlama dilleri ve λ-calculus. λ-calculus gibi bir dilde λ-calculus değelendiren bir program yazmak Church-Turing tezi.