תקציר נושאי הקורס (לא סדר העברה מדויק – חלק מהנושאים יפוצלו בין נושאים אחרים, וגם יכולות להיות התאמות לפי מסגרת הזמן):
הגדרות בסיסיות ומוטיבציה לבדיקת תכונות
דוגמאות בסיסיות (תכונות אלגבראיות של פונקציות ומבוא לחסמים תחתונים)
בדיקת תכונות של גרפים צפופים (בעיקר תכונות חלוקה ואיזומורפיזם)
בדיקת מונוטוניות של פונקציות (מעל סדר לינארי ומעל קוביה)
בדיקה באמצעות למידה ויישום לבדיקת מרחבי הסתברות
ההגשה היא ביחידים. צוות הקורס שומר לעצמו את הזכות לזמן סטודנטים לבחינה בע"פ על התרגילים שהגשתם.
הגדרות בסיסיות ומוטיבציה לבדיקת תכונות
דוגמאות בסיסיות (תכונות אלגבראיות של פונקציות ומבוא לחסמים תחתונים)
בדיקת תכונות של גרפים צפופים (בעיקר תכונות חלוקה ואיזומורפיזם)
בדיקת מונוטוניות של פונקציות (מעל סדר לינארי ומעל קוביה)
מודל הגרפים הדליל (מבוא)
שיטות לחסמים תחתונים (שיטת יאו כולל התאמה לאלגוריתמים אדפטיבים וסיבוכיות תקשורת)
בדיקת מרחבי הסתברותבדיקה באמצעות למידה ויישום לבדיקת מרחבי הסתברות
בדיקת פונקציות לתלות במספר משתנים קבוע (חונטה) ויישום בדיקה ע"י למידה
לפי הזמן שישאר - בדיקת מרחבי הסתברות במודל דגימת התפלגות מותנה
ציון הקורס יהיה מבוסס על תרגילים (כולל מטלות קריאה) שינתנו במהלכו – לפי התכנון יהיו ארבעה דפי תרגילים, כשהאחרון יהיה להגשה לאחר הסמסטר (כי אין מבחן).
מועדי תרגילים משוערים (יתכנו שינויים):
1. ישוחרר ב-2.4, להגשה עד 4.5
2. ישוחרר ב-7.5, להגשה עד 8.6
3. ישוחרר ב-11.6, להגשה עד 6.7
4. ישוחרר ב-9.7, להגשה עד 17.8