כניסה

לימודי אלגוריתמים ותיאוריה בתואר שני במדעי המחשב

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

במסגרת התואר השני ניתן ללמוד קורסים בתחום אצל מרצים שהינם חוקרים פעילים באספקטים שונים שלו, ולהמשיך לעבודת גמר בתחום זה.

דף זה מתאר את הלימודים בתחום זה למעט הנושאים הקשורים לאבטחת מידע, עליהם יש דף נפרד.

 

המרצים בתחום

מרצים מסגל המחלקה:

 פרופ' אמיר בן-עמרם · פרופ' עמר ברקמן · ד"ר נילי בק · ד"ר ישי חביב · ד"ר ראיד סעאבנה · ד"ר עדי עקביה · ד"ר עדי שרייבמן

 

רשימה מדגמית של קורסים לתואר שני בתחום*

*מבחר הקורסים הניתנים בפועל משתנה משנה לשנה.

פרקים בתיאוריה של מדעי המחשב (קורס חובה. מרצה: פרופ' עמר ברקמן)

רשתות עצביות (מרצה: ד"ר ראיד סעאבנה)

חידושים במבני נתונים (מרצה: פרופ' אמיר בן-עמרם)

נושאים בחקר ביצועים (מרצה: ד"ר נילי בק)

שיטת אופטימיזציה (מרצה: ד"ר נילי בק)

שריגים במדעי המחשב (מרצה: ד"ר ישי חביב)

 

סמינרים

עצי הכרעה ומודלים אחרים (מרצה: ד"ר עדי שריבמן)

 

קורסי רקע

הקורסים הבאים, המתקיימים במכללה דרך קבע, ניתנים לבחירה גם במסגרת התואר הראשון, ומומלצים כהשלמה, במסגרת קורסי הבחירה, למי שלא למד אותם.

אוטומטים ושפות פורמליות

תורת הגרפים

מבוא לתורת המספרים

 

עבודות גמר נבחרות

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

Title:  Solving Range Constraints for Interval Analysis

ביצעה: שלומית אריאן

מנחים: פרופ' אמיר בן-עמרם, ד"ר איריס רוזנבלום

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

קישור לתקציר מורחב

 

Title: Random Forest in Spark

ביצעה: ישכה חרמץ

מנחה: ד"ר עוזי חדד     

             

Apache Spark היא תשתית המשמשת להרצת אלגוריתמים מקביליים על big data. עבודה זו עוסקת במימוש של אלגוריתם random forest ב- Spark.  המימוש מתואר ומנומק וכן מתואר ניתוח אמפירי שלו מהיבטים שונים.

מתעניינים באקדמית?

הזינו פרטים ונחזור אליכם בהקדם
  • מאשר/ת קבלת דיוורים לדואר אלקטרוני

לשיחה עם נציג