יסודות התחביר והסמנטיקה של שפות תכנות. לימוד משווה של מספר שפות תכנות על מרכיביהם העיקריים (מבני בקרה, טיפוסי נתונים, הפשטה, כבילה וכו'). פרדיגמות של שפות תכנות. מבוא לסמנטיקה פורמלית של שפות תכנות
ש"ס: 2.0
סילבוס מקוצר
יסודות התחביר והסמנטיקה של שפות תכנות. לימוד משווה של מספר שפות תכנות על מרכיביהם העיקריים (מבני בקרה, טיפוסי נתונים, הפשטה, כבילה וכו'). פרדיגמות של שפות תכנות. מבוא לסמנטיקה פורמלית של שפות תכנות