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

Online Business'in En Aptal 10 Fikri

anonim

Aptalca gibi görünen ama fikir sahiplere yüklüce para kazandıran fikirler: http://weirdtechnewshub.blogspot.com/

Zırvalık mı, dahiyane mi, ekonomik akıl mı, yoksa başka bir şey mi? Siz karar verin.

fazlamesai.net'e soralım: Peki, açık kaynağa nasıl ulaşırız?

Nano

Fazlamesai üzerinde bir çok kurumsal uygulamanın (vede oldukça büyük olanların) açık kaynak yazılımlar ile de gerçekleştirilebileceği (hemde fazlasıya) ilgili bir çok tartışma oldu. Ya peki küçük uygulamaların ve küçük şirketlerin açık kaynağa ulaşımı nasıl olacak?

Mesela bir KOBİ WriteBoard: http://www.fazlamesai.net/index.php?a=article&sid=3504 gibi bir araca ihtiyaç duysa buna nasıl ulaşabilir, nasıl "freelance" yazılımcı bulup bu tür araçları kendisine yazdırabilir.

Sonar Ekran Koruyucusu ile Ağınızı Dinleyin

FZ

Bu yazıyı okuyanların çoğu herhalde en az bir kez savaş filmi izlemiştir. Bu tür filmlerdeki radar, sonar, vs. ekipman ile düşman uçaklarını takip etme sahnelerini hatırlayacaksınızdır. Peki benzer bir tadı bilgisayar ağınızdaki ya da Internet'teki bilgisayarlar için yakalamak istemez misiniz? Şöyle bir nevi sonar ekranı olsa ama üzerinde uçak isimleri yerine ilgilendiğiniz bilgisayarların isimleri ya da adresleri, ağ uzaklıkları ile doğru orantılı olarak görünse falan ;-)

"İyi diyorsun güzel diyorsun ama nasıl yani?" diyenlere en güzel cevabı, değerli FM üyesi tongucyumruk arkadaşımız işte bu makalesi ile vermektedir. Okuyunuz, ufkunuz, vizyonunuz genişlesin :)

FM Camiasından Danışmanlık Talebi

FZ

Böyle bir haber yazacağım aklıma gelmezdi ama sanırım FM sitesi ve camiası epey olgunlaştı. Görelim o halde!

Mesele kısaca şu: Ağırlıklı olarak matematik, mühendislik ve bir miktar yazılım eğitimi almış, birkaç ay sonra mezun olacak genç bir dostum bana bugün aşağıdaki gibi bir e-posta yollamış:

``Az´´ daha mı iyi?

cbc

Web 2.0'da yapılan konuşmalardan birisinin konusu "Az"ın iyiliği. Konuşmacı rakiplerinizle giriştiğiniz yarışı kazanmanın yolunun ondan bir ya da daha fazla işi yapabilmekten ziyade "az"lıktan geçtiğini savunuyor.

Anladığım kadarı ile özetleyeceğim bu maddeler ile ilgili fazlamesai.net ne düşünüyor?