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

FM International: Hello World!

FZ

Yaklaşık 5 yıl önce bugünlerde mütevazı bir şekilde yayın hayatına başlamıştık. Pek çok haber, yorum, görüntü değişikliğinin ardından içeriği televizyona taşıdık, altyapımızı yeniledik, galaksimizi ziyaret etmeye başladık ancak eksik olan bir şey vardı: Dünyadan geribesleme almak!

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

FZ

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?)

17 Ağustos 2001: Deprem Rantı ve Depremzadeler

parsifal

Aradan iki yıl geçmiş. Hayatlarımızda pek çok şey değişti, değişmekte... 2 yıl sonra ilk defa 17 Ağustos gecesi evimdeyim. Koşturmacalar, yorgunluklar geride kalmış. Ama yaralar hala kapanmamış. İnsanlar hala evsiz, işsiz. Yaşam mücadelesi onlar için daha zor geçiyor. Bizler sadece onlara bir müddet yardım elimizi uzatabildik elimizden geldiğince...
Konutları hala bitmemiş, yardıma muhtaç binlerce insan varken biz birde kalkıp SOS 2001 diye fuar düzenliyoruz. Yüzlerce arama kurtarma ekibi kuruldu. Milyonlarca doları kurtarma malzemesine yatırıyorlar, yatırmaya devam edecekler... Fuarda gezip görecekler, siparişlerini verecekler. Tam teşekküllü ekipler olacaklar.

Dediği gibi: "Bana mı olacaklar???"

Kelime Dağarcığımızı Geliştirelim!

parsifal

TDK, hemen hemen haftada iki üç kere girdiğim ve yazım klavuzunu ve sözlüğünü kullandığım en güvenilir Türkçe kaynak.
Geçen gün tesadüf eseri şöyle bir link'e rastladım. Bu link ile elmek (e-posta) grubuna üye oluyorsunuz ve her gün elmek adresinize Türkçe Sözlük’te ve Yabancı Kelimelere Karşılıklar kitabında yer alan birer sözü göderiyorlar.

fazlamesai.net'e soralım: Reklamları yakalayabilecek açık kodlu bir yazılım?

FZ

Bir dostumun sorusu üstüne FM'nin kolektif zekasından, bilgisinden ve deneyiminden yararlanalım dedim, kendisi de kabul etti ve meseleyi FM camiası ile paylaşalım dedik. Kısaca:

"Radyo ve televizyon programlarını kaydedip reklamlar ne zaman başlamış, ne zaman bitmiş şeklinde ses ve görüntü işleme yapabilen, faydalanabileceğim bir API, open source uygulama, vs. var mı ya da daha doğrusu genel olarak bu konuda bir fikrin var mı?