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.net'e soralım: Reklamları yakalayabilecek açık kodlu bir yazılım?

FZ
4 Nisan 2005, 1 dakika okuma süresi

Bir dostumun sorusu üstüne FM'nin kolektif zekasından, bilgisinden ve deneyiminden yararlanalım dedim, kendisi de kabul etti ve meseleyi FM camiası ile paylaşalım dedik. Kısaca:

"Radyo ve televizyon programlarını kaydedip reklamlar ne zaman başlamış, ne zaman bitmiş şeklinde ses ve görüntü işleme yapabilen, faydalanabileceğim bir API, open source uygulama, vs. var mı ya da daha doğrusu genel olarak bu konuda bir fikrin var mı?

Bilişimci İmamın Vaazı

SHiBuMi
20 Mart 2003, 2 dakika okuma süresi

Bu yazı forward ile bana geldi, benden de sizlere...

Bu kainatın öyle bir donanımcısı vardır ki, bütün mevcudatı ve onların içinde yeryüzünü create etmiş, güneşi bir power source, ay'ı bir system clock yapmış.

Bir Bilimadamının Dünyanın Gidişatı Üzerine Dedikleri

FZ
31 Temmuz 2001, 1 dakika okuma süresi

Gelmiş geçmiş en büyük, en vizyon sahibi bilimadamlarından, insanlık kültürünün yüz akı insanlardan Albert Einstein'i çoğumuz fotoelektrik üzerine yaptığı çalışmalar ve aldığı Nobel ödülü, evrene, uzay-zamana bakış açımızı kökünden değiştiren "Rölativite Teori"leri ile biliyoruz.

Aynı bilimadamının kendi zamanında dünyanın gidişatı üzerine düşüncelerini bilen var mı peki? Görebileceğiniz gibi üstad, fildişi kulesinde denklemlerle boğuşup durmanın dışında başka konular üzerine de düşünmüş vakti zamanında. Hazır iş-güç-patronluk-işçilik muhabbeti açılmış iken damardan gireyim dedim:

Why Socialism?

Patronlar ve çalışanlar....

anonim
28 Temmuz 2001, 2 dakika okuma süresi

Biraz önce bir yazıya yorum yazdım. "Bana mı ilerliyorsun ey teknoloji !" yazısına... Ama aslında yazdıklarım yeni bir yazı olmayı hakkediyor bence. Bu yüzden biraz daha detaylı olarak tekrar yazacağım affınıza sığınarak.
Sorun patronlar, çalışma saatleri, teknoloji geliştikçe niye daha az çalışmıyoruz sorunu...

Matematik Köyünde Bilgisayar Bilimleri