• 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 6005 Kısıt Programlama SEÇMELİ 3 0 0 8

Dersi Veren Birim

Fen Bilimleri Enstitüsü

Dersin Düzeyi

Yüksek Lisans

Ders Koordinatörü

PROF. DR. GÖKHAN DALKILIÇ

Dersi Alan Birimler

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

Dersin Amacı

Dersin Öğrenme Kazanımları

1   Planlama ve zamanlama problemlerini çözebilme 2   Bilinmeyenler arasındaki mantıksal ilişkileri tanımlayabilme 3   Kısıt programlamayı pratik problemler üzerinde uygulayabilme 4   Uygun algoritmaları kullanabilme 5   Fazla kısıt sistemleri tanımlayabilme

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 Giriş 2 Algoritma 3 Mantık Temelleri 4 Sözlüksel ve Sözdizimi Analizi Temelleri 5 Mantık Programlama 6 Kısıt Mantık Programlama 7 Aynı Anda Kullanım Kısıt Mantık Programlama 8 Kısıt Ele Alma Kuralları 9 Kısıt Sistemler ve Kısıt Çözücüler 10 Boolean Cebir 11 Oranlı Ağaçlar 12 Lineer Polinomik Eşitlikler 13 Sınırlı Alanlar 14 Lineer Olmayan Eşitlikler

Ders İçin Önerilen Kaynaklar

İlan Edilecektir.

Öğrenme ve Öğretme Yöntemleri

Sunum araçları ile ders sınıfta işlenecektir. Programlama ödevleri ve proje verilerek tüm öğrencilerin kısıt programlama tekniklerini öğrenmesi beklenmektedir.

Değerlendirme Yöntemleri

SIRA NO KISA KOD UZUN ADI FORMUL 1 RAP RAPOR 2 SUN SUNUM 3 YSS YIL SONU SINAVI 4 YSBN YIL SONU BAŞARI NOTU RAP * 0.25 + SUN * 0.25 + YSS * 0.50 5 BUT BÜTÜNLEME 6 BUTBN BÜTÜNLEME SONU BAŞARI NOTU RAP * 0.25 + SUN * 0.25 + 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 (ders materyallerinin okunması vb.) 14 4 56 Final sınavına hazırlık 1 10 10 Ödev hazırlama 4 9 36 Sunum hazırlama 2 5 10 Diğer (araştırma, makale okuma, vb.) 3 15 45 Final Sınavı 1 2 2 TOPLAM İŞ YÜKÜ (saat) 201

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