לוגיקה פורמלית

מאת: גיל שגיא
פורסם ב: 107.1620
תיאור: קורס חובה לתלמידי שנה א' ולתלמידי השלמות למ.א..מבוא ללוגיקה פורמלית- שפה פורמלית, דגמים והוכחות.במהלך הקורס יינתנו עבודות בית, יתקיימו שתי בחינות במשך הססמטר ומבחןבסוף הסמסטר. חובה להירשם לתרגיל בלוגיקה, קיימות 2 אופציות יש לבחור אתאחת מהן.
SDGs : SDG 11  |  יחידות: מדעי הרוח  | מועד: 2021/2022 סמסטר ראשון |  קישור