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