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

JavaScript ile yazılmış bir işletim sistemi

coskung

JS/UIX, web tarayıcılar üzerinden çalışan UN*X-like bir işletim sistemi. sanal makine, kabuk, sanal dosya sistemi, süreç yönetimi, kendi klavyesi (tercihi) ve de vi (!) editörü ile. buyrun burada

Linux Şenliği ve Fazlamesai.net Ekibi

FZ

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!

Ofis

redogre

Erişim Çözücü: Engelli Sitelere Erişim Problemi Çözücü

FZ

GÜNCELLEME (29 Şubat 2008): Kablosuz ağlar ve TreeWalk DNS sorunlarının çözümü için lütfen buraya, buraya ve de buraya bakın.

GÜNCELLEME (27 Şubat 2008): Dosyalar ZIP olarak arşivlendi. Başlık engelleme kararını uygulayan tüm ADSL erişim sağlayıcıları kapsayacak şekilde (Türk Telekom, Superonline, vs.) güncellendi

GÜNCELLEME (22 Şubat 2008): Şu anda MS Vista için çalışmamaktadır. Birkaç gün içinde gerekli güncellemeler yapılıp duyurulacaktır.

Wordpress.com ve muhtelif yerlerde karşımıza çıkan "bu siteye erişim mahkeme kararı ile... bla bla bla" sayfalarından bunalan, deliren bir insansanız size kalıcı bir çözüm sunuyorum. Eğer İngilizce Windows XP ya da Vista kullanıyorsanız Erişim Çözücü v. 0.1b bağlantısına sağ tıklayıp bilgisayarınızın masaüstüne kaydedin. Eğer Türkçe Windows XP kullanıyorsanız o zaman da Türkçe XP için Erişim Çözücü bağlantısına sağ tıklayıp tıklayıp kaydedin. Ardından...

Fazlamesai Forumlar. Yine, yeniden

butch

Bir süre önce kapanan fazlamesai forumları yayın hayatına geri döndü. Buyrun, kaldığımız yerden devam edelim.