מס' קורס | שם קורס | מרצה | קדמים | נק"ז |
202-1-5011 | גרפיקה של המחשב | פרופ' אנדרי שרף | אוטומטים (מודלים חישוביים), תכנות מערכות | 4.5 |
202-1-5061 | מערכות בסיסי נתונים | ד"ר אמיר ספיר | מבני נתונים, תכנות מערכות, תכנון אלגוריתמים | 4.0 |
202-1-5391 | תכנות מערכות מבוזרות | ד"ר מני אדלר | תכנות מערכות | 4.0 |
202-1-5731 | יסודות בגנומיקה חישובית | פרופ' מיכל זיו יוקלסון | הקורס לא מיועד לתלמידי ביו', תכנון אלגוריתמים | 4.0 |
202-1-5821 | מדעי הרוח הדיגיטליים לתלמידי מדעי המחשב | ד"ר יעל נצר | אוטומטים (מודלים חישוביים) | 4.0 |
202-1-5941 | בניית תוכניות עם הוכחה | ד"ר רן אטינגר | לוגיקה, תעכנות מערכות, עקרונות שפות תכנות | 4.0 |
202-1-6141 | תורת התורים | פרופ' איתן בכמט | אלגברה 2, חדו"א 2, הסתברות | 4.0 |
202-1-6271 | התמחות בתעשיה בהנדסת תוכנה נתונים | פרופ' ארנון שטורם | יש לפנות לפי הנחיות שיצאו בהמשך לאחראי הקורס לצורך קבלה לקורס | 3.0 |
202-1-6281
| בחינת כניסה לנבחרת הסייבר
| פרופ' גרא וייס, פרופ' עודד מרגלית
|
| 0.0
|
202-1-6291
| נבחרת סייבר א'
| פרופ' גרא וייס, פרופ' עודד מרגלית
| בחינת כניסה לנבחרת הסייבר
| 2.0
|
202-2-1111 | סיבוכיות חישוב (באנגלית) | פרופ' עמוס ביימל, ד"ר אור סתת | אוטומטים, תכנות מערכות, תכנון אלגוריתמים | 4.0 |
202-2-4801 | גרפים גיאומטריים | ד"ר נתן רובין | הסתברות, תכנון אלגוריתמים | 4.0 |
202-2-4831 | מבוא ללמידה וניתוח של מידע רב | פרופ' סיוון סבתו | אלגברה 2, חדו"א 2, הסתברות, תכנון אלגוריתמים | 4.0 |
202-2-4861 | משחקים, כלכלה ואלגוריתמים | ד"ר סיגל אורן | הסתברות, תכנון אלגוריתמים | 4.0 |
202-2-4921 | אוטומטים ולוגיקה על עצמים אינסופיים | ד"ר דנה פיסמן | לוגיקה, אוטומטים (מודלים חישוביים), תכנון אלגוריתמים | 4.0 |
202-2-5121 | גיאומטריה חישובית | פרופ' מתיא כץ | תכנון אלגוריתמים | 4.0 |
202-2-5381 | נושאים בעיבוד שפה טבעית (באנגלית) | פרופ' מיכאל אלחדד | אוטומטים (מודלים חישוביים), תכנות מערכות , עקרונות שפות תכנות | 2.0 |
202-2-5641 | מבוא לראייה חישובית וביולוגית | פרופ' אהד בן-שחר | אלגברה 2, חדוא א2, מבוא למדמ"ח | 4.5 |
202-2-5661 | מבוא לבינה מלאכותית | פרופ' אייל שמעוני | הסתברות, תכנון אלגוריתמים | 4.0 |
202-2-5731 | קודים לתיקון שגיאות ושימושיהם במדעי המחשב | ד"ר קלים יפרמנקו | אלגברה 2, תכנון אלגוריתמים | 4.0 |
202-2-5831 | אלגוריתמים 2 | פרופ' עופר ניימן | אוטומטים (מודלים חישוביים), תכנון אלגוריתמים | 4.0 |
202-2-5871 | קריפטוגרפיה | ד"ר איתי דינור | הסתברות, תכנון אלגוריתמים | 4.0 |
202-2-6131 | אלגוריתמים ברשתות גיאומטריות | פרופ' פז כרמי | אוטומטים (מודלים חישוביים), תכנון אלגוריתמים | 4.0 |
202-2-6241 | קריפטוגרפיה קוונטית | ד"ר אור סתת | אלגברה 1, אלגברה 2, הסתברות | 2.0 |
202-2-6281 | אופטימיזציה גיאומטרית | פרופ' מתיא כ"ץ | תכנון אלגוריתמים | 2.0 |
202-2-6291 | עיבוד תמונות ספרתי | פרופ' ג'יהאד אל סאנע | תכנות מערכות | 2.0 |
202-2-6301 | פרקים נבחרים בלמידה סטטיסטית | פרופ' אריה קנטרוביץ | הסתברות | 2.0 |
202-2-6311 | חשבון סטוכסטי עם יישומים בלמידה (באנגלית) | פרופ' אריה קנטרוביץ | הסתברות | 4.0 |
202-2-6321 | למידה מבוססת חיזוקים | פרופ' רונן ברפמן | אלגברה 2, חדו"א 2, הסתברות, תכנון אלגוריתמים | 2.0 |
202-2-6341 | יסודות תוכנה באמצעות עזר ההוכחה Coq | ד"ר לירון כהן | לוגיקה, עקרונות שפות תכנות | 4.0 |
202-2-6351 | יסודות תוכנה באמצעות עזר ההוכחה Coq: חלק ב | ד"ר לירון כהן | יסודות לוגיים באמצעות עזר ההוכחה Coq | 2.0 |
202-2-6361 | ניתוח מידע אדפטיבי | ד"ר אורי שטמר | תכנון אלגוריתמים, הסתברות | 2.0 |
202-2-6371 | התנסות מעשית בלמידה עמוקה | ד"ר ערן טרייסטר | לתלמידי תואר שני בלבד | 3.0 |
202-2-6381 | שיטות נומריות לפתרון משוואות דיפרנציאליות חלקיות | ד"ר ערן טרייסטר | מבוא למדמ"ח, אלגברה 2, חדוא א2 | 2.0 |
202-2-6401 | מבוא לרשתות | ד"ר גיל אינציגר | מבני נתונים, תכנות מערכות | 2.0 |
202-2-6411 | נושאים מתקדמים באבטחת המרחב המקוון בעמידות למחשבים קוונטים | פרופ' שלומי דולב | תכנות מערכות | 2.0 |
