נקודות זכות באוניברסיטה העברית: 2

תואר: מוסמך

היחידה האקדמית שאחראית על הקורס: מדעי המחשב

סמסטר: סמסטר ב'

שפת ההוראה: אנגלית ועברית

קמפוס: קרית א"י ספרא

מורה אחראי על הקורס (רכז): אורנה קופרמן

דוא"ל של המורה האחראי על הקורס: orna@cs.huji.ac.il

שעות קבלה של רכז הקורס: חמישי 9-10

מורי הקורס:
פרופ אורנה קופרמן

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

מטרות הקורס:
הסטודנטים ילמדו את תורת האוטומטים מעל מבנים אינסופיים, יבינו את האתגרים שכרוכים במעבר למודל של עצמים אין-סופיים וילמדו דרכים להתמודד איתם.

תוצרי למידה :
בסיומו של קורס זה, סטודנטים יהיו מסוגלים:
להשתמש באוטומטים מעל עצמים אינסופיים כדי למדל תהליכים.

דרישות נוכחות (%):
0

שיטת ההוראה בקורס: הרצאה ותרגילים

רשימת נושאים / תכנית הלימודים בקורס:
אוטומטים מעל מילים אינסופיות. כח הבעה, תנאי קבלה שונים, תכונות סגור, דטרמיניזציה, בעיות הכרעה. שימושים בלוגיקה ובאימות מערכות. אוטומטים מעל עצים אינסופיים, גישה מבוססת משחקים לאוטומטים מעל עצים. אוטומטים מתחלפים. אלגוריתמים ובעיות הכרעה.

חומר חובה לקריאה:
--

חומר לקריאה נוספת:
--

הערכת הקורס - הרכב הציון הסופי :
מבחן מסכם בכתב/בחינה בעל פה 70 %
הרצאה0 %
השתתפות 0 %
הגשת עבודה 0 %
הגשת תרגילים 30 %
הגשת דו"חות 0 %
פרויקט מחקר 0 %
בחנים 0 %
אחר 0 %

מידע נוסף / הערות:
--