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

Görüntü işlemede ünlü bir yüz: Lenna

GtG
26 Ocak 2006, 1 dakika okuma süresi

Görüntü işleme ile uğraşmış olanlar bu yüzü mutlaka görmüşlerdir. Yeterince meraklılar ise resmin sahibinin isminin Lenna olduğunu ve gerçekte bir playboy yıldızı olduğunu da öğrenmişlerdir.
Peki bir playboy yıldızı nasıl oldu da akademik dünyanın kapılarını aralayıp görüntü işleme laboratuvarlarına misafir oldu? İşte ufak bir araştırma sonucu ulaştığım cevap:
The Lenna Story

Bira göbek yapmıyor!

sundance
9 Mart 2005, 1 dakika okuma süresi

Register.com'un haberine göre, bira göbek yapmıyor! Bira, şarap, süt ve portakal suyunun karşılaştırmaları sırasıyla % 41 - 77- 64 ve 42 oranlarında kalori içerdiklerini belirlenmiş.

Öte yandan, bira ile birlikte kebap yemenin, özellikle de döner kebabın (aynen böyle yazıyor) ve körili sosların, kilo almaya yol açtığı ama öte yandan bunların da kelliği azalttığı ve Duracellvari bir performans artışına yol açtığı da belirtiliyor.
Yok abi ben bira içmiyorum artık, göbek yapıyor diyip ülkemizdeki IT sektörünün gelişmesinin önünü tıkayanlara önemle duyrulur ;)

Fazlamesai'ye Soralım: PHP ve MySQL Eğitimi

crematorium
10 Mart 2006, 1 dakika okuma süresi

Bulabildiğim kadarıyla BT Eğitim PHP ve MySQL eğitimi vermekte. Fakat alternatifleri de olduğundan eminim.

Naviga Çıktı Bayilerinizden Israrla İsteyiniz!

sundance
6 Kasım 2003, 1 dakika okuma süresi

Yelkencilik, denizcilik konuları ile ilgilenenlerin gözü aydın. Naviga adında dört başı mahmur bir yelkencilik dergimiz oldu. Kendilerine yayın hayatlarında başarılar diliyoruz.

Şimdi bunun fazlamesai ile ne ilgisi var diyecek kişiler için açıklama: Yıllardır CD yanında promosyon kabilinde verilen, her sayısı bir kaç günde kotarılmış, teknik makaleleri yüzeysel Word Excel ve Visual Basic kurslarının hiçbir zaman ötesine geçemeyen bilgisayar dergileri ile dolu bir piyasa için elbette ki mutlu bir haber bu. Maksimum birkaç bin kişilik yelkenci tayfası böyle bir dergi çıkartmayı becerebiliyor ama bu kadar Linux kullanıcısı, bilgisayar programcısı bir Dr. Dobbs Journal ya da Linux Format ayarında bir dergi çıkartamıyoruz. Basiretsizliği takdimimizdir
Naviga´yı bayilerden ısrarla isteyiniz....

Fazlamesai.net Radyoda

sundance
20 Şubat 2002, 1 dakika okuma süresi

Bugün (20 Şubat 2002) Saat 14:30`da Burç FM`de küçük bir söyleşiye Fazlamesai ekibi olarak katılacağız.

\r Eğer ilginizi çekerse bulunduğunuz bölgedeki Burç FM frekanslarından radyo ile ya da online olarak dinleyebilirsiniz.

Matematik Köyünde Bilgisayar Bilimleri