• 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 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 (İ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   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

İlan Edilecektir.

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

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