MÜHENDİSLİK FAKÜLTESİ
BİLGİSAYAR MÜHENDİSLİĞİ
Dersin Adı   MANTIK PROGRAMLAMAYA GİRİŞ (SEÇMELİ)
Dönemi Dersin Kodu Teorik Saat / Uygulama Saati AKTS
5 1213564 3 / 0 4
Dersin Düzeyi Lisans
Dersin Dili Türkçe
Dersin Veriliş Biçimi Yüz Yüze
Dersin Koordinatörü Dr.Öğr.Üyesi Nurdan Baykan
Koordinator E-mail nurdan selcuk.edu.tr
Öğretim Elemanı
Dr.Öğr.Üyesi Nurdan Baykan
Yardımcı Öğretim Elemanları
Görevlendirilen Arş.Gör.
Dersin Amacı Sembolik programlamanın temel kavramlarını ve yöntemlerini tanıtılması. Sembolik programlama matematiksel formüller, nesneler ve ilişkileri gibi sembolik ifadelerin analizlerinin gerçekleştirilmesi.
Temel Bilimler Mühendislik Bilimleri Sosyal Bilimler Eğitim Bilimleri Sanat Bilimleri Sağlık Bilimleri Tarım Bilimleri
20 80 0 0 0 0 0
DERS YÖNTEM VE TEKNİKLERİ
Yüz yüze eğitim.
HAFTA DERS İÇERİĞİ KAYNAK
1 Fonksiyonel programlama kavramına giriş. Bramer, Max. Logic Programming with Prolog. Springer, 2005.
2 Fonksiyonel programlama II Bramer, Max. Logic Programming with Prolog. Springer, 2005.
3 Özyineleme kavramı. Bramer, Max. Logic Programming with Prolog. Springer, 2005.
4 Veri yapıları Bramer, Max. Logic Programming with Prolog. Springer, 2005.
5 Kuyruklama kavramı Bramer, Max. Logic Programming with Prolog. Springer, 2005.
6 Ağaç yapıları. Bramer, Max. Logic Programming with Prolog. Springer, 2005.
7 Ağac algoritmalarının matematiksel analizi. Bramer, Max. Logic Programming with Prolog. Springer, 2005.
8 Ara sınav Bramer, Max. Logic Programming with Prolog. Springer, 2005.
9 Prolog programlama diline giriş. Bramer, Max. Logic Programming with Prolog. Springer, 2005.
10 Prolog dilinde program kodlama. Bramer, Max. Logic Programming with Prolog. Springer, 2005.
11 Örnek uygulama geliştirme I. Bramer, Max. Logic Programming with Prolog. Springer, 2005.
12 Örnek uygulama geliştirme II. Bramer, Max. Logic Programming with Prolog. Springer, 2005.
13 Mantık programlama örnekleri I. Bramer, Max. Logic Programming with Prolog. Springer, 2005.
14 Mantık programlama örnekleri II. Bramer, Max. Logic Programming with Prolog. Springer, 2005.
15 Mantık programlama örnekleri III. Bramer, Max. Logic Programming with Prolog. Springer, 2005.
DEĞERLENDİRME SİSTEMİ   Ara Sınav Final
  Sayı Katkı Payı Sayı Katkı Payı  
Yarıyıl İçi Çalışmaları : - - - -
Devam/Katılım : - - - -
Uygulamalı Sınav : - - - -
Derse Özgü Staj : - - - -
Küçük Sınav : - - - -
Ödev : - - - -
Sunum ve Seminer : - - - -
Projeler : - - - -
Atölye/Laboratuvar Uygulamaları : - - - -
Vaka Çalışmaları : - - - -
Arazi Çalışmaları : - - - -
Klinik Çalışmaları : - - - -
Diğer Çalışmaları : - - - -
Ara Sınav   1 40 - -
Final   - - 1 60
AKTS İŞ YÜKÜ TABLOSU   Sayı Süre
Ders Süresi : 14 3
Sınav Dışı Ders Çalışma Süresi : 14 2
Sunum ve Seminer Hazırlama : - -
Derse Özgü Staj : - -
Atölye/Laboratuvar Uygulamaları : - -
Arazi Çalışmaları : - -
Vaka Çalışmaları : - -
Projeler : 3 4
Ödev : 4 4
Küçük Sınavlar : - -
Ara Sınav : 1 10
Final : 1 12
DERSİN AKTS KREDİSİ 4
No DERS ÖĞRENİM ÇIKTISI KATKISI (*)
D.Ö.Ç. 1 Sembolik ifadelerle işlem yapabilen programlar yazabilme. 2
D.Ö.Ç. 2 Mantık programlama paradigmasını kullanan programlar kodlayabilme. 3
D.Ö.Ç. 3 Fonksiyonel programlama paradigmasını kullanarak programlar kodlayabilme. 3
* 1: Zayıf - 2: Orta - 3: İyi - 4: Çok İyi
PROGRAM ÇIKTISI VE DERS ÖĞRENİM ÇIKTISI İLİŞKİ MATRİSİ

DÖÇ1DÖÇ2DÖÇ3DÖÇ4DÖÇ5DÖÇ6DÖÇ7DÖÇ8DÖÇ9DÖÇ10DÖÇ11DÖÇ12DÖÇ13DÖÇ14DÖÇ15DÖÇ16DÖÇ17DÖÇ18DÖÇ19DÖÇ20
PÇ1
PÇ2
PÇ3
PÇ4
PÇ5
PÇ6
PÇ7
PÇ8
PÇ9
PÇ10
PÇ11
PÇ12
PÇ13
PÇ14
PÇ15
PÇ16
PÇ17
PÇ18
PÇ19
PÇ20