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

Khan Academy

Tarık
10 Temmuz 2012, 1 dakika okuma süresi

Matematik, fizik, biyoloji ve daha bir çok bilim dalına ait onlarca konuyu oturduğunuz yerden ve bedavadan öğrenmek ister misiniz? Üstelik bunun için bir internet bağlantısı ve öğrenme şevkinden başka hiç bir şeye gereksinim duymayacaksınız.

İsminizi Ay'a gönderin...

RoR
8 Mayıs 2008, 1 dakika okuma süresi

NASA'nın Ay araştırmaları için kullacağı NRO uzay aracında bulunan bir mikroçip'e isminizi yazdırabiliyorsunuz...

Son başvuru 27 Haziran 2008

NASA'nın NRO uzay aracı yeni teknolojileri kullanarak, potansiyel kaynakları ve karakterize çevresel etkenlerini inceleyecek...

Kaynak: http://inosci.blogspot.com/2008/05/isminizi-aya-gnderin-nro-nasa.html

Sanal-Ofis: Internet üzerinde 17 dilde ofis ortamı

sundance
6 Ağustos 2001, 1 dakika okuma süresi

Fazlamesai ekibinin yeni projesi www.sanal-ofis.com artık yayında.

Ofisleriniz arasındaki haberleşmeyi mümkün olduğu kadar arttırmayı, çalışanların ofisle ilgili her türlü bilgi ihtiyaçlarını uzaktan, Internet bağlantısı olan herhangibir bilgisayar veya WAP özelliği olan bir telefon ile sağlayabileceği Sanal-Ofis, Türkçe başta olmak üzere 17 dilde hizmet vermekte. Her türlü kullanıcı sorunlarına e-mail, ICQ ve IRC aracılığıyla en kısa zamanda cevap veren sanal-ofis.com kullanıcılarını bekliyor, gelin deneme üyeliğinden yararlanın...

Bu arada dünkü Para dergisine çıktık, görmek isteyenler için ...

New Orleans, Google Map'de

Soulblighter
4 Eylül 2005, 1 dakika okuma süresi

Google Map, New Orleans için özel bir sekme açarak, şehrin son halini görüntüledi.

IExplorer kullanmayın da ne kullanırsanız...2

sundance
6 Temmuz 2004, 1 dakika okuma süresi

Distrowatch'un haberine göre Internet tarayıcıları arasındaki rekabette, Mozilla/Firefox ciddi bir avantaj yakalamış durumda
US-CERT'in IE'deki açıkların ciddi risk oluşturduğunu belirtmesi ve başka tarayıcıların kullanılmasını güvenlik açısından tavsiye etmesinin ardından Mozilla ve Firefox downloadlarında ciddi bir artış yaşandığı, Linux dağıtımlarının buluşma noktası olan Distrowatch'da üç yıl öncesinde %60ların üstünde olan MSIE kullanımının ise günümüzde %25'in altına düştüğü belirtilmekte ve bir değişiklik yapmanın zamanı geldiği vurgulanmakta.
Rage Against The Machine'in Guerilla Radio'su aklıma geldi.

It has to start somewhere,
It has to start sometime.
What better place than here,
what better time than NOW?

Matematik Köyünde Bilgisayar Bilimleri