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

Neden Ordu Parası ile Araştırma Yapılmaz?

butch

Biz Birbirimizi Anlamazsak

butch

Beni Bul Bebek

redial

Bebek bir yapay zeka programıydı...
Mehmet Emin Arı'nın yeni bir hikayesi...
turk.internet.com ' dan okuyabilirsiniz

fazlamesai.net'e soralım: Özgürlük mü, kaliteli yazılım mı?

FZ

Günlüğüme girmiştim ama FM camiası ile de paylaşmadan edemedim.

Bu aralar iki yazılım kurcalıyorum iş için: Confluence ve JIRA. Her ikisi de kapalı kodlu, kaliteli ticari lisanslı yazılımlar.

Fark ettim ki ticari bir yazılım olan JIRA'yı Apache Foundation da tercih ediyor ve yoğun olarak kullanıyor. Neden tercih ettiklerini burada açıklamış. Gelelim FM camiasına sormak istediğime:

FM'ye Soralım: Google 4 Milyar Doları Ne Yapacak?

anonim

Google SPO yapacağını açıkladı. Şu an itibariyle 2,5 Milyar Amerikan Doları civarında olan şirket piyasa değerini 6,5 Milyar Amerikan Dolara çıkaracak bir SPO yapacak.

SPO: Secondary public offering. İkincil halka arz. Diğer bir deyişle bir tür sermaye arttırımı.

4 Milyar Amerikan Doları nakit para şirketin kasasına girecek. Bu parayla ne yapacaklar dersiniz?

Kaynak: Reuters kaynaklı Yahoo haberi