• ANASAYFA
• ÜNİVERSİTE HAKKINDA
  • İsim - Adres
  • Genel Bilgi
  • Üniversite Yönetimi
  • Akademik Takvim
  • Derece Programları
  • Yabancı Dilde Eğitim Veren Birimler
  • Genel Kabul ve Kayıt Koşulları
  • Kredi Hareketliliği ve Önceki Öğrenmenin Tanınması
  • AKTS Kredilerinin Belirlenmesi
  • Akademik Danışmanlık
  • İletişim
• DERECE PROGRAMLARI
  • Doktora Programları
  • Yüksek Lisans Programları
  • Lisans Programları
  • Önlisans Programları
• ÖĞRENCİ İÇİN GENEL BİLGİLER
  • Yaşam Standardı
  • Barınma
  • Beslenme
  • Sağlık
  • Engelli İçin Olanaklar
  • Sigorta
  • Finansal Destekler
  • Öğrenci İşleri Daire Başkanlığı
  • Uluslararası Öğrenciler için Pratik Bilgiler
  • Dil Kursları
  • Staj Olanakları
  • Sportif, Sosyal ve Kültürel Faaliyetler
  • Öğrenci Toplulukları ve Kulüpler
  • İzmir-Türkiye Hakkında
• ULUSLARARASI İLİŞKİLER
  • Dış İlişkiler Koordinatörlüğü
  • Kayıt İşlemleri
  • Anlaşmalar
  • Koordinatörler
  • Belgeler
  • Yabancı Dilde Eğitim Veren Birimler
  • AKTS/DE Etiketi

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ı

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

İlan Edilecektir.

Öğ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

İlan Edilecektir.

Dersin Öğretim Dili

İngilizce

Derse İlişkin Politika ve Kurallar

İlan Edilecektir.

Dersin Öğretim Üyesi İletişim Bilgileri

İlan Edilecektir.

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

İlan Edilecektir.

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 PK.5 PK.6 PK.7 PK.8 PK.9 PK.10 ÖK.1 5 3 ÖK.2 5 3 3 3 ÖK.3 5 3 ÖK.4 5 3 ÖK.5 5 3