TÜRKÇE
ENGLISH
Genel Bilgi
| Birim | MÜHENDİSLİK FAKÜLTESİ |
| BİLGİSAYAR MÜHENDİSLİĞİ PR. (İNGİLİZCE) | |
| Kod | CEN448 |
| Ad | Introduction to Logic Programming |
| Dönem | 2020-2021 Eğitim-Öğretim Yılı |
| Yarıyıl | 8. Yarıyıl |
| Süre (T+U) | 3-0 (T-U) (17 Hafta) |
| AKTS | 6 AKTS |
| Yerel Kredi | 3 Yerel Kredi |
| Eğitim Dil | İngilizce |
| Seviye | Lisans Dersi |
| Tür | Normal |
| Etiket | S Seçmeli |
| Öğretim Şekli | Uzaktan Öğretim |
| Bilgi Paketi Koordinatörü | Prof. Dr. SELMA AYŞE ÖZEL |
| Dersin Öğretim Elemanı |
Güncel dönem ders programı henüz yapılmamıştır.
|
Dersin Amacı / Hedefi
Bu dersin amacı önermeli ve birinci-derece mantık konularına bir giriş yapıp, ardından Prolog ile mantıksal programlamaya giriş yapmaktır
Dersin İçeriği
Mantığa giriş, önermeli mantık, birinci-derece mantık, argümanlar ve çıkarımlar, Prolog diline giriş, gerçekler, sorgular, değişlenker, özyineleme, anlam, program doğruluğu, aritmetik, yüklemler, kesmeler ve değilleme, program geliştirme
Dersin Ön Koşulu
Kaynaklar
Notlar
Dersin Öğrenme Çıktıları
| Sıra | Dersin Öğrenme Çıktıları |
|---|---|
| ÖÇ01 | Önermeli ve birinci-derece mantık konularını öğrenir. |
| ÖÇ02 | Çözümleme ilkesi, tümevarımlı çıkarım ve bilgi gösterimini öğrenir. |
| ÖÇ03 | Prolog dilini öğrenir ve uygulama yapar. |
Program Öğrenme Çıktıları ile İlişkisi
| Sıra | Tür | Program Öğrenme Çıktıları | Duzey |
|---|---|---|---|
| PÖÇ01 | - | 1. Matematik, fen bilimleri ve bilgisayarla ilgili mühendislik konularında yeterli altyapıya sahip olma; bu alanlardaki kuramsal bilgileri beraber kullanabilme | 5 |
| PÖÇ02 | - | 2. Karmaşık mühendislik problemlerini saptama, tanımlama, formüle etme ve çözme becerisi; bu amaçla uygun analitik yöntemler ve modelleme tekniklerini seçme ve uygulama | 5 |
| PÖÇ03 | - | 3. Karmaşık bir sistemi, sistem bileşenini ya da süreci analiz etme ve istenen gereksinimleri karşılamak üzere gerçekçi kısıtlar altında tasarlama becerisi; bu doğrultuda modern tasarım yöntemlerini uygulama becerisi | 5 |
| PÖÇ04 | - | 4. Mühendislik uygulamaları için gerekli olan modern teknik ve araçları geliştirme, seçme ve kullanma becerisi; bilişim teknolojilerini etkin kullanma becerisi | 5 |
| PÖÇ05 | - | 5. Karmaşık bilgisayar mühendisliği problemlerin çözümüne ilişkin deney tasarlama, deney yapma, veri toplama, sonuçları analiz etme ve yorumlama becerisi | 5 |
| PÖÇ06 | - | Bireysel olarak ve disiplin içi/çok disiplinli takımlarda etkin çalışabilme becerisi, sorumluluk alma ve özgüven | 5 |
| PÖÇ07 | - | Bilgiye erişebilme, kaynak araştırması yapabilme ve bilgi kaynaklarını kullanabilme becerisi | 5 |
| PÖÇ08 | - | Yaşam boyu öğrenmenin gerekliliği bilinci; bilim ve teknolojideki gelişmeleri izleme ve kendini sürekli yenileme becerisi | 5 |
| PÖÇ09 | - | 9. Türkçe sözlü ve yazılı etkin iletişim kurma, ve en az bir yabancı dilde teknik yayın okuyup anlayabilme, rapor hazırlama ve sunum yapma becerisi | 5 |
| PÖÇ10 | - | Mesleki ve etik sorumluluk bilinci; mühendislik uygulamalarında kullanılan standartlar hakkında bilgi | 5 |
| PÖÇ11 | - | 11. Proje yönetimi, işyeri uygulamaları, çalışanların sağlığı, çevre ve iş güvenliği, ve mühendislik uygulamalarının hukuksal sonuçları hakkında farkındalık | 2 |
| PÖÇ12 | - | 12. Mühendislik çözümlerinin ve uygulamalarının evrensel ve toplumsal boyutlardaki etkileri, girişimcilik ve yenilikçilik, ve çağın sorunları hakkında bilgi sahibi olmak | 5 |
Haftalık Akış
| Hafta | Konu | Ön Hazırlık | Yöntemler |
|---|---|---|---|
| 1 | Mantığa giriş, argümanlar, sabitler, mantıksal sistemler | Ders notlarının okunması | |
| 2 | Önermeli mantık | Ders notlarının okunması | |
| 3 | Birinci-dereceli mantık: cümleler, niceleyiciler, formüller, kümeler | Ders notlarının okunması | |
| 4 | Birinci-dereceli mantığın anlamı, ilişkiler, fonksiyon sembolleri | Ders notlarının okunması | |
| 5 | Argümanlar, anlamsal çıkarım ilişkileri | Ders notlarının okunması | |
| 6 | Tümdengelim, doğruluk ve bütünlülük | Ders notlarının okunması | |
| 7 | Mantıksal programlamaya giriş, gerçekler, sorgular, değişkenler, yerine-koyma işlemleri, örnekler, kurallar. | Ders notlarının okunması | |
| 8 | Ara Sınav | Ders notlarının okunması | |
| 9 | Prolog programlamaya giriş | Ders notlarının okunması | |
| 10 | Aritmetik, birleşik terimler | Ders notlarının okunması, program yazma | |
| 11 | Üst-mantıksal yüklemler | Ders notlarının okunması, program yazma | |
| 12 | Kesmeler ve değililik, kuyruk özyineleme | Ders notlarının okunması, program yazma | |
| 13 | Giriş/çıkış, etkileşimli programlar | Ders notlarının okunması, program yazma | |
| 14 | Belirleyici olmayan programlama | Ders notlarının okunması, program yazma | |
| 15 | Proje sunumları | Program yazma, rapor hazırlama, sunum hazırlama | |
| 16 | Yarıyıl Sonu Sınavları | Ders notlarının okunması | |
| 17 | Yarıyıl Sonu Sınavları | Ders notlarının okunması |
Öğrenci İş Yükü - AKTS
| Çalışmalar | Sayısı | Süresi (Saat) | İş Yükü (Saat) |
|---|---|---|---|
| Ders ile İlgili Çalışmalar | |||
| Ders (Sınav haftaları dahil değildir) | 14 | 3 | 42 |
| Sınıf Dışı Ders Çalışma (Ön çalışma, pekiştirme) | 14 | 5 | 70 |
| Değerlendirmeler ile İlgili Çalışmalar | |||
| Ödev, Proje, Diğer | 0 | 0 | 0 |
| Ara Sınavlar (Yazılı, Sözlü, vs.) | 1 | 15 | 15 |
| Yarıyıl/Yıl Sonu/Final Sınavı | 1 | 30 | 30 |
| Toplam İş Yükü (Saat) | 157 | ||
| Toplam İş Yükü / 25 (s) | 6,28 | ||
| AKTS | 6 AKTS | ||