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

Yazılım mühendisliği mühendislik midir? Hacker mantalitesi nerede patlar?

FZ
8 Nisan 2006, 6 dakika okuma süresi

Geçenlerde (en altta linkini verdiğim) bir sunum izledim. Tanıdığım pek çok yazılımcıyı ve yöneticiyi sandalyeye zincirleyip o sunumdaki her sayfayı, her sözcüğü onlara tane tane okutturmak, birkaç kez yüksek sesle tekrar ettirmek istiyorum.

Yazılım mühendisliği mühendislik midir?

Yazılım, çok akıllı bir ya da birkaç adamın odaya kapanıp harala gürele kod yazıp sonra da bakın süper program çıktı ortaya, acayip sofistike işler yapıyor dediği türden sanat, zanaat ve teknik bilgi karışımı gizemli bir üretim alanı mıdır? (Olası tepki: E ama DOOM öyle yazılmadı mı? Bak süper oyun yaptı o zeki ve bilgili adam. Yalan mı? Bak filanca da kapandı odaya süper derleyici, işletim sistemi filan yaptı. Efendim? Her şeyi tek başına yapmadı mı? Yaptı yaptı. Kapandı odaya. Tek başına. Canım birkaç kişi destek vermiştir. Onlar da odaya kapanıp yazan çok zeki ve çalışkan adamlardı. Keşke herkes böyle olsa. Hem tek bir kişinin ya da iki kafadarın geliştirdiği ürünler peşinden fanatiklerini yaratmadı mı ve sevilmedi mi?)

Robokopter: Yapay Zeka havalanıyor!

FZ
20 Kasım 2000, 1 dakika okuma süresi

Stanford Üniversitesi ve diğer kolejlerin de desteği ile Linköping Üniversitesi (http://www.linkoping.se) elemanlari Adamsız Hava Aracı (Unmanned Aerial Vehicle) geliştirmekle meşguller.

Alkolik bilgisayar geliyor

sametc
17 Mart 2003, 2 dakika okuma süresi

Mevcut laptoplarla da çalışacak yeni teknoloji methanolün parçalanarak enerji üretmesi tekniğine dayanıyor. Toshiba, alkol pillerinin dizüstü bilgisayarlara 5 saat yetecek güç verdiğini öne sürüyor.NTVMSNBC.com

Patentler İnsanlığın Sonu mu Olacak ?

sundance
29 Mart 2001, 1 dakika okuma süresi

Amerika`da oldukça yaygın olan, Slasdot`dan okuyup güldüğümüz yazılım ve Internet patentleri Avrupaya`da geliyor
Yakında "Bir Internet formundaki hatalı yeri göstermek için kırmızı renkle renklendirilmesi" patenti veya "Programların yavaşlatılması için XOR (bir assembler komutu) kullanılması patenti" gibi saçma sapan patentler görebiliriz.
Eğer buna karşı durmak istiyorsanız http://petition.eurolinux.org/index.html

8 saat sonra görüşmek üzere...

FZ
23 Şubat 2006, 1 dakika okuma süresi

Yaklaşık 8 saat sonra Türkiye'deki en önemli uluslararası açık kaynak ve özgür yazılım etkinliği başlıyor.

FM ortamından tanıdığımız pek çok isim ve ekip tam kadro yerlerini almak üzere hazırlar.

Herkesi bekliyoruz. Çok sıkı bir 48 saatlik maraton olacak!

Matematik Köyünde Bilgisayar Bilimleri