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 Aktüel`de !!!

sundance

Eğer 'Fazlamesai' kimler tarafından nasıl hazırlanıyor diye merak ediyorsanız, bu hafta Aktüel'de bizlerle yapılan bir röportajı bulabilirsiniz.

Öyle ülkeyi kurtardığımız falan yok, kimselerin bilmediği ilişkileri açıklıyor felan de değiliz, sadece Internet, Türkiye, yeni bir sosyallik üzerine üç beş bir şeyler söyledik belki merak edersiniz :))
Bu arada resimleri görmek için Aktüel'i almanız gerekiyor ;)
Ekleme: Dergiyi taradık.Görmek isteyenler için 1.-2. sayfa (263Kb), 3.sayfa (92Kb)...

Fazlamesai`de kısa bir servis kesintisi

larweda

Hosting şirketimizin sessiz sedasız yaptığı bir server upgrade'inden dolayı fazlamesai.net'in bazı bölümleri birkaç gündür çalışamıyordu. (yeni kullanıcıların e-posta adreslerine gönderilen şifreleri ve şifresini unuttuğu için yeni şifre isteyen kullanıcıların adreslerine gönderilen yeni şifreleri maalesef geçersiz oluyordu!), sorunun varlığını farkettikten ve epey bir mesai fazlası debugging işleminden sonra daha önce kodu geliştirirken gözden kaçırdığımız bir hatayı bulup düzelttik. Artık şifre almakta sorun yaşayan kullanıcılar, tekrar yeni şifre isteyip aldıkları şifrelerle hayatlarına devam edebilirler.

Oluşan geçici rahatsızlık için özür dileriz.

Enerji Tasarrufu

redogre

Fm Forum geri döndü

butch

Birkaç aylık aradan sonra, Fm Forum yeniden yayında. Zamansızlık, Hosting problemleri bu gecikmeye sebep oldu. Herkesten özür diliyoruz. Hadi kayıp zamanın acısını çıkartıp, yüklenelim forumlara.

GPL Uygulamaları Windows'da paralı mı olsun?

sundance

Linux üstünde en sevilen IRC istemcilerinden biri X-Chat Windows için derlenmiş halini $20'a satmaya başladı.

Uzun süredir tartışmak istediğim bir konu.X-Chat bunun tek örneği de değil, bir çok yazılımcı "GNU/Linux üstünde ürünü geliştirirken, Linux camiasına da bir şeyler geri veriyor gibi hissediyoruz ve bu bize yetiyor. Fakat eğer bunu Windows altında kullanmak istiyorsanız para ödemek zorundasınız, ya da oturun kendiniz derleyin" diyor.

Merak ediyorum acaba FM okurları bu konuda ne düşünüyor?