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

Ders Bilgileri

Ders Kodu	Ders Adı	Ders Türü	D	U	L	AKTS
CME 3203	HESAPLAMA TEORİSİ	ZORUNLU	2	2	0	6

Dersi Veren Birim

Bilgisayar Mühendisliği (İngilizce)

Dersin Düzeyi

Lisans

Ders Koordinatörü

DOÇ. DR. ÖZLEM VARLIKLAR

Dersi Alan Birimler

Bilgisayar Mühendisliği (İngilizce)

Dersin Amacı

Bu dersin amacı öğrencileri formal dil yapıları, durum makinaları, bilgisayar dili ve hesaplama teorisi temelleriyle ilgili bilgi ve beceri kazanmalarını sağlamaktır.

Dersin Öğrenme Kazanımları

1	Kanıtlama tekniklerini tanımlayabilme ve indirgeme yöntemini verilen problemlere uygulayabilme.
2	Düzenli dilleri belirleyebilme vd sonlu-durum makinelerini (FSM) tanımlayabilme.
3	Bağlam-bağımsız dilleri (CFL) belirleyebilme ve aşağı-sürüklemeli otomatları (PDA) tanımlayabilme.
4	Turing Makinalarını belirleyebilme.
5	P, NP sınıflarını tanımlayabilme.

Dersin Öğretim Türü

Örgün Öğretim

Dersin Önkoşulu/Önkoşulları

CME 1205 - AYRIK HESAPLAMALI YAPILAR

Ders İçin Önerilen Diğer Hususlar

Yok

Ders İçeriği

Hafta	Konular	Açıklama
1	Giriş, Matematiksel Ön Bilgiler, Teoremler ve İspatlar
2	Durum Makineleri ve Durum Makineleri ile Modelleme Hesaplaması, Belirli Sonlu Durum Otomatları (FSA)
3	Belirsiz Sonlu Durum Otomatları (NFA)
4	Düzenli Diller (RL) ve Düzenli İfadeler (RE)
5	Düzenli Olmayan Diller (NRL) ve Pumping Lemma
6	Bağlamdan Bağımsız Dilbilgisi (CFG)
7	Gramerin Farklı Formları, Chomsky Normal Formu
8	Aşağı İtmeli Otomata (PDA)
9	Bağlamdan Bağımsız Dillerin Özellikleri, Bağlamdan Bağımsız Dilbilgisi (NCFG)
10	Turing Makineleri (TM)
11	Hesaplanabilirlik ve Karar Verilebilirlik - Karar verilebilir diller
12	Karar Verilemeyen Diller
13	Durdurma (Halting) Problemi, Problemin indirgenmesi
14	Karmaşıklık Teorisi, P Sınıfı ve NP

Ders İçin Önerilen Kaynaklar

Sipser, Michael. Introduction to the Theory of Computation. Boston, MA: Thomson Course Technology. ISBN: 0534950973

Öğrenme ve Öğretme Yöntemleri

Ders anlatımı ve sınavlar

Değerlendirme Yöntemleri

SIRA NO	KISA KOD	UZUN ADI	FORMUL
1	VZ	Vize
2	OD	Ödev
3	FN	Final
4	BNS	BNS	VZ * 0.40 + OD * 0.10 + FN * 0.50
5	BUT	Bütünleme Notu
6	BBN	Bütünleme Sonu Başarı Notu	VZ * 0.40 + OD * 0.10 + BUT * 0.50

Değerlendirme Yöntemlerine İliskin Aciklamalar

Dersin değerlendirme yöntemi kısa sınavlar ve klasik yazılı sınav değerlendirmelerinden ibarettir.

Değerlendirme Kriteri

Ara sınav %40, Ödevler %10, final sınavı %50 oranında dönem notunu belirler.

Dersin Öğretim Dili

İngilizce

Derse İlişkin Politika ve Kurallar

Derse İlişkin Politika ve Kurallar: Ders başladıktan sonra öğrencilerin derse girmelerine izin verilmez, geç teslim edilen ödevler kabul edilmez, notlar açık olarak yapılacak sınavlarda sadece derste kendi el yazısı ile alınan notlar açık olarak bulundurulabilir, dersi almakla, öğrencilerin yaptıkları çalışmaların kendi çalışmaları olduğuna dair ve bunları başkaları ile paylaşmayacaklarına dair ahlaki olarak söz verdikleri varsayılır.

Dersin Öğretim Üyesi İletişim Bilgileri

e-posta: aktas.ozlem@deu.edu.tr

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

İlk derste duyurulacaktır.

Staj Durumu

YOK

İş Yükü Hesaplaması

Etkinlikler	Sayısı	Süresi (saat)	Toplam İş Yükü (saat)
Ders Anlatımı	14	2	28
Uygulama	14	2	28
Haftalık Ders öncesi/sonrası hazırlıklar	14	2	28
Vize Sınavına Hazırlık	1	18	18
Final Sınavına Hazırlık	1	18	18
Ödev Hazırlama	1	16	16
Final Sınavı	1	4	4
Vize Sınavı	1	4	4
TOPLAM İŞ YÜKÜ (saat)			144

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

PK/ÖK	PK.1	PK.2	PK.3	PK.4
ÖK.1	5	3
ÖK.2	5	3	3	3
ÖK.3	5			3
ÖK.4	5			3
ÖK.5	5			3

DERS ADI

DERECE PROGRAMLARI