Dokuz Eylül Üniversitesi Ders Katoloğu / Bilgi Paketi

Ders Bilgileri

Ders Kodu	Ders Adı	Ders Türü	D	U	L	AKTS
CSE 5087	İleri Mantık Programlama	SEÇMELİ	3	0	0	7

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

Dersin Amacı

Bu dersin amacı:
- Mantıksal programlama hakkında bildirim dili olarak mantık, mantıkla program nasıl yazılır ve verimli gerçekleştirmeler nasıl yapılır gibi temel konuları anlatmak,
- Mantık programlama dillerinin en yaygın pratik gerçekleştirmesi olan Prologu tanıtmak

Dersin Öğrenme Kazanımları

1	Döngüsel yapıları ve ekleme yapabilmeyi anlayabilme
2	Mantık programlamanın potansiel kullanım alanlarını 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, mantık programlama ve gerçekleştirim 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	Prologa giriş
2	Mantık programlamanın yapısı
3	Prolog hesaplama ortamıyla haberleşme
4	Prologun sözdizimsel yapısı
5	Prolog tümleşik fonksiyonlarını çağırma
6	Basit Prolog programları yazma ve çalıştırma
7	Programlarda döngü kullanımı, ARASINAV
8	Basit liste işlemleri: Listelerin birleştirilmesi, liste işlemleri için basit örüntüler
9	Daha az liste işlemleri: Liste içinde listeleri işleme, toplayıcı kullanımı, açık-uçlu listelerin kullanımı
10	Prolog yürütüm stratejisine devam
11	Program yazma ve hata ayıklama
12	Context Free Gramer ve Definite Clause Gramer
13	Programlama tekniklerinin Prolog ve Emperatif dillerde kıyaslanması
14	Prolog veritabanlarının ve grafiklerinin basit uygulamaları, Öğ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, dönem projesi, makale araştırması ve sınavlar

Değerlendirme Yöntemleri

SIRA NO	KISA KOD	UZUN ADI	FORMUL
1	PRJ	PROJE
2	ARS	ARASINAV
3	YYS	YARIYIL SONU SINAVI
4	YSBN	YIL SONU BAŞARI NOTU	PRJ * 0.30 + ARS * 0.30 + YYS * 0.40
5	BUT	BÜTÜNLEME
6	BUTBN	BÜTÜNLEME SONU BAŞARI NOTU	PRJ * 0.30 + ARS * 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 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

Perşembe 13:00 15:00
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	6	6
Final Sınavına Hazırlık	1	8	8
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)			178

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

DERS ADI

DERECE PROGRAMLARI