Herhangi bir kâr amacı gütmeyen ve yegâne amacını gençlere matematiği öğretmek, dolayısıyla sevdirmek olarak tanımlayan Nesin Matematik Köyü'nde bu yaz bilgisayar bilimleri dersi var. Eğitimlerini genelde akademisyenler aracılığıyla veren NMK bu eğitimler karşılığında eğitimcilerine yol parası dahil herhangi bir ücret ödemiyor. Bir toplumsal görev olarak tanımlanan eğitimlere ağustos ayında Chris Stephenson ve Gabriela Aslı Nesin bilgisayar alanında verecekleri dersler ile destek olacak. 20-26 Ağustos'ta verilecek dersler ve içerikleri şu şekilde; 1. Chris Stephenson λ-calculus ve programlama dilleriÖzet: λ-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.
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. 2. Gabriela Aslı Nesin Sonlu Otomata ve Biçimsel Diller İçerik: Bu ders sonlu otomataları, regüler ifadeler ve gramerleri, ve Pompalama Önsavı'nı kapsayacaktır. Eğer zamanımız olursa başka dil sınıflarından da bahsedeceğiz, örneğin lineer, tek sayaçlı veya içerik bağımsız diller. Daha ileri seviyedeki öğrenciler için bir grubun cebirsel yapısı ile kelime probleminin bulunduğu sınıf arasındaki bağlantıdan kısaca bahsedilecektir.
