לוגיקה ומפרטים פורמליים

מאת: אורן בן צבי
פורסם ב: 214.401
תיאור: הקורס מהווה מבוא ללוגיקה מתמטית ושימושיה במדעי המחשב תוך דגש על דרישותתוכנה פורמאליות ואימות התוכנה.
SDGs : SDG 09  |  יחידות: מדעי החברה  | מועד: 2021/2022 סמסטר ראשון |  קישור