|
נקודות זכות באוניברסיטה העברית:
2
תואר:
מוסמך
היחידה האקדמית שאחראית על הקורס:
מדעי המחשב
סמסטר:
סמסטר ב'
שפת ההוראה:
אנגלית ועברית
קמפוס:
קרית א"י ספרא
מורה אחראי על הקורס (רכז):
גיא כץ
שעות קבלה של רכז הקורס:
לפי פגישה
מורי הקורס:
פרופ גיא כץ
תאור כללי של הקורס:
סמינר בו מציגים הסטודנטים מאמרים הסוקרים את תחום האימות הפורמלי של למידה עמוקה, כולל סקירה על שיטות אימות שונות המבוססות על פתרון אילוצים, אינטרפרטציה אבסטרקטית, שיטות שלמות ולא שלמות, עוד
מטרות הקורס:
להבין לעומק שיטות אימות מתקדמות ללמידה עמוקה
תוצרי למידה :
בסיומו של קורס זה, סטודנטים יהיו מסוגלים:
להביר שיטות שונות לאימות פורמלי של למידה עמוקה, על יתרונותיהן וחסרונותיהן
דרישות נוכחות (%):
80%
שיטת ההוראה בקורס:
הרצאות הניתנות ע"י המרצה והסטודנטים
רשימת נושאים / תכנית הלימודים בקורס:
שיטות אימות מבוססות פתרני ספיקות מודולו תאוריות, פתרני תכנות לינארי, קבוע ליפשיץ, אינטרפרטציה אבסטרקטית, וקירובים
חומר חובה לקריאה:
אין
חומר לקריאה נוספת:
מרכיבי הציון הסופי :
מידע נוסף / הערות:
לתשומת לבכם, ייתכן והקורס יילמד בשפה האנגלית
|
