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

3. Nesil Windows Media

elrond

Microsoft, multimedia içeriklerine yeni bir boyut getirdiği yeni Windows Media teknolojisi "Corona" yı duyurdu.
Bu sefer olaya biraz server tarafından bakalım. (DivX' de son kullanıcı tarafından bakmıştık)

Windows 2000 server'da olan "Windows Media Services" daha gelişmiş olarak Windows.NET Server Beta 3 ya da Build 3604'te de mevcut bulunuyor. Beta sürümü için oldukça stabil bile sayılabilir. Tabiki BBC Live Windows.NET üzerine taşınmadı ve onbinlerce bağlantı denenmedi. O yüzden gerçekten stabil mi bilemem.

IExplorer kullanmayın da ne kullanırsanız...2

sundance

Distrowatch'un haberine göre Internet tarayıcıları arasındaki rekabette, Mozilla/Firefox ciddi bir avantaj yakalamış durumda
US-CERT'in IE'deki açıkların ciddi risk oluşturduğunu belirtmesi ve başka tarayıcıların kullanılmasını güvenlik açısından tavsiye etmesinin ardından Mozilla ve Firefox downloadlarında ciddi bir artış yaşandığı, Linux dağıtımlarının buluşma noktası olan Distrowatch'da üç yıl öncesinde %60ların üstünde olan MSIE kullanımının ise günümüzde %25'in altına düştüğü belirtilmekte ve bir değişiklik yapmanın zamanı geldiği vurgulanmakta.
Rage Against The Machine'in Guerilla Radio'su aklıma geldi.

It has to start somewhere,
It has to start sometime.
What better place than here,
what better time than NOW?

Fazlamesai.net hakkında birkaç istatistik...

butch

Dikkat edenler farkedecektir. Bu yazı Fazlamesai'de yayınlanan 300'üncü yazı. Bu rakama varmış olmamız gerçekten gurur verici. Ama bundan daha önemli detaylar var işin içinde, size biraz bunlardan bahsetmek istiyorum...

Web Sitelerini Dinliyorum Gözüm Kapalı (ya da FM nasıl tınlıyor)

FZ

Web sitenizin nasıl tınladığını merak ettiniz mi? Pekiyi ya sinestezi diye bir şeyden haberiniz var mı? Görüntüler ses, sesler tad olarak algılanabilir mi, Beethoven'ın bir senfonisi size "tuzlu" gelebilir mi?

fazlamesai.net nasıl tınlıyor diye merak ettim, böyle tınlıyormuş. Benim günlük ise böyle tınlarken, cazci.com, pek de cazvari gelmiyor kulağa! ;-)

fazlamesai.net'e soralım: Çin Nereye Gidiyor?

anonim

ABD tüm dünyanın nefretini toplayarak yoluna devam eder, AB bir birlik olmaktan daha çok uzak, Rusya hala toparlanmaya çalışır ve Japonya Asya'daki teknoloji liderliğini Tayvan ve benzeri ülkelere bırakmaya başlamışken düne kadar insan hakları ihlalleri ve ucuz malları ile gündeme gelen bir süper güçün ayak sesleri artık çok net duyuluyor. Bu girizgahı bana yazdıran sebeplere gelince...