.png){kind=spacer}
GERİ DÖN
Ders Öğretim Planı
| Dersin Kodu | Dersin Adı | Dersin Türü | Yıl | Yarıyıl | AKTS | Kredi |
|---|---|---|---|---|---|---|
| BLG512 | İleri Hesaplama Teorisi | Seçmeli Ders Grubu | 1 | 1 | 6.00 | 3.00 |
Dersin Seviyesi
Yüksek Lisans
Dersin Sunulduğu Dil
Dersin Amacı
Dersin içeriği, matematiksel araçlar (tanımlar, teoremler ve ispatlar) konusunu kapsamaktadır. Ayrıca, farklı ispat türlerine odaklanarak öğrencilere ispatlama becerilerini geliştirme fırsatı sunmaktadır. Ders, düzenli diller, sonlu otomatlar ve deterministik olmayan makineler gibi konuları içeren formel diller ve otomat teorisi alanına odaklanmaktadır. Öğrenciler, düzenli ifadeler ve düzensiz dillerin tanımlarını öğrenerek, bu dilleri modellemek için kullanılan sonlu otomatları keşfedeceklerdir. Ders, Turing makineleri ve Turing makinelerinin çeşitleri gibi hesaplama kuramı konularını da kapsamaktadır
Dersi Veren Öğretim GörevlisiGörevlileri
Öğrenme Çıktıları
| 1 | İleri Hesaplama Teorisi |
| 2 | Algoritmik düşünme ve problem çözme yetenekleri |
| 3 | Optimizasyon tekniklerini anlama ve uygulama |
| 4 | Hesaplama teorisi temel kavramlarına hakim olma |
| 5 | Bilgisayar bilimindeki ileri konularla bağlantı kurma |
Öğrenim Türü
Birinci Öğretim
Dersin Ön Koşulu Olan Dersler
yok
Ders İçin Önerilen Diğer Hususlar
yok
Dersin İçeriği
Dersin içeriği, matematiksel araçlar (tanımlar, teoremler ve ispatlar) konusunu kapsamaktadır. Ayrıca, farklı ispat türlerine odaklanarak öğrencilere ispatlama becerilerini geliştirme fırsatı sunmaktadır. Ders, düzenli diller, sonlu otomatlar ve deterministik olmayan makineler gibi konuları içeren formel diller ve otomat teorisi alanına odaklanmaktadır. Öğrenciler, düzenli ifadeler ve düzensiz dillerin tanımlarını öğrenerek, bu dilleri modellemek için kullanılan sonlu otomatları keşfedeceklerdir. Ders, Turing makineleri ve Turing makinelerinin çeşitleri gibi hesaplama kuramı konularını da kapsamaktadır
Haftalık Ayrıntılı Ders İçeriği
| Hafta | Teorik | [OgretimYontemVeTeknikleri] | [OnHazirlik] |
|---|---|---|---|
| 1 | Giriş ve Genel Bakış | ||
| 2 | Sonlu Otomata ve Düzenli Diller | ||
| 3 | Bağlamdan Bağımsız Diller ve Pushdown Otomata | ||
| 4 | Bağlamdan Bağımsız Diller ve Pushdown Otomata | ||
| 5 | Turing Makineleri ve Church-Turing Tezi | ||
| 6 | Turing Makineleri ve Church-Turing Tezi | ||
| 7 | Karar Verilebilirlik | ||
| 8 | Vize | ||
| 9 | İndirgenebilirlik | ||
| 10 | Zaman Karmaşıklığı, P ve NP | ||
| 11 | Yer karmaşıklığı | ||
| 12 | Rastgeleleştirme | ||
| 13 | Paralel karmaşıklık | ||
| 14 | Paralel karmaşıklık |
Ders Kitabı Malzemesi Önerilen Kaynaklar
yok
Planlanan Öğrenme Aktiviteleri ve Metodları
Değerlendirme
| Yarıyıl (Yıl) İçi Etkinlikleri | Adet | Değer |
|---|---|---|
| Ara Sınav | 1 | 100 |
| Toplam | 100 | |
| Yarıyıl (Yıl) Sonu Etkinlikleri | Adet | Değer |
| Final Sınavı | 1 | 100 |
| Toplam | 100 | |
| Yarıyıl (Yıl) İçi Etkinlikleri | 40 | |
| Yarıyıl (Yıl) Sonu Etkinlikleri | 60 | |
Staj Durumu
yok
İş Yükü Hesaplaması
| Etkinlikler | Sayısı | Süresi (saat) | Toplam İş Yükü (saat) |
|---|---|---|---|
| Ara Sınav | 1 | 72 | 72 |
| Final Sınavı | 1 | 76 | 76 |
| Ara Sınav İçin Bireysel Çalışma | 1 | 1 | 1 |
| Final Sınavı içiin Bireysel Çalışma | 1 | 1 | 1 |
| Toplam İş Yükü (saat) | 150 | ||
Program ve Öğrenme Çıktıları İlişkisi
| PÇ 1 | PÇ 2 | PÇ 3 | PÇ 4 | PÇ 5 | PÇ 6 | PÇ 7 | PÇ 8 | PÇ 9 | PÇ 10 | PÇ 11 | PÇ 12 | PÇ 13 | PÇ 14 | PÇ 15 | |
| ÖÇ 1 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 4 |
| ÖÇ 2 | 4 | 4 | 4 | 4 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 |
| ÖÇ 3 | 4 | 5 | 4 | 5 | 4 | 5 | 5 | 4 | 5 | 4 | 5 | 4 | 4 | 5 | 5 |
| ÖÇ 4 | 4 | 5 | 4 | 4 | 5 | 4 | 5 | 4 | 4 | 4 | 5 | 4 | 4 | 5 | 5 |
| ÖÇ 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 |
* Katkı Düzeyi : 1 Çok düşük 2 Düşük 3 Orta 4 Yüksek 5 Çok yüksek