Dokuz Eylül Üniversitesi Ders Katoloğu / Bilgi Paketi

Ders Bilgileri

Ders Kodu	Ders Adı	Ders Türü	D	U	L	AKTS
CSE 5041	Hesaplama Makinaları Teorisi	SEÇMELİ	3	0	0	8

Dersi Veren Birim

Fen Bilimleri Enstitüsü

Dersin Düzeyi

Yüksek Lisans

Ders Koordinatörü

PROF.DR. YALÇIN ÇEBİ

Dersi Alan Birimler

Bilgisayar Mühendisliği Tezsiz Yüksek Lisans (İ.Ö) (İngilizce)
Bilgisayar Mühendisliği Tezsiz Yüksek Lisans (İngilizce)
Bilgisayar Mühendisliği Bütünleşik Doktora (İngilizce)
Bilgisayar Mühendisliği Doktora (İngilizce)
Bilgisayar Mühendisliği Yüksek Lisans (İngilizce)

Dersin Amacı

Öğrencilerin hesaplama bilimleri teorisi hakkında bilgi ve beceri sahibi olmalarıdır.

Dersin Öğrenme Kazanımları

1	Dil ve makina sınıflarının tanımlanabilmesi
2	Çözülebilir ve çözülemez problemleri tanımlayabilmek
3	Hesaplama problem sınıflarının algoritmik performanslarını tanımlayabilmek
4	Karmaşıklık sınıflarını tanımlayabilmek
5	Probabilistik ve yaklaşıklık algoritmalarını mühendislik problemlerine uygulayabilmek

Dersin Öğretim Türü

Örgün Öğretim

Dersin Önkoşulu/Önkoşulları

Yok

Ders İçin Önerilen Diğer Hususlar

Yok

Ders İçeriği

Hafta	Konular	Açıklama
1	Matematiksel Temeller: Notasyon, Diller, Kümeler, Sembolik Lojik ve Aritmetik
2	Düzenli Diller, Düzenli ifadeler ve Sonlu otomata
3	Düzensiz Diller ve Pumping Lemma
4	Bağlam-Bağımsız Diller ve Yığın yapılı otomatlar
5	Serbest Gramerler ve Turing Makinaları
6	Church-Turing Tezi
7	Karar verilebilirlik, Durdurulma Sorunu
8	İndirgenebilirlik
9	Özyineleme Teoremi, Mantıksal Karar verilebilirlik Teorileri, Bilgi Tanımı
10	Basit Rekursif Fonksiyonlar
11	Mu-Rekursif Fonksiyonlar
12	Hesaplama Karmaşıklık Teorisi
13	Gödel Teoremi (Eksiklik)
14	Gözden geçirme

Ders İçin Önerilen Kaynaklar

Ders Kitabı: Sipser, Michael. Introduction to the Theory of Computation. 2nd ed.
Boston, MA: Thomson Course Technology, 2006. ISBN: 0534950973.
Yardımcı Kitap: Sudkamp, Thomas A. Languages and Machines, Addison-Wesley, 1988.

Diğer: Ders notları, makaleler, problem kümeleri

Öğrenme ve Öğretme Yöntemleri

Teorik dersler, problem kümeleri, ev ödevleri, projeler

Değerlendirme Yöntemleri

SIRA NO	KISA KOD	UZUN ADI	FORMUL
1	ARS	ARASINAV
2	ODV	ÖDEV
3	YSS	YIL SONU SINAVI
4	YSBN	YIL SONU BAŞARI NOTU	ARS * 0.30 + ODV * 0.20 +YSS * 0.50
5	BUT	BÜTÜNLEME
6	BUTBN	BÜTÜNLEME SONU BAŞARI NOTU	ARS * 0.30 +ODV * 0.20 + BUT * 0.50

*** Bütünleme Sınavı Yapılmayan Birimlerde Bütünleme Kriteri Dikkate Alınmaz.

Değerlendirme Yöntemlerine İliskin Aciklamalar

Yok

Değerlendirme Kriteri

İlan Edilecektir.

Dersin Öğretim Dili

İngilizce

Derse İlişkin Politika ve Kurallar