Dersin Haftalık Planı

Hafta	Konu
1	Mantık ve Hesaplanabilirlik
2	Önermeler Mantığı, Tanıt, Tümdengelim, Tümevarım
3	Yüklem Mantığı
4	İkinci Mertebeden Mantıklar
5	Model Yoklama ile Doğrulama
6	Boole Devreleri ve Otomatlarla Hesaplama
7	Turing Makinasının Sınırı, Kâhinler, İndirgenebilirlik
8	Polinom Karmaşıklık Sınıfları (P, (Co)NP, (Co)NP-tam, NP-zor)
9	Uzamsal Karmaşıklık (LOGSPACE, PSPACE(-tam), EXP) ve Olasılıksal Karmaşıklık (ZPP, (Co)RP, BPP)
10	Sözde Rasgelelik, Tek Yönlü İşlevler, Kriptografi
11	Rasgelelikten Arındırma ve Kriptolojik Modeller
12	Hesaplanabilir Öğrenme Teorisi
13	Kuantum Hesaplama (BQP)
14	Kuantum XOR kapısı, Shor Algoritması