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

Başarılı bir açık kod programcısının maddi durumu

FZ

"I didn't have the money to buy a new laptop"
Yukarıdaki cümle genç bir çocuğa ait değil. Yukarıdaki cümle genç bir üniversite öğrencisine de ait değil. Yukarıdaki cümle sıradan bir programcıya ait değil. Yukarıdaki cümle başarısız ya da meşhur olmayan bir programcıya da ait değil.

Cümle, yaklaşık 15 yıl önce Perl programlama dilini yaratan karizmatik programcı ve dilbilimci Larry Wall´a ait. Bu programcının geliştirdiği Perl programlama dili sözlük hazırlama esnasında yine bu programlama dilinden faydalanan Oxford resmi İngilizce sözlüğe girdi. Onbinlerce sistem yönetim yazılımında kullanıldı. Yüzbinlerce web sitesi Perl kullanarak iş güç yaptı ve yapmaya devam ediyor. Perl son zamanlarda moleküler biyoloji alanında veri işleme için de kullanılıyor. Söz konusu adam işte bu dili geliştirmiş ve Linus Torvalds henüz lisede okurken insanlık kültürüne armağan etmiş olan adam. Bu adam şimdi yeni bir efsaneye, Perl 6´ya imza atmaya çalışıyor. Geliştirdiği Perl açık kodlu, karşılığında 5 kuruş istenmiyor ve aklınıza gelen hemen her işletim sisteminde çalışıyor. Böyle bir adamdan bahsediyoruz yani.

Bu adam, yeni bir dizüstü bilgisayar alacak kadar parası olmadığını söylüyor.

Şaşırdım mı? Evet. Şaşırdım mı? Hayır.

Larry Wall, efsanevi State of The Onion sunularının sonuncusunda, 4. sayfada bu yazının açılış cümlesini sarf ediyor.

Ne dersiniz? Sizce bu adam zor durumda mı? ;-)

Hani gündemdeki popüler konulardandır, "ya hoca biz şimdi bu kodları açarsak aç kalmaz mıyız yaa?" falan denir. Bunu diyenler muhtemelen Larry Wall kadar çok ve kaliteli kod üretmemişlerdir. Acaba diyorum şimdi Larry Wall gerçekten de acınası durumda mı? Başka bir perspektif: Daha çok kazanmak varken neden daha az kazanalım? Sahi, Larry Wall, bir dönem NASA için çalışmak dururken acaba daha bol paralı bir işe mi girseydi? Aklıma Once Upon A Time In China filmindeki bir sahne geliyor. Yağmurlu bir ortamda canını dişine takarak gösteri yapan ve sonra yere atılan paraları toplayan bir kung-fu, demir gömlek ustası. Bir süre sonra aynı usta çetin bir kavgada kılıçlı bir adamı silah kullanmadan yendikten sonra bir genç yanına gelip "usta bana da öğret, zor durumdayım, bana saldırıyorlar, artık para bile kazanamıyorum," der. Usta önce biraz ilerideki lokantadaki lezzetli yemeklere yutkunarak bakar, acı acı gülümseyip cevap verir: "Kung-fu ustası olsan ne olur ki, ben de pek para kazanamıyorum".

Sanırım en temel kavramların yeniden düşünülmeye ve irdelenmeye ihtiyacı var; sanırım felsefeye keyfi yerinde, sadece entelektüel olarak huzursuz olan insanların değil asıl ciddi anlamda zor durumda olan insanların ve belki de en çok gençlerin ihtiyacı var. Sanırım büyük adamlar küçük adamların bazı temel kavramları yeniden düşünmelerini istemiyor. Sanırım bu isteklerini gerçekleştirmeleri sahip oldukları muhteşem güce rağmen yine de kolay olmayacak. Ne dersiniz? Şimdi biz bu kodları kapayıp da mı saklasak yoksa açıp da mı saklasak? ;-)

fazlamesai.net'e soralım: Satıcılar neden OO.org yüklü bilgisayar satmıyor?

FZ

Soru orijinal değil, açık, özgür kod dünyasının ve Debian camiasının öncü isimlerinden Bruce Perens'e sorulmuş bu soru bir röportajda. Bruce Perens de bu konudaki şaşkınlığını gizlemiyor:
Eğer OpenOffice.org bu kadar makul bir alternatif ise neden donanım satan şirketlerin gittikçe artan oranda bu yazılımın kurulu geldiği bilgisayarları sattıklarını görmüyoruz?

Açıkçası bir bilgisayar satıcısının bakış açısından baktığımda neden her satılan PC´ye bir OpenOffice yüklemediklerini anlamıyorum. Bunu yapabilecek durumdalar, bu onlar için gayet kolay bir iş.

Belki de gidip o satıcılarından birine sormalıyım bunu ancak şu salakça cevabı almaktan korkuyorum: 'O yazılımı download edebilirsin.' Kimbilir belki de pazarlama dahileri henüz oralara varamamıştır.

Dr. Greg Wilder ile yine müzik ve GNU/Linux üstüne

FZ

Greg Wilder ile 2 sene önce müzik, yapay zekâ, yaratıcılık ve GNU/Linux üstüne gerçekleştirdiğimiz sohbetin ardından okyanusun iki yakasında da pek çok şey oldu.

Geçenlerde yine kendisi ile yazışırken konu döndü dolaştı GNU/Linux tabanlı yazılımların profesyonel kayıt ve ses işleme ortamlarında kullanımına geldi.

Wilder, stüdyosunda gerçekleştirdiği birkaç kayda dair örneği paylaşmak istediğini belirtti ve şu MP3 bağlantıları nı yolladı:

Bilimin Sanata Yansıması

sefalet

Fazlamesai yapanlar arasında çeşitli yöntemler ile yapılmış grafik tasarımlardan hoşlananlar olduğunu tahmin ediyorum.

Princeton Üniversitesi'nin 2005 "Bilimin Sanatı" (art of science) yarışması sonuçları açıklandı, bu adresten sonuçlara bakabilirsiniz;

http://www.princeton.edu/~artofsci/gallery/

Karikatür Robotu

redogre