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

fazlamesai.net'e soralım: Pardus ne? Yenir mi?

mos
2 Şubat 2006, 1 dakika okuma süresi

Askerden henüz geldim. Malesef mi denir, iyiki mi denir emin değilim. Ama çoğu zaman, bilgisayarlarla uğraşmaktan başka bir şeye vaktim olmadı.

Web Sitelerini Dinliyorum Gözüm Kapalı (ya da FM nasıl tınlıyor)

FZ
10 Kasım 2005, 1 dakika okuma süresi

Web sitenizin nasıl tınladığını merak ettiniz mi? Pekiyi ya sinestezi diye bir şeyden haberiniz var mı? Görüntüler ses, sesler tad olarak algılanabilir mi, Beethoven'ın bir senfonisi size "tuzlu" gelebilir mi?

fazlamesai.net nasıl tınlıyor diye merak ettim, böyle tınlıyormuş. Benim günlük ise böyle tınlarken, cazci.com, pek de cazvari gelmiyor kulağa! ;-)

EncFS: Şifreli Dosya Sistemi (TÜRKÇE)

sundance
16 Nisan 2005, 9 dakika okuma süresi

EncFS, pratik kullanımlı ve performanslı bir şifrelenmiş dosya sistemi. En önemli iki özelliği, şeffaflığı ve dizin bazında şifreleme yapabiliyor olmanız.

EncFS'in özelikleri ve nasıl kullanılabileceği konusunda Cuma günü Linux DevCenter'da yayınlanan makalemin daha geniş ve Türkçe halini (kesinlikle çeviri değil ;) yazının devamında bulabilirsiniz.

Eğitimde Bilgisayar Dergisi (Retro/pdf)

Alcofribas
23 Temmuz 2009, 1 dakika okuma süresi

80li yıllardan yine güzel bir dergi örneği. Hemen hemen hiçbir yayının bulunmadığı, mevcut olanların ise marka bağımlı olduğu düşünülürse, bu dergi değişik platformları kapsaması sebebiyle gerçekten farklı bir değer ifade ediyor.

Matematik Köyünde Bilgisayar Bilimleri