CENG 517

Bilgisayar Bilimlerinde Klasikleşmiş Çalışmalar

Gödel karar verilemezlik teoremi, hesaplanabilirlik, oyun kuramı üzerine görüşler, bilgi kuramı temelleri, çizgeler, bilgisayar ağları, kriptografide yeni yönelimler, Antikythera mekanizması, “declarative” programlama, ilişkisel veritabanı modeli, makineler ve zeka, hesaplama karmaşıklığı.

Konu
Gödel Karar Verilemezlik Teoremi
Hesaplanabilirlik üzerine, Entscheidungsproblem’ine bir uygulama ile-Alan M. Turing
Fiziğin Bilgisayarlar ile Benzetimi-Richard P. Feynman
İşbirlikçi Olmayan Oyunlar-John Nash
İletişimin Matematiksel Bir Teorisi-Claude E. Shannon
Patikalar, Ağaçlar ve Çiçekler-Jack Edmonds
Kriptografide Yeni yönelimler-Whitfield Diffie ve Martin E. Hellman
Vize
Düşünebilirken-Vannevar Bush
Sembolik İfadelerin ve Hesaplamalarının Özyinelemeli Fonksiyonları-John McCarthy
Hesaplama Makineleri ve Zeka-A.M. Turing
Öğrenilebilenin Bir Teorisi-L.G. Valiant
Güvenli Bilgi Akışının Kafes Modeli-Dorothy E. Denning
Eski Yunan’dan Yüksek Teknoloji ve Astronomik Hesaplama Makinesi Antikythera Mekanizması