| Ders Adı | Kodu | Verildiği Yıl | Verildiği Yarıyıl | Süresi (T+U) | Yerel Kredisi | AKTS Kredisi |
| Hesaplama Teorisi | CENG 611 | 6 | 9 | 3 + 0 | 3 | 7,50 |
| |
| Ders Bilgileri |
| Dersin Öğretim Dili | İngilizce |
| Dersin Seviyesi | Doktora |
| Dersin Türü | Seçmeli |
| Dersin Veriliş Biçimi | Yüz Yüze |
| |
Dersin Öğrenme Kazanımları:
Bu dersi başarı ile tamamlayan öğrenciler: |
| 1. Otomata teorisinin ve biçimsel dillerin temel kavramlarını anlar. |
| 2. Belirli hesaplama problemlerini çözmek için sonlu otomatlar, bağlamdan bağımsız gramerler ve Turing makineleri tasarlar. |
| 3. Problemleri hesaplama karmaşıklıkları açısından analiz eder ve bunları karmaşıklık sınıflarına göre sınıflandırır. |
| 4. Hesaplamalı problemlerin karar verilebilirliğini ve karar verilemezliğini anlar. |
| |
| Dersin Önkoşulları ve Birlikte Alınması Gereken Dersler | Yok |
| Daha Önce Alınmış Olması Önerilen Dersler | Yok |
| |
Dersin Tanımı:
|
| |
| Dersin İçeriği (Haftalık Konu Dağılımı): |
| |
| Hafta | Konu |
| 1 | Sonlu Otomata - Deterministik Olmayan Otomatalar |
| 2 | Normal Diller - Düzenli İfadeler |
| 3 | Pumping Lemma |
| 4 | Bağlamdan Bağımsız Dilbilgisi |
| 5 | Turing Makineleri ve Hesaplanabilirlik Teorisi |
| 6 | Karmaşıklık Teorisi |
| 7 | İleri Konular ve Güncel Araştırmalar |
| |
| Kaynaklar: |
| |
| |
| Diğer Kaynaklar: |
| |
| |
| Öğretim Yöntem ve Teknikleri: |
| |
| |
| Değerlendirme Sistemi: |
| Yöntem | Adet | Katkı (%) |
| Ara sınav | 1 | %30 |
| Final Sınavı | 1 | %30 |
| Ödev | 4 | %40 |
| |
| Ders İşbaşı Eğitimi (iş yerinde eğitim) Gerektiriyor mu? |
| Gerektirmiyor |