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

Gözlem: Ne zamandır birşey yazmamıştım ama gene

cayfer

Tipik bir "Windows power user" ortalama günde iki saatini boşa harcıyor...
Kendi çevremde "bilgisayar işini bilen" ve XP gibi güncel Windows işletim sistemi kullanan insanların ortalama günde iki saatlerini sistemlerine "ilgi" göstermekle geçirdiğini gözlüyorum.

Bu gözlem herhangi bir bilimsel yönteme dayanmıyor. Ölçmedim, hesaplamadım. Baştan belirteyim de metodoloji konusunda eleştiriler almayayım.

Görüntü işlemede ünlü bir yüz: Lenna

GtG

Görüntü işleme ile uğraşmış olanlar bu yüzü mutlaka görmüşlerdir. Yeterince meraklılar ise resmin sahibinin isminin Lenna olduğunu ve gerçekte bir playboy yıldızı olduğunu da öğrenmişlerdir.
Peki bir playboy yıldızı nasıl oldu da akademik dünyanın kapılarını aralayıp görüntü işleme laboratuvarlarına misafir oldu? İşte ufak bir araştırma sonucu ulaştığım cevap:
The Lenna Story

Mülayim Linux Geliyor

butch

Robokopter: Yapay Zeka havalanıyor!

FZ

Stanford Üniversitesi ve diğer kolejlerin de desteği ile Linköping Üniversitesi (http://www.linkoping.se) elemanlari Adamsız Hava Aracı (Unmanned Aerial Vehicle) geliştirmekle meşguller.

Khan Academy

Tarık

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.