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

Pardus 1.1 Alpha Çıkar

butch

Vector Linux´ta Türkçe Sorununa Son

ersan

Merhaba. Vector Linux (3.2) kullanıyor ve Türkçe karakter ve klavyede sorun yaşıyorsanız bir kaç küçük işlemle bu sorunu aşabilirsiniz:

Gel Teskere

butch

Gel Teskere

İnsanlık Tarihi Düşündüğümüzden Daha Geriye Mi Uzanıyor?

FZ

13 Şubat 2006 tarihinde Radikal'de Urfa'dan tarihi haber! başlıklı bir yazı çıktı.

Yazıya göre Alman arkeologlar, Şanlıurfa'daki Göbekli Tepe mabedinde, yaklaşık 11 bin yıl öncesine dayanan; insanlığın en eski haber sistemi olarak tanımladıkları ve günümüzde kullanılan yazının ilkel biçimi olan işaretler buldu.

MS'un yeni projesi ''KOD ADI: İSTANBUL ''

sundance

C-Net'in haberine göre Bill Gates, Micros~1'un yeni anında mesajlaşma yazılımı ISTANBUL'un lansmanını 8 Mart'ta San Fransisco'da yapacak.

Habere göre, birkaç aydır beta olarak denenmekte olan bu istemci Live Communications Server'ın bir parçasını oluşturmaktaymış.

Çok alametler belirdi, çoook...