Bilgi Paketi
baskent.edu.tr

Bilgi Teknolojileri ve Sistem Yönetimi Tezli Yüksek Lisans Programı

BTS547

MANTIKSAL PROGRAMLAMA I

Ders Kodu
BTS547
Yarıyıl
-
Teori+Uygulama
3 + 0
AKTS
10
Dersin TürüSeçmeli
Dersin DüzeyiTezli Yüksek Lisans
Dersin Yılı-
Dersin Yarıyılı-
AKTS10
Öğretim Eleman(lar)ı -
Öğrenme Kazanımları

Bu dersin sonunda öğrenciler;

  1. Mantıksal programlanın ne olduğunu ve öteki dillerden farkını kavrayacaklar,
  2. Mantıksal programlamayı PROLOG dilini kullanarak öğreneceklerdir
Veriliş BiçimiYüz Yüze
ÖnkoşullarYok
Önerilen DerslerBu dersle ilişkili önerilen başka dersler bulunmamaktadır.
Ders TanımıMantığın temelleri. Mantıksal Programlama kavramı. Prolog: facts, rules, goals, backtracking, recursion, veri yapıları, aritmetik, kontrol yapıları, döngüler, cut, I/O, veritabanı, fail, true, not, debug, operatörler.
Ders İçeriği
HAFTA KONULAR
1. Hafta Getting Started
2. Hafta Facts
3. Hafta Simple Queries
4. Hafta Compound Queries
5. Hafta Rules
6. Hafta Arithmetic
7. Hafta Managing Data
8. Hafta ARASINAV I
9. Hafta Recursion
10. Hafta Data Structures
11. Hafta Unification
12. Hafta Lists
13. Hafta Operators, Cut
14. Hafta Control Structures
Kaynaklar1. Leon Sterling, Ehud Shapiro, The Art of Prolog, Second Edition: Advanced Programming Techniques, The MIT Press, 2 edition, 1994, ISBN: 978-0262193382.
2. Richard O'Keefe, The Craft of Prolog (Logic Programming), The MIT Press, 2009, ISBN: 978-0262512275.
3. Ivan Bratko, Prolog Programming for Artificial Intelligence, International Computer Science Series, Addison-Wesley Educational Publishers Inc; 4th edition, 2011, ISBN: 978-0321417466.
4. Leon S. Sterling , The Practice of Prolog (Logic Programming), The MIT Press, 2003, ISBN-13: 978-0262514453.
5. Patrick Blackburn, Learn Prolog Now! (Texts in Computing, Vol. 7), College Publications, 2006, ISBN: 978-1904987178.
6. William F. Clocksin, Programming in Prolog: Using the ISO Standard, Springer; 5th edition, 2003, ISBN: 978-3540006787.
7. Amzi, Adventures in Prolog, web.
8. Building Expert Systems in Prolog, web.
Öğretim Yöntemleri
  • Anlatım
  • Soru-Cevap
  • Sorun/Problem Çözme
  • Diğer
Değerlendirme
Sayısı Toplam Katkısı (%)
Ara Sınav 1 30
Ödev 1 10
Proje 1 10
Toplam(%) 50
Yıl İçinin Başarıya Oranı(%) 50
Finalin Başarıya Oranı(%) 50
Toplam(%) 100
DilTürkçe
Staj / UygulamaYok

Program Yeterlilikleri / Öğrenme Kazanımları

Ö1 Ö2
P1 X
P2 X
P3 X
P4 X
P5 X
P6 X
P7 X
P8 X X
P9 X X
P10
P11