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

Jabber: Anında Mesajlaşmadan Çok Daha Fazlası

vst

Bir çok insan interneti aradıkları bilgiye kolaylıkla ulaş(ama)mak ve önemli bir sosyal ihtiyaç olan modern iletişim imkanlarını değerlendirmek için kullanır. Bu iletişim imkanlarının en önemlilerinden birisi de anında mesajlaşmadır (instant messaging --- IM).

İnternet kullanıcıları, IM nimetinden çeşitli platfomlar aracılığıyla faydalanmaktadır. Bunların başında gelenler ise ICQ, AIM, son günlerin modası MSN gibi programlar ve ağ mesajlaşma protokollerinin oluşturduğu platformlardır. Bu yazıda konumuz ise, özellikle ülkemizde çok da yaygın olmayan, ancak gerek kurulumu ve kullanımı gerekse sağladığı programlama avantajları nedeniyle dünyada yaygınlaşmakta olan bir teknoloji: Jabber.

Bilgisayarın Ürettiği Sanat Sanat mıdır?

FZ

Güzel bir soru, çok tartışılmış bir konu. Meraklı bir bünye konu hakkında metafizik bir makale yazıp tartışmayı yeniden başlatmış. Tartışmaya yol açan ise TypoGenerator isimli program.

fazlamesai.net camiası bu konuda ne düşünüyor? Sizin için bu önemli mi? Hayran kaldığınız bir grafik tasarımın bir grafik ustası tarafından emek harnarak değil de bir program tarafından birkaç saniye içinde üretildiğini öğrenseniz hayatınızın şokunu mu yaşarsınız yoksa sorun yok işte, ne güzel görüntü, bana güzellik hissi veriyor, gayet de çekici, hoşuma gidiyor... mu dersiniz?

Kaynak: /.

Bu akşam bütün müzik sitelerini dolaştım memleketin...

butch

Evet dolaştım. Hani sadece popüler müzik haberleri vermeyen, müziği bir meta gibi kullanmayan, ona değer verdiğini hissettiren bir ortam bulamadım. Sadece benim beğenime uyan bir site olsun demek istemiyorum ama dinleğim müzik hakkında birşeyler bulabileceğim ya da bana yeni şeyler öğretebilecek, tartışabileceğim bir yer aradım. Bulamadım. Eğer siz böyle bir yer biliyorsanız söyleyin zira bulamazsam bu eksikliği kapatmak niyetindeyim. Fazlamesai tadında, hep beraber...

fazlamesai.net'e soralım: En iyi üniversiteyi/bölümü nasıl buluruz?

bm

Yeğenim bu sene üniversite piyangosuna katılacak. Bilgisayar bilimleri veya bilgisayar mühendisliği okumak istiyor. Piyangodan istediği yeri çıkartabileceğini varsayarsak, istediği yerin neresi olması gerektiğini nasıl bileceğiz? Bu çocuğu kimlere, hangi şartlara, hangi tarz eğitim yapan bir yere teslim edeceğimizi nereden öğreneceğiz? Ben aradım bulamadım. O halde belki hangi bilgileri toplayıp ileride bu durumdaki çocuklara yardımcı olabiliriz diye düşünmemizde fayda var.

Gelecekten gelen adam

redogre

Gelecekten gelen adam!