DERS ADI

: HESAPLAMA TEORİSİ

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/ÖKPK.1PK.2PK.3PK.4PK.5PK.6PK.7PK.8PK.9PK.10
ÖK.153
ÖK.25333
ÖK.353
ÖK.453
ÖK.553