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

GNU İş Başında

FZ
6 Mayıs 2003, 2 dakika okuma süresi

Sevgili Açık Kaynakçılar, Özgürcüler, İmececiler,

Sizler şimdi konu satırına bakıp, "Nereden çıktı bu GNU? Hep iş başında değil miydi ki?" diyeceksiniz.

Efendim mevzu şu:

İstanbul Bilgi Üniveristesindeki sunumda "afazi, celbedilmiş afazi, hediye bilgi, safsata, vesaire" gibi kavramlar dile getirilip etraflıca ne oldukları anlatılmıştı. Ancak aşağıdaki örnekle perçinlenip "koleksiyonerler için özel olarak paketlemekte" fayda var.

fazlamesai.net'e soralım: Blog yayıncılığı ama nasıl?

FK
14 Şubat 2006, 1 dakika okuma süresi

Aslında uzun süredir FM'yi takip ediyordum.Fakat birşeyler sormak bu güne kısmetmiş. Kişilerin sitemiz üzerinden kendi bloglarını yayınlayabilecekleri bir web sitesi projesi dahilinde hangi script'i kullanmamız gerektiği konusunda bir arayış içerisine girdik.

Tekno Büfe

butch
25 Temmuz 2006, 1 dakika okuma süresi

fazlamesai.net'e soralım: Nereye gidiyoruz?

some_plus
17 Ekim 2006, 1 dakika okuma süresi

Bu siteyi takip edenlerin çoğu tahminen bilişim camiasından. Herkes, her sabah kalkıyor, bazısı okula, bazısı işe gidiyor. Şahsen gözlemlediğim birşey var, o da bu camiadan bir çok kişinin güne uykusuz olarak başlıyor olması.

Benim düşüncem bunun sebebinin bitmek bilmeyen bilişim deliliği olması.

Linux Şenliği ve Fazlamesai.net Ekibi

FZ
30 Nisan 2003, 1 dakika okuma süresi

Geriye sayım başladı. Yarından itibaren 4 gün boyunca dolu dolu geçecek bir Linux ve Özgür Yazılım Şenliği´ne hazır mısınız? Bu şenlikte Fazlamesai.net ile ilgili olarak sizi kimler ve neler bekliyor? Bakınız şunlar:

1. Gün 10:45 (Perşembe) : Özgür Yazılımlar Yetersiz Mi? (sundance)
1. Gün 13:30 (Perşembe) : Knoppix Linux Tanıtımı (sundance)
2. Gün 13:30 (Cuma): Hacker Dosyası : Kötü Çocuklar Ne Kadar Kötü? (sundance)
3. Gün 9:30 (Cumartesi): Knoppix Linux Tanıtımı (sundance)
4. Gün 9:30 (Pazar): Netcat ve Reverse Telnet (sundance)
4. Gün 16:30 (Pazar): Türkçe Dili, Belgelendirme, Yerelleştirme (FZ)

Bitti mi? Hayır!

Matematik Köyünde Bilgisayar Bilimleri