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

An Istanbul breakfast with Tim O'Reilly

sundance
6 Nisan 2011, 31 dakika okuma süresi

It all began with a tweet; "Just arrived in Istanbul for #occrp meeting. Staying at the lovely Antalya hotel with a view of the sea of marmara. Now out for a ramble Tim O'Reilly"

I asked if he would care for an interview, to my surprise he kindly accepted, even introduced us to OCCRP people, stating that we are from "Turkish Slashdot", which made us feel both proud and overinflated :)

Let me say that all the blunders are mine (especially not mentioning more about OCCRP guys who are doing a wonderful job) while all the provacative thoughts belong to Mr. O'Reilly (of course I do not refer to the Fox Tv Guy :)

We enjoyed talking with him, I hope you enjoy reading it. (Bu uzun röportajın deşifresini ancak bitirebildim, bu yüzden daha fazla bayatlamadan çevirmek için beklemeyip yayınlayalım istedik. Türkçe halini (referanslar eklenmiş olarak) kısa süre sonra yayınlamayı umuyoruz.)

fazlamesai.net'e soralım: Genç bir yazılımcı adayına ne tavsiye edersiniz?

FZ
10 Şubat 2005, 1 dakika okuma süresi

Genç bir arkadaşımızın bana yolladığı e-postaya özelden cevap vermek yerine FM ortamınının kolektif deneyiminden ve yol göstericiliğinden faydalanalım dedik. Kendisinin de izniyle iletisini burada yayınlıyor ve deneyimli bilgisayarcılardan yol göstermelerini istiyoruz:

"Emre Bey merhaba,

Ben ileriseviye.org'daki yazılarınızı takip edebildiğimce/kavrayabildiğimce okumaya çalışıyorum. Öncelikle kendimi tanıtmak istiyorum. Ben Berk Aydın. Şu anda H. Avni Sözen Anadolu Lisesi 2. sınıfta okumaktayım. Gelecek sene üniversite giriş sınavına gireceğim. Aynı zamanda da amatör bir şekilde programlama dilleri ile -naçizane C, C# ve Java- ilgilenmekteyim.

Internet - Özgürlük - Hayat

sundance
4 Şubat 2001, 2 dakika okuma süresi

Internet özgürlüktür, peki birçok özgürlük gibi sadece parası olanların kullanabileceği bir özgürlük müdür ?
Bence değil

Peki Internet`te ne yapılabilir ?

FM.net RSS Okuyucusu

vst
9 Şubat 2005, 1 dakika okuma süresi

Dedik ki; Fazlamesai.net'in bir RSS okuyucusu olsun. Hatta sadece RSS okumasın, daha başka işler de becerebilsin. Ve hatta, bunu bir güzel hep beraber yapalim :)
Buradan hem kaynak koda hem de halihazırda QT kütüphanesi olan FMcilerin çalıştırabileceği bir ikili dosyaya ulaşabilirsiniz.

Java Gelmiştir

butch
13 Kasım 2006, 1 dakika okuma süresi

Matematik Köyünde Bilgisayar Bilimleri