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: Özgürlük mü, kaliteli yazılım mı?

FZ
22 Mart 2006, 1 dakika okuma süresi

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:

Hi! How are you?

musshani
2 Ağustos 2001, 1 dakika okuma süresi

Son günlerde Internet üzerinde dolaşan ve hızla yayılan bir virüs tespit edilmiştir. Eğer içinde; " Hi! How are you? I send you this file in order to have your advice See you later. Thanks " metni geçen bir e-posta alırsanız, eklerini açmadan acilen silmenizi önemle tavsiye ederim.
Hızla yayılan ve W32.Sircam.Worm@mm olarak adlandırılan bu virus, gelen e-posta içinde bulunan ekli dosya açıldığında açan kişinin bilgisi dışında e-posta programının adres defterinde bulunan tüm e-posta adreslerine farklı konulu ekli dosyalar göndererek yayılmakta ve yayılırken de kullanıcının bilgisayarında bulunan şahsi dosyaları da 3. şahıslara göndermektedir.
Hergün , farklı yöntemlerle yayılan yeni ve farklı virusler ortaya çıktığından bilgisayarınızda anti-virüs / güvenlik programı kulllanmanızı eğer halihazırda kullanıyorsanız bu programı sürekli güncellemenizi ve internet üzerinden e-posta yolu ile yayılan virüslerden korunmak için tanımadığınız e-posta adreslerinden gelen mesajları açmamanızı ve e-postalar içerisinde gelen ekli dosyaları virus taramasından geçirmeden okumamanızı önemle tavsiye ederim.

FM Forum şimdilik çevrimdışı :)

sundance
12 Ocak 2004, 1 dakika okuma süresi

Sevgili Fazlamesai dostları, Romalılar!

Sadecehosting.com´un değerli katkıları ile host edilen Fazlamesai.org sitesi, bir taşınma ve ardından yaşanan küçük bir network problemi sebebiyle çevrimdışı (offline) durumdadır. Amacımız geçen Cuma online hale getirmekti, fakat ham bir ruh tarafından gerçekleştirilen bir saldırı buna engel oldu :) Umarız çarşambaya kadar bu problemi gidereceğiz.

Size verememiş olduğumuz hizmetten dolayı özür dileriz.

Fazlamesai`de kısa bir servis kesintisi

larweda
29 Mart 2002, 1 dakika okuma süresi

Hosting şirketimizin sessiz sedasız yaptığı bir server upgrade'inden dolayı fazlamesai.net'in bazı bölümleri birkaç gündür çalışamıyordu. (yeni kullanıcıların e-posta adreslerine gönderilen şifreleri ve şifresini unuttuğu için yeni şifre isteyen kullanıcıların adreslerine gönderilen yeni şifreleri maalesef geçersiz oluyordu!), sorunun varlığını farkettikten ve epey bir mesai fazlası debugging işleminden sonra daha önce kodu geliştirirken gözden kaçırdığımız bir hatayı bulup düzelttik. Artık şifre almakta sorun yaşayan kullanıcılar, tekrar yeni şifre isteyip aldıkları şifrelerle hayatlarına devam edebilirler.

Oluşan geçici rahatsızlık için özür dileriz.

Apple´dan Windows için ITunes

Evil_Empire
22 Ekim 2003, 1 dakika okuma süresi

Apple, 1999 yılında çıkardığı muzik player, encoder, decoder, cdburner vs. uygulaması ITunes'un win2000-XP versiyonunu çıkardı.
ITunes cok genis mp3 arsivlerini duzenlemek, calmak ve kopyalamakla ilgili kullanisli ozellikler sunuyor. Karmakarisik arabirimli playerlardan sıkıldıysanız bir denemenizi oneririm. Ücretsiz bir yazılım olan ITunes 4.1'i http://www.apple.com/itunes/download/ adresinden indirebilirsiniz. GUI sevilecekse Apple olsun:)

Matematik Köyünde Bilgisayar Bilimleri