|
Hafta
|
Konular
|
Ön Hazırlık
|
|
1
|
Giriş, Kanıt Yöntemleri
|
K1-Bölüm-1
|
|
2
|
Sonlu Otomatlar
|
K1-Bölüm-2
|
|
3
|
Düzenli İfadeler
|
K1-Bölüm-2
|
|
4
|
Düzenli Dillerin Özellikleri
|
K1-Bölüm-2
|
|
5
|
Düzenli Dillerin Karar Özellikleri
|
K1-Bölüm-3
|
|
6
|
Bağlamdan Bağımsız Gramerler ve Belirsizlik
|
K1-Bölüm-3
|
|
7
|
İtmeli Otomatlar
|
K1-Bölüm-3
|
|
8
|
İtmeli Otomatlar ve Bağlamdan Bağımsız Gramerlerin Denkliği
|
K1-Bölüm-4
|
|
9
|
Bağlamdan Bağımsız Gramerler Üzerindeki İşlemler
|
K1-Bölüm-4
|
|
10
|
Bağlamdan Bağımsız Gramerlerin Kapalılık Özellikleri
|
K1-Bölüm-4
|
|
11
|
Turing Makinaları ve Karmaşıklık
|
K1-Bölüm-4
|
|
12
|
Farklı Turing Makine Modelleri
|
K1-Bölüm-5
|
|
13
|
Karar Verilen ve Verilemeyen Problemler
|
K1-Bölüm-5,6
|
|
14
|
NP-Tam Problemler
|
K1-Bölüm-6
|