פונקציות בוליאניות, הקוביה הבוליאנית, פיתוח פורייה. אופרטור רעש. השפעה. התכווצות-יתר (היפרקונטרקטיביות). פיתוח פוריה מוטה. משפטי סף חד. עקרון האי-השתנות (אינווריאנטיות). התכווצות-יתר גלובלית. אנליזה על פלח (סלייס).__ תוצאות למידה: בסיום הקורס הסטודנט יהיה מסוגל: 1. להכיר מושגים בסיסיים כגון: פיתוח פורייה, אופרטור רעש, השפעה, אנליזה מוטה._ 2. להבין ולהפעיל את הטכניקות העיקריות בתחום: התכווצות-יתר (היפרקונטרקטיביות) קלאסית וגלובלית, עקרון האי-השתנות (אינווריאנטיות). 3. ליישם את הכלים הנלמדים בקורס בתחומים שונים במדעי המחשב התיאורטיים ובמתמטיקה: בדיקת תכונות, קומבינטוריקה, גרפים מקריים ועוד._ . 4. להכיר בעיות פתוחות בחזית התחום ויהיה מסוגל להתמודד איתן.

פקולטה: מדעי המחשב
|תואר ראשון |תארים מתקדמים

מקצועות קדם

(94412 - הסתברות מ ו- 104016 - אלגברה 1מ') או (94412 - הסתברות מ ו- 104166 - אלגברה אמ') או (104016 - אלגברה 1מ' ו- 104222 - תורת ההסתברות) או (104166 - אלגברה אמ' ו- 104222 - תורת ההסתברות)


מידע סמסטריאלי