DERS TANITIM ve UYGULAMA BİLGİLERİ
Dersin Adı |
Kodu |
Yarıyıl |
T+U+L (saat/hafta) |
Türü (Z / S) |
Yerel Kredi |
AKTS |
Biçimsel Diller ve Otomatlar Kuramı |
CMPE 348 |
Güz |
03+00+00 |
Seçmeli |
3 |
5 |
Akademik Birim: |
Bilgisayar Mühendisliği |
Öğrenim Türü: |
Örgün Eğitim |
Ön Koşullar |
Yok |
Öğrenim Dili: |
İngilizce |
Dersin Düzeyi: |
Lisans |
Dersin Koordinatörü: |
İlktan AR |
Dersin Amacı: |
Bu derste vurgu üç kavramı öğrenme üstünedir: hesaplama nedir, hangi hesaplama modeli ile neler hesaplanabilir, neler hesaplanamaz? Ders konuları doğası gereği matemetikseldir ve ders boyunca ispatlar sunulur. Hesaplama problemlerinde mantık yürütme ve ispat yapabilme yeteneklerinin geliştirilmesi dersin temel amaçlarındandır. |
Dersin İçeriği: |
Temel hesaplama kavramlarına giriş. Hesapsal problemler ile diller arasındaki ilişki kurulduktan sonra, diller (düzenli diller, bağlama duyarsız diller, vb.) hesapsal zorluklara göre sınıflanır ve her sınıfa karşılık gelen hesaplama modeli tanıtılır. Her hesaplama modeli karşılık gelen bir otomat (makine) ile temsil edilir. |
Dersin Öğrenme Çıktıları (ÖÇ): |
|
Dersin Öğrenme Yöntem ve Teknikleri |
Yüzyüze ders anlatımı ve örnek problem çözümleri. |
HAFTALIK PROGRAM
Kadir Has Üniversitesi'nde bir dönem 14 haftadır, 15. ve 16. hafta sınav haftalarıdır.
ZORUNLU ve ÖNERİLEN OKUMALAR
Introduction to the Theory of Computation, 3. baskı (2.baskı da kabul olunur), Michael Sipser, Cengage Learning, 2013. |
DİĞER KAYNAKLAR
- Introduction to Automata Theory, Languages, and Computation, 3rd Edition, John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman, Pearson, 2007. - Ders Notları |
DEĞERLENDİRME SİSTEMİ
Yarıyıl İçi Çalışmaları | Sayı | Katkı Payı (%) |
Total: |
0 |
0 |
İŞ YÜKÜ HESAPLAMASI
Etkinlikler | Sayısı | Süresi (saat) | Toplam İş Yükü (saat) |
---|
Toplam İş Yükü (saat): | 0 |
1 AKTS = 25 saatlik iş yükü
PROGRAM YETERLİLİKLERİ (PY) ve ÖĞRENME ÇIKTILARI (ÖÇ) İLİŞKİSİ
# |
PY1 |
PY2 |
PY3 |
PY4 |
PY5 |
PY6 |
PY7 |
PY8 |
PY9 |
PY10 |
PY11 |
Katkı Düzeyi: 1 Düşük, 2 Orta, 3 Yüksek