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

RadyoODTÜ: Cybercafe

postexitus
10 Aralık 2004, 1 dakika okuma süresi

Yaklaşık 5 haftadır RadyoODTÜ'deki bilişim haberleri programı CyberCafe'yi sunuyorum (daha doğrusu sunmaya çalışıyorum). Program cumartesi günleri 17.00-18.00 arasında 103.1 Mhz frekansında RadyoODTÜ'de yayınlanıyor. Programda elimden geldiğince özgür yazılımdan (özellikle Firefox'tan) bahsetmeye çalışıyorum, ancak sizin de tavsiyelerinize ihtiyacım var.

AT&T, Linux konusunda ne kadar ciddi?

Soulblighter
12 Ekim 2004, 2 dakika okuma süresi

Merhaba arkadaşlar,

"AT&T Linux'u deniyor" başlıklı bir yazı göndermiştim. Hararetli bir tartışma başladığını gördüm. Belki de bu yazıyı okuyan herkesin aklında olan bir soru vardı: "AT&T, Linux konusunda ne kadar ciddi?"...

Tam bu sırada eWeek sitesinde bu başlıkla bir haber yayınlandı. Ben de tartışmalara farklı bir boyut getirsin diye hemen bu haberi çevirdim. Okuyalım, tartışalım...
Sevgilerle...

Kablosuz Yaşam

butch
30 Haziran 2006, 1 dakika okuma süresi

fazlamesai.net'e soralım: Teknoparklar İşe Yarayacak Mı?

FZ
24 Temmuz 2006, 1 dakika okuma süresi

Önce bir alıntı:

Devletlerin bu konudaki en cüretkâr adımı teknopark diye adlandırdığımız özel teknoloji geliştirme bölgeleri. Teknoloji alanında yazılım, donanım ya da hizmet üretimi yapacak firmalar bu özel bölgelerde çeşitli vergi avantajları sayesinde rekabetçi bir yapıya bürünüyor. Bunun bizdeki yansıması ise genellikle sadece vergi avantajından faydalanmak için ortada teknopark mantığı içinde ürettiği hiçbir şey olmayan firmaların tüm operasyonunu bu alanlara kaydırması oluyor. Teknopark arazilerinin sahibi olarak metrekare başına aldıkları fahiş kira bedelleriyle üniversitelerin de keyfi yerinde... Sonucun ne olduğu sektörü takip edenlerin malumu. İnşallah 10 yıl sonra 'Teknopark modeli işe yaramıyor, uyguladık, olmadı' gibisinden şeyler duymayız.

Sonra bir soru: Sizce yazılım ve donanım alanında Türkiye kökenli şirketlerin dünya devleri ile rekabet edebilmeleri için Teknopark yapılanması anlamlı ve uzun vadede işe yarayacak bir oluşum mudur?

Enerji Tasarrufu

redogre
25 Ocak 2007, 1 dakika okuma süresi

Matematik Köyünde Bilgisayar Bilimleri