• 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 SEÇMELİ

Dersi Veren Birim

Bilgisayar Bilimleri

Dersin Düzeyi

Lisans

Ders Koordinatörü

Dersi Alan Birimler

Dersin Amacı

Dersin Öğrenme Kazanımları

1   Bir genel kısıt çözücünün çalışma prensipleri hakkında temel bilgilere sahip olma. 2   Bir kombinatoryel problemi verilen bir kısıt çözücünün yapısal temel kısıt ifadelerini kullanarak bir kısıt problemi olarak modelleyebilme. 3   Kısıt programlarının çalışma hızlarında iyileştirmeye yönelik simetri tespiti ve elemesi, veya filtreleme algoritmaları gibi teknikler hakkında temel bilgilere sahip olma. 4   Tamsayılı doğrusal programlama ve yerel arama gibi kombinatoryel problemlerin modellenmesi ve çözümü için kullanılan teknolojiler konusunda temel bilgiye sahip olma. 5   Farklı kısıt modelleme dilleri ve kısıt programlama araçlarını kullanabilme.

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 Kombinatoryel optimizasyona giriş, Kombinatoryel optimizasyon problemleri için çözüm teknikleri 2 Kombinatoryel optimizasyon uygulamaları, Kısıt programlamaya giriş, Yöneylem araştırmasındaki kısıt sağlama problemleri IBM ILOG OPL dili ve CP Çözücüsü 3 Kısıt programlamada temel kavramlar, OPL kullanarak bir kombinatoryel problemin modellenmesi - 1 Ödev 1; Proje konuları 4 OPL kullanarak bir kombinatoryel problemin modellenmesi - 2 Proje gruplarının oluşturulması 5 Kısıt tutarlılığı ve yayılması (propagasyonu) - 1, Tanım uzayı daraltma teknikleri 6 Kısıt tutarlılığı ve yayılması - 2, Geri izleme araması Ödev 2 7 Kısıt programlama için arama stratejileri, Değişken ve değer sıralama stratejileri 8 Ara sınav 9 Global kısıtlar Diğer modelleme dil ve araçları (Choco, GECODE, MiniZinc, vd.) 10 Arama sezgiselleri - 1 11 Arama sezgiselleri - 2, Simetri Ödev 3 12 Optimizasyon problemleri 13 Kısıt programlamanın karışık tamsayılı programlama ile karşılaştırması ve hibrit stratejiler 14 Proje sunumları

Ders İçin Önerilen Kaynaklar

İlan Edilecektir.

Öğrenme ve Öğretme Yöntemleri

Ders, anlatım, sınıf sunumu ve tartışma biçiminde öğretilecek. Öğretilen dersin yanı sıra, öğrencilere gruplar halinde sunumlar hazırlatılacak ve tartışmalı oturumlar şeklinde sundurulacaktır. Dersin bazı haftalarında, daha önce verilen ödev sonuçları tartışılarak pekiştirilecektir.

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.30 + OD * 0.30 + FN * 0.40 5 BUT Bütünleme Notu 6 BBN Bütünleme Sonu Başarı Notu VZ * 0.30 + OD * 0.30 + BUT * 0.40 *** Bütünleme Sınavı Yapılmayan Birimlerde Bütünleme Kriteri Dikkate Alınmaz.

Değerlendirme Yöntemlerine İliskin Aciklamalar

Yok

Değerlendirme Kriteri

İlan Edilecektir.

Dersin Öğretim Dili

Türkçe

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ı 13 3 39 Final Sınavına Hazırlık 1 15 15 Ödev Hazırlama 3 5 15 Proje Hazırlama 1 30 30 Sunum Hazırlama 1 5 5 Haftalık Ders öncesi/sonrası hazırlıklar 13 2 26 Final Sınavı 1 2 2 TOPLAM İŞ YÜKÜ (saat) 132

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