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

''C/C++ Öğrenmeli Miyim Acaba?'' Sorusuna Bir Yanıt

GenesisCOX

Az önce Öğrenme Psikolojisi baslikli yaziyi okuyunca; C ve Sistem Programcıları Derneğinin kurucusu ve şu an başkanlık görevini yürüten Kaan Aslan'ın 2002 yılında anet haber grubuna verdiği yanıtlardan birini burada paylasmak gerektiğini düşündüm.

Fazlamesai Winamp Skin

butch

Arkadaşlarımızdan Redogre Fazlamesai için bir WinAmp Skin'i hazırlamış. Biz çok beğendik. Size de denemenizi tavsiye ederiz. Bu vesileyle ona da teşekkür ederiz.

İşte Sosyal Sorumluluk Projesi Böyle Olur

butch

"İnsanlara toplumsal inisiyatifin gücünü ve eğer istenirse büyük sponsorluklar olmadan, birtakım şirketlere gereksiz ve fahiş paralar kazandırmadan, gençlerimizi belli markalara esir etmeden ve vizyonlarını kısıtlamadan, dünyanın kültür ve entelektüel mirasından faydalanarak bir şeyler üretilebileceğini göstermek istiyoruz."

Emre Sevinç ile Çocuklara Bilgisayar Projesi üzerine yapılan röportajın devamı turk.internet.com'da.

Gözlem: Ne zamandır birşey yazmamıştım ama gene

cayfer

Tipik bir "Windows power user" ortalama günde iki saatini boşa harcıyor...
Kendi çevremde "bilgisayar işini bilen" ve XP gibi güncel Windows işletim sistemi kullanan insanların ortalama günde iki saatlerini sistemlerine "ilgi" göstermekle geçirdiğini gözlüyorum.

Bu gözlem herhangi bir bilimsel yönteme dayanmıyor. Ölçmedim, hesaplamadım. Baştan belirteyim de metodoloji konusunda eleştiriler almayayım.

İsmi lazım Değil

butch

Herkesin haberi vardır. Mart ayı başında İstanbul Bilgi Üniversitesi tarafından düzenlenen Özgür Yazılım ve Açık Kaynak Günleri etkinliğinin konuklarından biri de Miguel Icaza idi. Özgür yazılım dünyasının bu önemli simasıyla tanışmak için herkes sıradaydı. Bu ortam sağlandı da. Çeşitli gazeteler, televizyonlar , web siteleri söyleşiler gerçekleştirdiler.