Matematik Köyünde Bilgisayar Bilimleri

0
butch
20-26 Ağustos'da Şirince'deki Matematik Köyünde Bilgisayar Bilimleri ile ilgili 2 ders verilecek.

Her iki ders Türkçe verilecek.

Ayrıntlılı bilgi: http://matematikkoyu.org/etkinlikler/2012-tmd-lisans-lisansustu/

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, öreğ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.

İlgili Yazılar

Bira göbek yapmıyor!

sundance

Register.com'un haberine göre, bira göbek yapmıyor! Bira, şarap, süt ve portakal suyunun karşılaştırmaları sırasıyla % 41 - 77- 64 ve 42 oranlarında kalori içerdiklerini belirlenmiş.

Öte yandan, bira ile birlikte kebap yemenin, özellikle de döner kebabın (aynen böyle yazıyor) ve körili sosların, kilo almaya yol açtığı ama öte yandan bunların da kelliği azalttığı ve Duracellvari bir performans artışına yol açtığı da belirtiliyor.
Yok abi ben bira içmiyorum artık, göbek yapıyor diyip ülkemizdeki IT sektörünün gelişmesinin önünü tıkayanlara önemle duyrulur ;)

Vector Linux´ta Türkçe Sorununa Son

ersan

Merhaba. Vector Linux (3.2) kullanıyor ve Türkçe karakter ve klavyede sorun yaşıyorsanız bir kaç küçük işlemle bu sorunu aşabilirsiniz:

MS Windows kullananlar daha mı özgürlükçü? Programcılar çok mu korkak?

FZ

Bir durum saptaması: Etrafımdaki bilgisayarcıların bir kısmı hayatlarının %99'unu MS Windows üzerinde, çoğunlukla kapalı kodlu sistemler kullanarak ve yazılım geliştirerek geçiriyorlar. Bir kısmı ise tamamen açık kodlu GNU/Linux sistemleri üzerinde yine açık kodlu araçlar ile programlar geliştirerek hayatlarını kazanıyorlar. Kapalı kodlu ve birtakım firmaların fikri mülkiyetinde olan sistemleri kullanan ve etrafımda bulunan bilgisayarcıların önemli bir kısmının son yıllarda şu tür cümleler kurduğunu duyuyorum:

Durun, daha biz aya gelemeden...

butch

Kablonet hizmetlerinden yararlanan bir mahalleye 10 metre uzak olmamıza rağmen bu hizmetten yararlanmak için 15000$ keşif bedeli istenmişti bundan 2-3 ay önce bizden. Bugünlerde de binanın önünü kazıyorlar yine sanırım telefon hatlarıyla ilgili olarak. Ha bi de geçen gün yeni telefon hattımızı bağlamak için geldiler Türk Telekom'dan ama yetkili kişi binanın girişindeki kutuya bağladı hattı gerisini elektrikçiyle halletmemiz gerektiğini söyledi. Neyseki böyle durumlara alışığız, işimizi kendi başımıza nasıl yapacağımızı ve hiçbir şeye şaşırmamamız gerektiğini öğrettiler bize bu yolla ne de olsa. Ben bunlarla meşgulken Slashdot.org bir haber yayınladı bugün. Diyorki Amerika'da kanalizasyon şebekelerine fiber-optik kablolar döşenecekmiş (eyvah) hem de bu işi robotlar yapacakmış (eyvah ki ne eyvah)...

Tren gelir hoş gelir...

butch

Trendeyiz Ankara'ya doğru. Malum yarın 1. Türkiye Serbest Yazılım Konferansına katılacağız. Yanımızda bir Laptop'ımız ve bir de gprs destekli bir cep telefonumuz var. Eskişehir dolaylarından geçerken dedik ki şu gprs teknolojisinin güzelliklerinden dostlarımıza bahsedelim.