תקציר נושאי הקורס (לא סדר העברה מדויק – חלק מהנושאים יפוצלו בין נושאים אחרים):
הגדרות בסיסיות ומוטיבציה לבדיקת תכונות
דוגמאות בסיסיות (תכונות אלגבראיות של פונקציות ומבוא לחסמים תחתונים)
בדיקת תכונות של גרפים צפופים
בדיקת מונוטוניות של פונקציות
שיטת יאו לחסמים תחתונים (כולל מספר התאמות לאלגוריתמים אדפטיבים)
מודל הגרפים הדליל
חסמים תחתונים דרך סיבוכיות תקשורת
בדיקת מרחבי הסתברות במודל הדגימה ובמודל עם שאילתות מותנות
שיטה כללית לבדיקה באמצעות למידה
בדיקת פונקציות לתלות במספר משתנים קבוע (חונטה)
ההגשה היא ביחידים. אני שומר לעצמי את הזכות לזמן סטודנטים לבחינה בע"פ על התרגילים שהגשתם.
הגדרות בסיסיות ומוטיבציה לבדיקת תכונות
דוגמאות בסיסיות (תכונות אלגבראיות של פונקציות ומבוא לחסמים תחתונים)
בדיקת תכונות של גרפים צפופים
בדיקת מונוטוניות של פונקציות
שיטת יאו לחסמים תחתונים (כולל מספר התאמות לאלגוריתמים אדפטיבים)
מודל הגרפים הדליל
חסמים תחתונים דרך סיבוכיות תקשורת
בדיקת מרחבי הסתברות במודל הדגימה ובמודל עם שאילתות מותנות
שיטה כללית לבדיקה באמצעות למידה
בדיקת פונקציות לתלות במספר משתנים קבוע (חונטה)
יתכנו שינויים בנושאים במהלך הקורס.
ציון הקורס יהיה מבוסס על תרגילים (כולל מטלות קריאה)
שינתנו במהלכו - תרחיש סביר הוא שיהיו כארבעה דפי תרגילים, כשהאחרון יהיה
להגשה לאחר הסמסטר (כי אין מבחן).