22924 טכניקות עיבוד אילוצים ויישומיהן

22924 טכניקות עיבוד אילוצים ויישומיהן

4 נקודות זכות

שיוך: תואר שני / מדעי המחשב

תנאי קבלה: קבלה לתואר שני במדעי המחשב.1 ידע קודם דרוש: הקורס שפת פרולוג והיבטים לבינה מלאכותית.2

פיתוח הקורס: פרופ' אמנון מייזלס

רשתות אילוצים החלו להיחקר לפני כעשרים שנה והן מהוות כלי לייצוג של בעיות מתחומים רבים: החל מבעיות תזמון, דרך בעיות של מערכות שעות, וכלה בבעיות ציוות כוח אדם. בתחום של עיבוד אילוצים (‏CP – Constraints Processing‎)‏ ישנם שני זרמים: תכנות באילוצים ואלגוריתמי חיפוש נבונים. התחום המרכזי של הקורס יוקדש לאלגוריתמי חיפוש נבונים, וכל האלגוריתמים המרכזיים ותכונותיהם המוכחות יוצגו בפירוט. תכנות באילוצים יוצג דרך שפה לתכנות לוגי (‏EcLiPSe או Sicstus‎)‏ ושיטות טיפול באילוצים אריתמטיים.

חומר הלימוד של הקורס מבוסס על קובץ מאמרים באנגלית המלווה במדריך למידה בעברית.

נושאי הלימוד

• מבוא לרשתות אילוצים

• תכנות באילוצים

• אלגוריתמי נסיגה נבונים ותכונותיהם

• תכונות ניסיוניות של אלגוריתמי חיפוש נבונים

• בעיות לוחות זמנים ושיטות לפתרון

• שיטות חיפוש אקראיות ומקומיות

• רשתות אילוצים מבוזרות ואלגוריתמי חיפוש עליהן

---

1 סטודנט שאינו עומד בתנאי הקבלה יכול, במקרים מסוימים, להירשם לקורס. לפרטים נוספים עיינו בסעיף קבלה לקורסים בודדים בתכנית הלימודים לתואר שני במדעי המחשב.

2 סטודנטים ללא ידע מוקדם בשפת פרולוג יידרשו להשלים ידע זה לפי הנחיות שיופיעו בחוברת הקורס.