DERS ADI

: Hesaplama Makinaları Teorisi

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ü

DOÇ.DR. ZERRİN IŞIK

Dersi Alan Birimler

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

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 1 ÖDEV 1
3 ODV 2 ÖDEV 2
4 YSS YIL SONU SINAVI
5 YSBN YIL SONU BAŞARI NOTU ARS * 0.30 + ODV 1 +ODV 2/2 * 0.20 + YSBN * 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

İlan Edilecektir.

Dersin Öğretim Üyesi İletişim Bilgileri

Dokuz Eylül Üniversitesi, Bilgisayar Mühendisliği Bölümü
Tınaztepe Yerleşkesi 35160 Buca, İzmir
Tel: +90 (232) 301 74 01

Ders Öğretim Üyesi Görüşme Gün ve Saatleri

ilk derste duyurulacak

Staj Durumu

YOK

İş Yükü Hesaplaması

Etkinlikler Sayısı Süresi (saat) Toplam İş Yükü (saat)
Ders Anlatımı 39 1 39
Haftalık Ders öncesi/sonrası hazırlıklar 13 5 65
Vize Sınavına Hazırlık 2 10 20
Final Sınavına Hazırlık 1 15 15
Diğer Kısa Sınavlara Hazırlık 3 3 9
Ödev Hazırlama 4 4 16
Kitap Okuma 3 7 21
Final Sınavı 1 2 2
Vize Sınavı 2 2 4
Diğer Kısa Sınav 3 3 9
TOPLAM İŞ YÜKÜ (saat) 200

Program ve Öğrenme Kazanımları İlişkisi

PK/ÖKPK.1PK.2PK.3PK.4PK.5PK.6PK.7PK.8PK.9PK.10PK.11
ÖK.123
ÖK.225
ÖK.3453
ÖK.45
ÖK.5454