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ığı.

Dersin Amacı

Bilgisayar bilimlerinin temelini oluşturan klasikleşmiş makalelerdeki fikirlerin bilinip tartışılması bilgisayar bilimlerinin sınırlarının anlaşılmasını sağlar, alandaki temel varsayımları öğretir. Bu sayede ileri düzeyde araştırmalar yapabilmek mümkün hale gelir. Bu dersin amacı, söz konusu altyapıyı vererek öğrencilere yeni perspektifler kazandırmaktır.

Kaynakça

S.F. Andrilli, “Gödel’s Undecidability Theorem,” Applications of Discrete Mathematics. J.G. Michaels and K.H. Rosen, Eds. McGraw-Hill, 1991. ,A. M. Turing, “On Computable Numbers, with an Application to the Entscheidungsproblem,” Proceedings of the London Mathematical Society, vol. s2-42, pp. 230-265, January 1, 1937. ,R. Feynman, “Simulating physics with computers,” International Journal of Theoretical Physics, vol. 21, pp. 467-488, 1982. ,J. Nash, “Non-Cooperative Games,” The Annals of Mathematics, vol. 54, pp. 286-295, 1951. ,C. E. Shannon, “A mathematical theory of communication,” SIGMOBILE Mob. Comput. Commun. Rev., vol. 5, pp. 3-55, 2001. ,J. Edmonds, “Paths, trees, and flowers,” Canadian Journal of Mathematics, vol. 17, pp. 449-467, 1965. ,W. Diffie and M. Hellman, “New directions in cryptography,” Information Theory, IEEE Transactions on, vol. 22, pp. 644-654, 1976. ,J. McCarthy, “Recursive functions of symbolic expressions and their computation by machine, Part I,” Commun. ACM, vol. 3, pp. 184-195, 1960. ,A. M. TURING, “I.—COMPUTING MACHINERY AND INTELLIGENCE,” Mind, vol. LIX, pp. 433-460, October 1, 1950 1950. ,V. Bush, “As we may think,” Atlantic Magazine, July 1945. ,L. G. Valiant, “A Theory of the Learnable,Commun. ACM, vol. 27, pp. 1134 1142, 1984 ,D. E. Denning, “A Lattice Model of Secure Information Flow”, Commun. ACM, vol. 19, pp. 236 243, 1976 ,J. Marchant, “In search of lost time,” Nature 444(7119): pp. 534-538, 2006. ,T. Freeth, Y. Bitsakis, et al., “Decoding the ancient Greek astronomical calculator known as the Antikythera Mechanism.” Nature 444(7119): pp. 587-591, 2006. ,F. Charette, “Archaeology: High tech from Ancient Greece.” Nature 444(7119): pp. 551-552, 2006.

Öğrenme Çıktıları

1. Bilgisayar bilimlerindeki temel varsayımları ve fikirleri bilme.

2. Bilgisayar bilimlerine önderlik eden bilim insanlarını tanıma.

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ı

Notlandırma

Vize: 30%

Ödev: 30%

Final: 40%