Öğretim Programları Hakkında Bilgiler
| DERS BİLGİLERİ | |||||
|---|---|---|---|---|---|
| Ders | Kodu | Yarıyıl | Ders Süresi | Kredi | AKTS |
| Introduction to Logic Programming | CEN 448 | 8 | 3 | 3 | 6 |
| Ön Koşul Dersleri | |
| Ders Hakkında Önerilen Diğer Hususlar | None |
| Dersin Dili | İngilizce  |
| Dersin Seviyesi | Lisans |
| Dersin Türü | Seçmeli |
| Dersin Koordinatörü | Prof. Dr. Selma Ayşe ÖZEL |
| Dersi Verenler | |
| Dersin Yardımcıları | |
| Dersin Amacı | 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 Öğrenme Kazanımları |
|---|
| 1) Önermeli ve birinci-derece mantık konularını öğrenir. |
| 2) Çözümleme ilkesi, tümevarımlı çıkarım ve bilgi gösterimini öğrenir. |
| 3) Prolog dilini öğrenir ve uygulama yapar. |
| 4) |
| 5) |
| 6) |
| 7) |
| 8) |
| 9) |
| 10) |
| 11) |
| 12) |
| 13) |
| 14) |
| 15) |
