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

ÖÇ 1
ÖÇ 2
ÖÇ 3
ÖÇ 4
ÖÇ 5
* Katkı Düzeyi : 1 Çok düşük 2 Düşük 3 Orta 4 Yüksek 5 Çok yüksek