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

Yazılım mühendisliği mühendislik midir? Hacker mantalitesi nerede patlar?

FZ
8 Nisan 2006, 6 dakika okuma süresi

Geçenlerde (en altta linkini verdiğim) bir sunum izledim. Tanıdığım pek çok yazılımcıyı ve yöneticiyi sandalyeye zincirleyip o sunumdaki her sayfayı, her sözcüğü onlara tane tane okutturmak, birkaç kez yüksek sesle tekrar ettirmek istiyorum.

Yazılım mühendisliği mühendislik midir?

Yazılım, çok akıllı bir ya da birkaç adamın odaya kapanıp harala gürele kod yazıp sonra da bakın süper program çıktı ortaya, acayip sofistike işler yapıyor dediği türden sanat, zanaat ve teknik bilgi karışımı gizemli bir üretim alanı mıdır? (Olası tepki: E ama DOOM öyle yazılmadı mı? Bak süper oyun yaptı o zeki ve bilgili adam. Yalan mı? Bak filanca da kapandı odaya süper derleyici, işletim sistemi filan yaptı. Efendim? Her şeyi tek başına yapmadı mı? Yaptı yaptı. Kapandı odaya. Tek başına. Canım birkaç kişi destek vermiştir. Onlar da odaya kapanıp yazan çok zeki ve çalışkan adamlardı. Keşke herkes böyle olsa. Hem tek bir kişinin ya da iki kafadarın geliştirdiği ürünler peşinden fanatiklerini yaratmadı mı ve sevilmedi mi?)

En güzel başlangıç sitesi

sundance
28 Temmuz 2005, 1 dakika okuma süresi

Digg.com son zamanlarda görmeye başladığımız, RSS, blog, social bookmarking gibi teknolojileri birleştiren bir site.

Beğenilen makaleler/haberler mantığı ile çalışıyor ve oldukça ilginç şeyler bulmak mümkün. Bu mantıkta Reddit.com'a da benzemekte. Oldukça başarılı, tavsiye ederim.

Ama benim kişisel tercihim, yıllardır DailyRotation.com

Fazlamesai'nin en genç üyesi!

sundance
3 Eylül 2005, 1 dakika okuma süresi

Fazlamesai.net bugün saat altı civarlarında en genç üyesine kavuştu!
Deniz bebeğe hoş geldin derken, Boran(Butch) ve Aylin'e (Mayli) mutluluklar dileriz.

Fazlamesai Ailesi

Türkiye spam konusunda dertli

cbc
17 Nisan 2008, 1 dakika okuma süresi

Sophos'un elindeki veriye göre Türkiye en çok istenmeyen e-posta yollayan ülkeler listesinde 3. sırada. İşin üzücü kısmı listenin ilk iki sırasındaki ülkelerin hallerinde iyileşme varken Türkiye daha kötü bir duruma gelerek 3. sıraya 'tırmanmış'. Detaylı bilgi haberin devamında. Kaynak: /.

FM.net RSS Okuyucusu

vst
9 Şubat 2005, 1 dakika okuma süresi

Dedik ki; Fazlamesai.net'in bir RSS okuyucusu olsun. Hatta sadece RSS okumasın, daha başka işler de becerebilsin. Ve hatta, bunu bir güzel hep beraber yapalim :)
Buradan hem kaynak koda hem de halihazırda QT kütüphanesi olan FMcilerin çalıştırabileceği bir ikili dosyaya ulaşabilirsiniz.

Matematik Köyünde Bilgisayar Bilimleri