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: J2EE mi yoksa .NET mi?

FZ
7 Nisan 2005, 1 dakika okuma süresi

MIT hocalarından Philip Greenspun tercihini .NET'ten yana kullanmış. Greenspun'ın 11 Nisan 2002 tarihli yorumlarından sonra en son 8 Mart 2005'te bir yorum gelmiş. Son 3 sene içinde gelen yorumlar ağırlıklı olarak .NET taraftarı yorumlar. Genel hava şu: Eğer bir sürü programcı çalıştırmak istiyorsanız, çok büyük şirketseniz, bol bol paranız varsa, vs. buyrun J2EE ile sistem geliştirin. Daha sıkı koşullar altında çalışıyorsanız şu anda .NET çok daha hızlı ve etkin sistem geliştirmeye ve programlamaya izin veriyor. Tabii buna itirazlar da var: EJB'den yola çıkarak J2EE'yi kötüleme hatasına düşmeyin! gibi. Bir başka yazılımcı ise "yahu bir satır kod değiştiriyoruz, application server'ı başlatmak 3 dakika sürüyor, el insaf" şeklinde şikayet ediyor.

IT sektörünün acar FM üyeleri bu konuda ne der? Acı dolu yazılım deneyimlerini bizimle paylaşmak isteyenler, hodri meydan, yanınızda rakamlarla gelin ve hangi platformu neden tercih ettiğinizi güçlü bir şekilde açıklayın.

FM`de yeni bir editör!

sundance
6 Ocak 2003, 1 dakika okuma süresi

Kurulduğu günden beri Fazlamesai.net`in en büyük destekçilerinden olan, yazarlar sıralamasında ikinci, yorumlar sıralamasında açık ara birinci olan, sevgili arkadaşımız, değerli insan, cryptoloji aşığı matematikçimiz, FZ; bugünden itibaren, Fazlamesai.net`in editörlerinden biri olmuştur.

Kendisine bir kez daha hoşgeldin diyor, arkadaşlığından dolayı tekrar teşekkür ediyoruz.

Paylaştıkça daha eğlenceli hale gelen fazlamesailerimiz için...

İki Amerikalı üniversite öğrencisi reklam için hayatlarını kiralıyor!

larweda
31 Mart 2001, 1 dakika okuma süresi

İki Amerikalı üniversite öğrencisi, daha önce denenmemiş bir olaya girişerek hayatlarının tüm detaylarında üniversite eğitimlerine sponsor olucak bir şirketin ürünlerinin reklamını yapmayı öneriyorlar.

Chris and Luke, sponsor olucak firmanın tişörtlerini, ayakkabılarını giyip, arabalarında, bisikletlerinde, sörf tahtalarında sponsor firmanın logosu ile dolaşacaklar.

Bir sistem analisti olarak yaratılmadığınızın 10 işareti

SHiBuMiGo
5 Ocak 2008, 6 dakika okuma süresi

ABDdeki iş bulma kurumunun öngörüsüne göre 2014 yılına kadar sistem analistlerine olan işgücü ihtiyacı, ortalama işgücü ihtiyacının üzerinde olacak. Bunda en önemli etkenlerden biri kurumlarda kullanılan teknolojik sistemlerin iş ihtiyaçlarına paralel olarak sürekli daha karmaşık hale gelmeleri. TechRepublicden çevirdiğim bu yazıda bir sistem analistinin sahip olma(ma)sı gereken 10 nitelikle ilgili tespitler yer alıyor. Orjinal İngilizce metne http://blogs.techrepublic.com.com/10things/?p=280 adresinden ulaşabilirsiniz.

İnsanlık Tarihi Düşündüğümüzden Daha Geriye Mi Uzanıyor?

FZ
18 Şubat 2006, 2 dakika okuma süresi

13 Şubat 2006 tarihinde Radikal'de Urfa'dan tarihi haber! başlıklı bir yazı çıktı.

Yazıya göre Alman arkeologlar, Şanlıurfa'daki Göbekli Tepe mabedinde, yaklaşık 11 bin yıl öncesine dayanan; insanlığın en eski haber sistemi olarak tanımladıkları ve günümüzde kullanılan yazının ilkel biçimi olan işaretler buldu.

Matematik Köyünde Bilgisayar Bilimleri