Öğ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) |
| DERSİN PROGRAM KAZANIMLARINA KATKISI | |||||||
|---|---|---|---|---|---|---|---|
| No | Temel öğrenme Kazanımları | Katkı Düzeyi | |||||
| 1 | 2 | 3 | 4 | 5 | |||
| 1 | 1. Matematik, fen bilimleri ve bilgisayarla ilgili mühendislik konularında yeterli altyapıya sahip olma; bu alanlardaki kuramsal bilgileri beraber kullanabilme |
||||||
| 2 | 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 |
||||||
| 3 | 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 |
||||||
| 4 | 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 | 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 |
||||||
| 6 | Bireysel olarak ve disiplin içi/çok disiplinli takımlarda etkin çalışabilme becerisi, sorumluluk alma ve özgüven |
||||||
| 7 | Bilgiye erişebilme, kaynak araştırması yapabilme ve bilgi kaynaklarını kullanabilme becerisi |
||||||
| 8 | Yaşam boyu öğrenmenin gerekliliği bilinci; bilim ve teknolojideki gelişmeleri izleme ve kendini sürekli yenileme becerisi |
||||||
| 9 | 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 |
||||||
| 10 | Mesleki ve etik sorumluluk bilinci; mühendislik uygulamalarında kullanılan standartlar hakkında bilgi |
||||||
| 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 |
||||||
| 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 |
||||||
| DERS AKIŞI | |||
|---|---|---|---|
| Hafta | Konular | Ön Hazırlık | Yöntem |
| 1 | Mantığa giriş, argümanlar, sabitler, mantıksal sistemler | Ders notlarının okunması | Anlatım Soru-Cevap |
| 2 | Önermeli mantık | Ders notlarının okunması | Anlatım Soru-Cevap |
| 3 | Birinci-dereceli mantık: cümleler, niceleyiciler, formüller, kümeler | Ders notlarının okunması | Anlatım Soru-Cevap |
| 4 | Birinci-dereceli mantığın anlamı, ilişkiler, fonksiyon sembolleri | Ders notlarının okunması | Anlatım Soru-Cevap |
| 5 | Argümanlar, anlamsal çıkarım ilişkileri | Ders notlarının okunması | Anlatım Soru-Cevap |
| 6 | Tümdengelim, doğruluk ve bütünlülük | Ders notlarının okunması | Anlatım Soru-Cevap |
| 7 | Mantıksal programlamaya giriş, gerçekler, sorgular, değişkenler, yerine-koyma işlemleri, örnekler, kurallar. | Ders notlarının okunması | Anlatım Soru-Cevap |
| 8 | Ara Sınav | Ders notlarının okunması | Yazılı Sınav |
| 9 | Prolog programlamaya giriş | Ders notlarının okunması | Anlatım Soru-Cevap |
| 10 | Aritmetik, birleşik terimler | Ders notlarının okunması, program yazma | Anlatım Soru-Cevap Gösterip Yaptırma |
| 11 | Üst-mantıksal yüklemler | Ders notlarının okunması, program yazma | Anlatım Soru-Cevap Gösterip Yaptırma |
| 12 | Kesmeler ve değililik, kuyruk özyineleme | Ders notlarının okunması, program yazma | Anlatım Soru-Cevap Gösterip Yaptırma |
| 13 | Giriş/çıkış, etkileşimli programlar | Ders notlarının okunması, program yazma | Anlatım Soru-Cevap Gösterip Yaptırma |
| 14 | Belirleyici olmayan programlama | Ders notlarının okunması, program yazma | Anlatım Soru-Cevap Gösterip Yaptırma |
| 15 | Proje sunumları | Program yazma, rapor hazırlama, sunum hazırlama | Grup Çalışması Sözlü Sınav Proje / Tasarım |
| 16-17 | Yarıyıl Sonu Sınavları | Ders notlarının okunması | Yazılı Sınav |
| KAYNAKLAR | |
|---|---|
| Ders Notu | |
| Diğer Kaynaklar | |
