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: Yenilikler

butch

Yaklaşık 2 ay önce yaptığımız altyapı değişikliğinden sonra FM'e yavaş yavaş yeni özellikler eklemeye başladık. Bunların bir kısmı dikkatinizi zaten çekmiştir. Biz yine de sizi bilgilendirelim.

Fazlamesai Çeviri Harekatı !!!

sundance

Fazlamesai Camiası olarak iki yılı aşkın süredir haberleri/bilgileri paylaşmak konusunda bayağı bir yol aldık. Yeni arkadaşlar tanıdık, yeni işletim sistemleri kurduk, yeni tartışmalar yaptık.

"Söz uçar, yazı kalır" doğrultusunda FM olarak, Serbest Yazılım camiasına yararı olan kalıcı bir şeyler oluşturmak için wiki tabanlı www.fazlamesai.org/ceviri ortamını kullanıma açtık.

Şu anda çevrilmekte olan dökümanlara buradan ulaşabileceğiniz gibi siz de döküman önerebilirsiniz. Ama önce üye olun. Üye olurken dikkat etmeniz gereken isminizin SunDance gibi en az iki büyük iki küçük harften oluşması.
Hadi bakalım, karanlığa lanet okumak yerine birer mum yakmanın zamanı...

Geek Kızlar

redogre

``Az´´ daha mı iyi?

cbc

Web 2.0'da yapılan konuşmalardan birisinin konusu "Az"ın iyiliği. Konuşmacı rakiplerinizle giriştiğiniz yarışı kazanmanın yolunun ondan bir ya da daha fazla işi yapabilmekten ziyade "az"lıktan geçtiğini savunuyor.

Anladığım kadarı ile özetleyeceğim bu maddeler ile ilgili fazlamesai.net ne düşünüyor?

Beni Bul Bebek

redial

Bebek bir yapay zeka programıydı...
Mehmet Emin Arı'nın yeni bir hikayesi...
turk.internet.com ' dan okuyabilirsiniz