מודלים ושיטות אפיון של מערכות מקביליות ותגובתיות
קורס 22926 · 4 נ״ז
פרטי הקורס מקטלוג האוניברסיטה הפתוחה, עודכנו ב-7.11.2026.
טוען את דף הקורס…
קורס 22926 · 4 נ״ז
פרטי הקורס מקטלוג האוניברסיטה הפתוחה, עודכנו ב-7.11.2026.
האוניברסיטה עוד לא פרסמה מועדי בחינות לקורס הזה. נעדכן כאן ברגע שיתפרסמו.
לפי לוח הבחינות של האוניברסיטה הפתוחה; ייתכנו שינויים, והמועד שלכם מופיע בהזמנה לבחינה. כל מועדי הבחינות
טוען…
חלק 1: תהליכים (processes), שקילויות (equivalances), אופרטורים
חלק 2: תחשיבי תהליכים
חלק 3: פורמליזמים חזותיים
חומר הלימוד כולל קובץ מאמרים ומדריך למידה.
מצילומי מסך של עמוד "התפלגות הציונים" בשאילתא, שסטודנטים שולחים כאן או בקבוצה (איך).
לקורס הזה עדיין אין קבוצה בקהילה. רוצים שנפתח? כתבו לנו באחת הקבוצות.
לפי תכנון האוניברסיטה; שינויים אפשריים.
תנאי קבלה: קבלה לתואר שני במדעי המחשב.
שיוך נוסף: מדעים / מדעי המחשב
שיוך נוסף: הנדסה / הנדסת תוכנה
תנאי קבלה: קבלה לתואר שני במדעי המחשב.
הקורס מציג מגוון גישות (אלגבריות וחזותיות) לאפיון ואנליזה של מערכות מקביליות מתקשרות (Concurrent Communicating Systems), תוך השוואה של הגישות האלה והצגה של עקרונותיהן במסגרת אחידה. הסטודנטים בקורס יוכלו להכיר מוטיבציה, מושגים ושיטות סימון המאפשרים למתכנני מערכות כאלה חשיבה ותיאור מדויקים, וגם הוכחת נכונותן. הקורס (שהוא תאורטי בעיקרו) מספק גם פתח ליישומים – דרך סדרת דוגמאות מתאימות, ותוך שימוש בכלי תוכנה המיישמים את הגישות הנלמדות ומאפשרים התנסות מעשית באפיון פורמלי ואנליזה של תהליכים.