להבטיח דפוסי צריכה וייצור ברי קיימא
25% מהאוניברסיטאות =
50% מהאוניברסיטאות =
75% מהאוניברסיטאות =
U של חיפה =
אוניברסיטה בדירוג העליון =
38.1
55.7
69.3
—
93.4
מאת: מורן פלדמן
פורסם ב: 203.4421
תיאור: סמינר זה יעסוק באלגוריתמים תיאורטיים לקבלת החלטות בסביבות של חוסרוודאות. במסגרת זאת נעסוק באלגוריתמים מקוונים (online al המשך…
מאת: תמר רחל קולודני
פורסם ב: 203.8004
תיאור: תפקיד וארגון מערכת הפעלה תזמון ניהול תהליכים ניהול זיכרון תקשורתבין תהליכים. תסקר מערכת יוניקס מבחינת הנושאים לעיל. כ המשך…
מאת: דפנה קופל
פורסם ב: 203.185
תיאור: מבוא ללוגיקה. אינדוקציה מתמטית וכתיבת הוכחות. מבואלתורת הקבוצות. סכומים סופיים בסיסיים. משוואות הפרשים. מבואלקומבינטוריק המשך…
מאת: עדי עקביה
פורסם ב: 203.3762
תיאור: למידת מכונה (machine learning) הפכה לגורם רב השפעה במבנה הכלכלי והחברתי,עם מגוון השפעות חיוביות ושליליות על אנשים, טכנול המשך…
מאת: שי בושינסקי
פורסם ב: 203.363
תיאור: במסגרת המעבדה יועבר מבוא לבינה מלאכותית. הדגש במעבדה יושם עלהתנסות מעשית האלגוריתמיקה של הבינה המלאכותית. במסגרת המעבדה המשך…
מאת: יורי רבינוביץ
פורסם ב: 203.8014
תיאור: הגדרת בעיות החלטה כבעיית זיהוי שפות אוטומטים ושפות רגולריות מכונותטיורינג ואלגוריתמים. התיזה של צ'רץ מכונה אוניברסלית המשך…
מאת: מנחם גד לנדאו
פורסם ב: 203.8007
תיאור: הקורס יכסה מבני נתונים בסיסיים ומתקדמים תוך שימת דגש על תכנון יעילמבחינת זמן ומקום הוכחות נכונות ומימוש בשפת סי++. הגדר המשך…
מאת: רועי פורן
פורסם ב: 203.4704
תיאור: גרפיקה ממוחשבת היא תחום נרחב ביותר המכיל בתוכו מגוון של בעיות ואפליקציותשונות.במסגרת המעבדה הסטודנטים יעבדו על פרויקט בת המשך…
מאת: רונן שאלתיאל
פורסם ב: 203.651
תיאור: הגדרת בעיות החלטה כבעיית זיהוי שפות אוטומטים ושפות רגולריות מכונותטיורינג ואלגוריתמים. התיזה של צ'רץ מכונה אוניברסלית המשך…
מאת: אור דונקלמן
פורסם ב: 203.3444
תיאור:
SDGs : SDG 09 | יחידות: מדעי החברה | מועד: 2021/2022 סמסטר שני | קישור
מאת: גיל ורניק
פורסם ב: 203.484
תיאור: קורס המבוא יעסוק בחיבור בין שני היבטים מרכזיים של עולם ביג דטה: אחסוןביג דטה ופלטפורמות ביג דטה לניתוח נתונים. נתמקד על המשך…
מאת: אורן בן צבי
פורסם ב: 203.8021
תיאור: הקורס יטפל בנושאי יסוד בלוגיקה: תחשיב הפסוקים, תחשיב הפרדיקטים, סינטקסוסמנטיקה, שפה, נוסחאות נורמאליות, תורת הרברנד המשך…
מאת: מורן פלדמן
פורסם ב: 210.277
תיאור: מבוא לניתוח אלגוריתמים; מבני נתונים מופשטים; רשימות, מחסניות, תורים;עצי חיפוש בינריים עצים מאוזנים; האש; תורי עדיפויו המשך…
מאת: אברהים ג'ובראן
פורסם ב: 203.111
תיאור: מושגי יסוד: מבנה סכמטי של מחשב שפות מחשב מערכות הפעלה שפת התכנות סי(כולל מצביעים מבנים קבצים ורקורסיה). עקרונות בתכ המשך…
מאת: דן רוזנבאום
פורסם ב: 203.377
תיאור: המטרה של למידה ממוכנת היא לבנות מערכות המסוגלות ללמוד לפתור בעיות כאשרנתונה קבוצה של דוגמאות מייצגות ואיזשהו מידע מוקדם המשך…
מאת: מרגריטה אוסדצ'י
פורסם ב: 203.3834
תיאור: הקורס יורכב מהרצאות בהן נלמד נושאים עיקריים בלמידה עמוקה ותרגול שיעסוקבמימוש של רשתות ורכישת ניסיון בספריות ללמידה עמוק המשך…
מאת: רונן שאלתיאל
פורסם ב: 203.3447
תיאור: האם אפשר לתכנן שיטות הצפנה עם הוכחה מתמטית לבטיחות? (בדומה לצורה שבה אנומוכיחים נכונות של אלגוריתמים). התחום של יסודות ה המשך…
מאת: חגית הל-אור
פורסם ב: 203.3734
תיאור: קורס מעבדה בו סטודנטים יבצעו פרויקט מחקרי בתחום חקר חישובי של התנהגותחישובית. הפרויקט יכלול הקמת מערכת ושימוש בטכנולוגיו המשך…
מאת: מנחם גד לנדאו
פורסם ב: 203.3405
תיאור: הסמינר יעסוק באלגוריתמים תיאורטיים חדשניים. המשך…
מאת: מלכה-רבקה גרוסמן
פורסם ב: 203.314
תיאור: הכרת שיטות של הנדסת תוכנה בפיתוח מערכות עתירות תוכנה. הבנה ויישום שלכלים לביצוע תהליך פיתוח מלא הכולל ניתוח והגדרת דרישו המשך…
מערך חדשנות וקיימות | ספריית יונס וסוראיה נזריאן
אוניברסיטת חיפה | שדרות אבא חושי 199 | הר הכרמל | חיפה מיקוד: 31905 | טלפון: 04-8240111 דוא״ל
SDG@univ.haifa.ac.il
