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

E-MBA?

ninja-g

Hadi hep beraber bilgisayarların başına, açın quicktime'ları ders başlıyor. Ding doong, işte hoca konuşmaya başladı. O da ne hiç susmuyor! Hemen pause. Başa al, bi daha. Offf hala anlamadım. En iyisi e-mail atayım, ya da chat mi yapsam hocayla. Dur şu forumlara bakayım belki anlayan biri vardir. Geçen gün Aslı "Pazarlama Erişimi" dersindeki "intervizyonel senkronizasyonu" anlatmıştı, çok zeki kız vallaa. Hahahaha çok zeki çoook..
THIS IS $7000!
content + e-mail + forum + chat + video + "Master yaptım ben" belgesi
Hiç para kullanmadan bilgiyi paylaşırken, WHAT IS THIS?

Balık İçin Teşekkürler... (ya da Google ve Deniz Ürünleri Üstüne...)

FZ

Günlük "siyasi" (!) gazetelerimizin vazgeçilmez öğelerinden biri de arka sayfalarında ya da sağlık köşelerinde mütemadiyen "günde 1 elma yiyin 10 yıl daha çok yaşayın, ayda 1 kadeh şarap için malı götürün, başka işi gücü olmayan bilimadamları allem edip kallem edip fon aldılar sonra da gittiler 3 haftada bir salkım üzüm yemenin ve sabah kalktığınızda 2 dk. nefesinizi tutmanın sağlığa olan süper etkilerini araştırdılar" şeklinde haberlerin çıkmasıdır.

"Cognitive" ve "cognitive science" konuları ile ilgili abone olduğum Google News Alert servisi e-posta kutumu son 1-2 haftadır "balık" üstüne e-postalara boğunca dayanamadım, paylaşmak istedim. Uyanın ey ahali, haftada 1 öğün yenen balık sizin aptallaşmanızı engelliyor, olmadı geciktiriyor. İnanmayan Google'a sorsun! ;-)

New Kids On The Blog

butch

GNU/Linux Ortamında Webcam İle Hareket Algılama

FZ

Başlık biraz fazla ciddi gelmiş ya da kafa karıştırmış olabilir o yüzden kısaca derdimi ve bu makalenin ana temasını belirteyim: Basit bir kamerayı GNU/Linux çalıştıran bir PC´ye USB portu üzerinden bağladıktan sonra bir tür ilkel gözetleme/uyarma sistemi kurma işini adım adım anlatmak.

Yemeği hazırlamaya başlamadan önce malzeme listesine bir göz atalım:
  • 1 adet PC
  • 1 adet Debian tabanlı KNOPPIX 3.1 Bootable Live CD
  • 1 adet PHILIPS PCVC 730K webcam
  • 1 adet hareket tespit (motin detection) yazılımı

Bush Anti Virus

redogre