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'ye Soralım: log raporlama yazılımları

cbc
23 Haziran 2005, 1 dakika okuma süresi

Gerek web, gerek ftp, gerekse e-posta sunucuları işledikleri her e-postanın, gösterdikleri her dosyanın kaydını tutarlar.

O ya da bu sebeple bir sorun olmadıkça bu dosyalar eskidikçe kaybolurlar ya da arşiv kasetleri arasında yerlerini alırlar.

Bu dosyalardan oldukça yararlı istatistik verileri çıkaran yazılımlar mevcut. awstats, lire, webalizer, analog bu yazılımlardan bazıları. Siz fazlamesai takipçileri ne kullanıyorsunuz ve neden?

fazlamesai.net'e soralım: Boyu mu işlevi mi? 30 inç monitörler ve diğerleri...

FZ
31 Ekim 2006, 1 dakika okuma süresi

30" monitörler ile bilgisayardaki işlerinizde kayda değer bir verimlilik artışı sağlayabilir misiniz? Yahoo'daki bu başlıklı makale önemli bir soruya parmak basıyor.

Hazırlanan bir rapora göre [PDF], gerçekten de 30" gibi büyük bir monitör ciddi üretkenlik ve verimlilik artışı sağlıyor. Diğer yandan tek bir kocaman monitör yerine 2 ya da 3 monitör tercih edenler (2 x 17", 19" + 2 x 17", vb. konfigürasyonlar) ve bunun çok daha verimli olduğunu iddia edenler de mevcut.

Çocuklara Bilgisayar Projesi, Hemen Şimdi!

blue-train
20 Şubat 2006, 2 dakika okuma süresi

"İkinci El Bilgisayarlarınızı İstiyoruz. Hemen, Şimdi" denmişti burada bir süre önce, hatırladınız mı? İkinci el bilgisayarların toplanması, ardından GNU/Linux kurularak ihtiyacı olan kesimlere ulaştırılması gibi bir fikir gerçekten de heyecan yaratmış, 1-2 gün içerisinde onlarca yorum gelmişti.

İlgili haberi okurken heyecanlananlardan ve yazılan yorumları ilgiyle takip edenlerden biri de bendim. Bir süre sonra Fazlamesai'de ortaya çıkan bu fikri, aktif olarak içinde bulunduğum ve çocuklara yönelik faaliyet gösteren bir STK olan Farklı Bireyler Eğitim ve Rehberlik Derneği'ne (Faber-Der) de sundum. Oradaki insanların da olumlu tepkisiyle birlikte bu fikrin projeye dönüşmesi fikri hız kazandı.

Belgeler.org´dan Fazlamesai.net´e Destek

oktay
13 Mart 2003, 1 dakika okuma süresi

belgeler-grubu@lists.sourceforge.net e-posta listesine gönderilen aşağıdaki e-posta ile belgeler.org, Fazlamesai.net'in Çeviri çabalarına verdiği desteği kendi üyelerine de duyurmuş oldu. Hepimiz adına başarılara imza atacak bir dayanışma olmasını temenni ederim.

Kâtibim: ASCII dosyanızı MP3 yapın (abc ve mp3 ilişkisi)

misafir
6 Eylül 2005, 2 dakika okuma süresi

Kâtibim türküsünün piyano ile 'çalınmış' kısa bir versiyonunu mp3 çalarınızda dinlemek ister misiniz? Hayır, size mp3 indirebileceğiniz bir link vermeyeceğim. Bu yazıdan kopyalayıp yapıştırarak oluşturacağınız kısa bir metin dosyasını ve bazı programları kullanarak söz konusu mp3'ü nasıl oluşturabileceğiniz anlatacağım.

Matematik Köyünde Bilgisayar Bilimleri