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.