DERS ADI

: İleri Kısıt Mantık Programlama

Ders Bilgileri

Ders Kodu Ders Adı Ders Türü D U L AKTS
CSE 6006 İleri Kısıt Mantık Programlama SEÇMELİ 3 0 0 8

Dersi Veren Birim

Fen Bilimleri Enstitüsü

Dersin Düzeyi

Yüksek Lisans

Ders Koordinatörü

DR. ÖZLEM ÖZTÜRK

Dersi Alan Birimler

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

Dersin Amacı

Bildirimsel ve operasyonel bakış açısından mantık bileşeni için, operasyonel bakış açısından da kısıt programlama eklentisi için mantık ve kısıt programlama temelleri anlatılacaktır.
Yaygın rastlanılan kısıt alanları, çözücüleri ve devre tasarımı için Bool kısıtlama, finans ve mühendislik uygulamaları için doğrusal polinom denklemleri ve çizelgeleme için sınırlı alanlar gibi uygulamaları anlatılacaktır.

Dersin Öğrenme Kazanımları

1   Mantık programlama ve bir uzantısı olan kısıtlı mantık programlamanın prensiplerini anlayabilme
2   Kısıt ele alım kuralarının prensiplerini anlayabilme
3   Bilgiyi Prolog olguları ve kuralları şeklinde ifade edebilme
4   Olgu ve kurallar kullanarak bağlantıları hesaplayabilen basit Prolog programları yazabilme
5   Prolog ve kısıtlı mantık programlama prensiplerinin anlaşıldığını gösterebilme

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 Mantık programlamaya giriş
2 Problem tanımına karşılık algoritma
3 İlişkilere karşılık fonksiyonlar
4 Mantıksal tabanlar, terimler, atomlar, birinci derece mantık
5 Horn maddeleri
6 Saf bir prolog programının bildirimsel anlamı
7 Saf Prolog programı operasyonel anlamı, ARASINAV
8 Kısıt dilleri
9 Doğrusal rasyonel kısıtlar
10 Sonlu etki
11 Boole kısıtlamaları, Sonlu ve sonsuz ağaçlar
12 Mantık kısıt programlama ve Paradigması
13 Kısıt arama ağaçları
14 Öğrenci Sunumları

Ders İçin Önerilen Kaynaklar

Ana kaynak: Ivan Bratko, Prolog Programming for Artificial Intelligence, 3rd edition, Addison-Wesley, 2001.
Yardımcı kaynak: Leon Stirling & Ehud Shapiro, The Art of Programming, 2nd edition, The MIT Press, 1994

Öğrenme ve Öğretme Yöntemleri

Sunumlar, ödevler, dönem projesi, makale araştırması ve sınavlar

Değerlendirme Yöntemleri

SIRA NO KISA KOD UZUN ADI FORMUL
1 ARS ARASINAV
2 ODV ÖDEV
3 RAP RAPOR
4 YSS YIL SONU SINAVI
5 YSBN YIL SONU BAŞARI NOTU ARS * 0.30 +ODV +RAP/2 * 0.30 +YSS * 0.40
6 BUT BÜTÜNLEME
7 BUTBN BÜTÜNLEME SONU BAŞARI NOTU ARS * 0.30 +ODV +RAP/2 * 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

Öğrenme Çıktıları (ÖÇ) 1, 2, 3, 4, ve 5 yazılı sınavlarla değerlendirilecektir. ÖÇ 2, 3, 4, ve 5 ayrıca ödevler ve dönem projesi ile değerlendirilir.

Dersin Öğretim Dili

İngilizce

Derse İlişkin Politika ve Kurallar

İlan Edilecektir.

Dersin Öğretim Üyesi İletişim Bilgileri

Dr. Özlem ÖZTÜRK
Dokuz Eylül Üniversitesi
Bilgisayar Mühendisliği Bölümü
Tınaztepe Yerleşkesi 35160 BUCA/İZMİR
Tel: (232) 301 74 17
E-Posta: ozlem.ozturk@cs.deu.edu.tr

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

Cuma 13:00 15:00

Staj Durumu

YOK

İş Yükü Hesaplaması

Etkinlikler Sayısı Süresi (saat) Toplam İş Yükü (saat)
Ders Anlatımı 14 3 42
Vize Sınavına Hazırlık 1 4 4
Final Sınavına Hazırlık 1 6 6
Ödev Hazırlama 3 6 18
Sunum Hazırlama 2 5 10
Tasarım Projesi 4 20 80
Haftalık Ders öncesi/sonrası hazırlıklar 14 2 28
Vize Sınavı 1 2 2
Final Sınavı 1 2 2
TOPLAM İŞ YÜKÜ (saat) 192

Program ve Öğrenme Kazanımları İlişkisi

PK/ÖKPK.1PK.2PK.3PK.4PK.5PK.6PK.7PK.8PK.9PK.10PK.11
ÖK.133233323222
ÖK.233233323222
ÖK.333233323222
ÖK.433233323222
ÖK.533233323222