| Dersin Türü | Seçmeli |
|---|
| Dersin Düzeyi | Lisans |
|---|
| Dersin Yılı | - |
|---|
| Dersin Yarıyılı | - |
|---|
| AKTS | 5 |
|---|
| Öğretim Eleman(lar)ı |
|
| Öğrenme Kazanımları |
Bu dersin sonunda öğrenciler;
- Otomata Teorisi, Hesaplama kuramı ve Biçimsel dillere ilişkin temel kavramları ve modelleri öğrenecekler.
- Sonlu durum makineleri, Aşağı itmeli makineler ve Turing makineleri gibi soyut makineler üzerine sorular çözebilecekler.
- Biçimsel dillerin; düzenli ifadeler ve biçimsel gramerlerle gösterimlerini öğrenecekler.
- Hesaplama sürecinin soyut modellerini anlayacaklar, bu modellerin güçleri ve sınırları hakkında fikir yürütebilecekler.
|
| Veriliş Biçimi | Yüz Yüze |
|---|
| Önkoşullar | Yok |
|---|
| Önerilen Dersler | Yok |
|---|
| Ders Tanımı | Otomata Teorisine giriş. Temel matematiksel kavramlar ve yöntemler. Simgeler, Alfabeler, Dizgiler, Diller, Problemler. Deterministik sonlu durum makineleri. Deterministik olmayan sonlu durum makineleri. Düzenli diller ve ifadeler. Kleene teoremi. Biçimsel gramerler. İçerikten bağımsız diller. Aşağı itmeli özdevinirler. Turing makineleri. Hesaplanabilirlik ve Karar verilebilirlik. Durma problemi, Çözülemez problemler. Karmaşıklık kuramı: P ve NP sınıflar. |
|---|
| Ders İçeriği |
| HAFTA |
KONULAR |
|
1. Hafta |
Otomata Teorisine giriş. |
|
2. Hafta |
Temel matematiksel kavramlar ve yöntemler. |
|
3. Hafta |
Simgeler, Alfabeler, Dizgiler, Diller, Problemler. |
|
4. Hafta |
Deterministik sonlu durum makineleri. |
|
5. Hafta |
Deterministik olmayan sonlu durum makineleri. |
|
6. Hafta |
Düzenli diller ve ifadeler. |
|
7. Hafta |
Kleene teoremi. |
|
8. Hafta |
Ara-sınav |
|
9. Hafta |
Biçimsel gramerler. |
|
10. Hafta |
İçerikten bağımsız diller. |
|
11. Hafta |
Aşağı itmeli özdevinirler.Turing makineleri. |
|
12. Hafta |
Hesaplanabilirlik ve Karar verilebilirlik. |
|
13. Hafta |
Durma problemi, Çözülemez problemler. |
|
14. Hafta |
Karmaşıklık kuramı: P ve NP sınıflar. |
|
15. Hafta |
Genel Tekrar. |
|
| Kaynaklar | 1. Hopcroft J.E., Motwani R., Ullman J.D., Introduction to Automata Theory, Languages and Computation, 3/E, Addison Wesley, 2006
2. Kelley D., Automata and Formal Languages, Prentice Hall, 1995
3. Sipser M., Introduction to the Theory of Computation, 2/E, Thomson / Course Technology, 2005
|
|---|
| Öğretim Yöntemleri |
- Anlatım
- Soru-Cevap
- Sunum
- Rapor Hazırlama
- Proje
- Deney
- Sorun/Problem Çözme
- Eğitim-Uygulama
|
|---|
| Değerlendirme |
|
Sayısı |
Toplam Katkısı (%) |
| Ara Sınav |
1 |
30 |
| Ödev |
8 |
10 |
| Mini-Sınav |
4 |
20 |
| Toplam(%) |
|
60 |
| Yıl İçinin Başarıya Oranı(%) |
|
60 |
| Finalin Başarıya Oranı(%) |
|
40 |
| Toplam(%) |
|
100 |
|
| AKTS İş Yükü |
| Aktivite |
Sayı |
Süre (Saat) |
İş Yükü |
| Ara Sınav |
1 |
1.5 |
1.5 |
| Kısa Sınavlara hazırlık |
|
|
|
| Sınıf Dışı Ders Çalışma Süresi |
|
|
|
| Final Sınavına Hazırlık |
1 |
20 |
20 |
| Ders Saati |
14 |
3 |
42 |
| Ara Sınava Hazırlık |
1 |
15 |
15 |
| Laboratuvar |
|
|
|
| Final Sınavı |
1 |
1.5 |
1.5 |
| Ödevler |
|
|
|
| Proje |
1 |
70 |
70 |
| Kısa Sınavlar |
4 |
0.5 |
2 |
| Toplam İş Yükü | 152 |
| Toplam İş Yükü / 30 | 5.06 |
| Dersin AKTS Kredisi | 5 |
|
| Dil | Türkçe |
|---|
| Staj / Uygulama | Yok |
|---|
