AKTS - Mantıksal Programlama
Mantıksal Programlama (CMPE413) Ders Detayları
| Ders Adı | Ders Kodu | Dönemi | Saati | Uygulama Saati | Laboratuar Hours | Kredi | AKTS |
|---|---|---|---|---|---|---|---|
| Mantıksal Programlama | CMPE413 | Alan Seçmeli | 3 | 0 | 0 | 3 | 5 |
| Ön Koşul Ders(ler)i |
|---|
| N/A |
| Dersin Dili | İngilizce |
|---|---|
| Dersin Türü | Seçmeli Dersler |
| Dersin Seviyesi | Fen Bilimleri Yüksek Lisans |
| Ders Verilme Şekli | Yüz Yüze |
| Dersin Öğrenme ve Öğretme Teknikleri | Anlatım. |
| Dersin Öğretmen(ler)i |
|
| Dersin Amacı | Dersin amacı çeşitli mantıksal programlama ve fonksiyonel programlama dillerini kullanmak suretiyle farklı mantıksal programlama dillerine ait programlama kavramları öğretmektir. Dersin sonunda öğrenciler farklı programlama dillerine ilişkin çeşitli kavramlarını anlayıp karşılaştırbilecek düzeye gelir. Öğrenciler öğrendikleri içeriğe ilişkin uygulamaları kendilerine verilen ödevleri tamamlamak suretiyle yerine getirirler. |
| Dersin Eğitim Çıktıları |
Bu dersi başarıyla tamamlayabilen öğrenciler;
|
| Dersin İçeriği | Lisp programlama: sembolik gösterimler, temel fonksiyonlar, Lambda notasyonu, formlar, fonksiyonlar: list yapıları, Prolog programlama: gerçekler ve kurallar, bağıntılar: veri yapıları, Backtracking, girdi/çıktı, gömülü öncüller. |
Haftalık Konular ve İlgili Ön Hazırlık Çalışmaları
| Hafta | Konular | Ön Hazırlık |
|---|---|---|
| 1 | Mantıksal Ajanlar | Kısım 7 (Kaynak 5) |
| 2 | Birinci Derece Mantık | Kısım 8 (Kaynak 5) |
| 3 | Birinci derece mantıkta çıkarım | Kısım 9 (Kaynak 5) |
| 4 | Birinci derece mantıkta çıkarım | Kısım 9 (Kaynak 5) |
| 5 | Cümleler, Önermeler, Amaç Karşılama, Operatörler ve Aritmetik (Prolog) | Kısım 2,3,4 (Kaynak 1) |
| 6 | Girdi ve Çıktılar / Döngüler / Backtracking’i engelleme (Prolog) | Kısım 5,6,7 (Kaynak 1) |
| 7 | Liste işleme, Dizi işleme (Prolog) | Kısım 9,10 (Kaynak 1) |
| 8 | Sözdizim, Anlamdizim, Fonksiyonlar, Değişkenler (LISP) | Kısım 4,5,6 (Ders Kitabı) |
| 9 | Sözdizim, Anlamdizim, Fonksiyonlar, Değişkenler (LISP) | Kısım 4,5,6 (Ders Kitabı) |
| 10 | Kontrol Yapıları, Makrolar (LISP) | Kısım 7,8 (Ders Kitabı) |
| 11 | Sayılar, Karakterler, Diziler, Kolleksiyonlar, Dosya Girdi/Çıktı (LISP) | Kısım 10,11,14 (Ders Kitabı) |
| 12 | Nesne Tekrar Yönelimi (Jenerik fonksiyonlar, Sınıflar) (LISP) | Kısım 16,17 (Ders Kitabı) |
| 13 | Nesne Tekrar Yönelimi (Jenerik fonksiyonlar, Sınıflar) (LISP) | Kısım 16,17 (Ders Kitabı) |
| 14 | Pratik Uygulamalar (LISP) | Kısım 26,27,28 (Ders Kitabı) |
| 15 | Gözden Geçirme | |
| 16 | Gözden Geçirme |
Kaynaklar
| Ders Kitabı | 1. Seibel, P., “Practical Common LISP”, 2005, Springer. |
|---|---|
| Diğer Kaynaklar | 2. M.Bramer, “Logic Programming with Prolog”, 2005, Springer, ISBN: 1-85233-938-1. |
| 3. L.Sterling, E.Shapiro, “The Art of Prolog: Advanced Programming Techniques”, (MIT Press Series in Logic Programming), | |
| 5. http://common-lisp.net/ | |
| 6. Artificial Intelligence : A Modern Approach (Second Edition)., Stuart Russell and Peter Norvig, Prentice-Hall, 2003, ISBN: 0-13-790395. |
Değerlendirme System
| Çalışmalar | Sayı | Katkı Payı |
|---|---|---|
| Devam/Katılım | - | - |
| Laboratuar | - | - |
| Uygulama | - | - |
| Alan Çalışması | - | - |
| Derse Özgü Staj | - | - |
| Küçük Sınavlar/Stüdyo Kritiği | - | - |
| Ödevler | 2 | 15 |
| Sunum | - | - |
| Projeler | 1 | 30 |
| Rapor | - | - |
| Seminer | - | - |
| Ara Sınavlar/Ara Juri | 1 | 25 |
| Genel Sınav/Final Juri | 1 | 30 |
| Toplam | 5 | 100 |
| Yarıyıl İçi Çalışmalarının Başarı Notu Katkısı | 70 |
|---|---|
| Yarıyıl Sonu Çalışmalarının Başarı Notuna Katkısı | 30 |
| Toplam | 100 |
Kurs Kategorisi
| Temel Meslek Dersleri | X |
|---|---|
| Uzmanlık/Alan Dersleri | |
| Destek Dersleri | |
| İletişim ve Yönetim Becerileri Dersleri | |
| Aktarılabilir Beceri Dersleri |
Dersin Öğrenim Çıktılarının Program Yeterlilikleri ile İlişkisi
| # | Program Yeterlilikleri / Çıktıları | Katkı Düzeyi | ||||
|---|---|---|---|---|---|---|
| 1 | 2 | 3 | 4 | 5 | ||
| 1 | İleri düzey hesaplama ve/veya bilişim bilgilerini yazılım mühendisliği problemlerini çözmede uygulama becerisi. | |||||
| 2 | Farklı teknolojiler, yazılım mimarileri ve yaşam-döngüsü yaklaşımları kullanarak çözümler geliştirmek. | |||||
| 3 | Bir yazılım sistemini, bileşenini, sürecini veya programını, modern teknikler ve yazılım mühendisliği uygulamalarına yönelik mühendislik araçlarını kullanarak, tasarlama, gerçekleştirme ve değerlendirme becerisi. | |||||
| 4 | Yazılım gereksinimlerini anlamak için, veri toplama, analiz etme ve yorumlama becerisi. | |||||
| 5 | Yazılım projeleri üzerindeki çalışmalar kapsamında ortaya çıkan problemler üzerinde etkin sözlü ve yazılı iletişim ve kritik düşünme becerileri. | |||||
| 6 | Bilim ve teknoloji alanındaki güncel gelişmeleri izlemede bilgiye erişim becerisi ve yazılım mühendisliği alanında bilimsel araştırma yapmak ve bir projeyi gerçekleştirmek. | |||||
| 7 | Yazılım Mühendisliği ile ilgili profesyonel, hukuksal, sosyal ve sorumluluklar konularında anlayış. | |||||
| 8 | Proje ve risk yönetim becerisi; girişimciliğin, yenilikçilik ve sürdürülebilir kalkınmanın önemi hakkında farkındalık; uluslararası standartların ve yöntemlerin bilinmesi. | |||||
| 9 | Yazılım Mühendisliği çözümlerinin, karar verme boyutunda, küresel, sosyal ve hukuki boyutları üzerindeki etkisini anlamak. | |||||
| 10 | Yazılım Mühendisliği uygulamaları için mükemmellik standartlarının geliştirilmesi, benimsenmesi ve sürekli kullanımının desteklenmesi. | |||||
ECTS/İş Yükü Tablosu
| Aktiviteler | Sayı | Süresi (Saat) | Toplam İş Yükü |
|---|---|---|---|
| Teorik Ders saati (Sınav haftası dahildir: 16 x teorik ders saati) | 16 | 3 | 48 |
| Laboratuar | |||
| Uygulama | |||
| Derse Özgü Staj | |||
| Alan Çalışması | |||
| Sınıf Dışı Ders Çalışma Süresi | 16 | 2 | 32 |
| Sunum/Seminer Hazırlama | |||
| Projeler | 1 | 10 | 10 |
| Raporlar | |||
| Ödevler | 2 | 5 | 10 |
| Küçük Sınavlar/Stüdyo Kritiği | |||
| Ara Sınavlara/Ara Juriye Hazırlanma Süresi | 1 | 10 | 10 |
| Genel Sınava/Genel Juriye Hazırlanma Süresi | 1 | 15 | 15 |
| Toplam İş Yükü | 125 | ||