• 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 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 Bütünleşik Doktora (İngilizce) Bilgisayar Mühendisliği Yüksek Lisans (İngilizce) Bilgisayar Mühendisliği Doktora (İngilizce) Bilgisayar Mühendisliği Tezsiz Yüksek Lisans (İ.Ö) (İngilizce)

Dersin Amacı

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 Yaklaşık Algoritmalar 14 Olasılıklsal Algoritmalar

Ders İçin Önerilen Kaynaklar

İlan Edilecektir.

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

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

İ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 3 42 Haftalık Ders öncesi/sonrası hazırlıklar 14 5 70 Vize Sınavına Hazırlık 1 15 15 Final Sınavına Hazırlık 1 30 30 Ödev Hazırlama 1 30 30 Final Sınavı 1 2 2 Vize Sınavı 1 2 2 TOPLAM İŞ YÜKÜ (saat) 191

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 PK.11 ÖK.1 2 3 ÖK.2 2 5 ÖK.3 4 5 3 ÖK.4 5 ÖK.5 4 5 4