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

By: אורן בן צבי
Published in: 214.401
SDGs : SDG 09  |  Units: Social Sciences  | Time: 2021/2022 First Semester |  Link
Description: הקורס מהווה מבוא ללוגיקה מתמטית ושימושיה במדעי המחשב תוך דגש על דרישותתוכנה פורמאליות ואימות התוכנה.