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

Fazlamesai.net PC WORLD´de

PCW

PC WORLD'ün Ekim sayısından itibaren Fazlamesai.net ekibi katkılarıyla her ay yayınlanmak üzere "Açık Kaynak" bölümü açtık. Sundance ve Butch ile oturup konuşarak ortaklaşa nasıl bir içerik üretebileceğimizi düşündük ve sonuçta beğeneceğinizi umduğumuz ortak bir çalışmaya imza attık. Bu ilk çalışmamızda başlangıç olarak OSDN kaleleri, VectorLinux'un kurulumu ve Fazlamesai.net dünyasından haberlere yer veriyoruz.

fazlamesai.net'e soralım: MMX kullanıyor musunuz?

Geryon

MMX destekleyen uygulamalar yazıyor musunuz?

En çok hangi algoritmalarda MMX'e başvuruyorsunuz?

Hız artışınız yaklaşık ne kadar oluyor?

fazlamesai.net neden sevilir?

FZ

Evet, 1 yıldan uzunca bir süredir yayın yapan bu site benim tarafımdan neden sevilir ve de takdir edilir? İşte ilk aklıma gelen sebepler :

Pardus

redogre

Pardus 1.1 Alpha Çıkar

butch