* הבנת שימוש באופרטורים לוגיים ואופרנדים לוגיים לכדי יצירת מבנים שפתיים בעלי משמעות; אופרציות (פעולות מוגדרות היטב)
* הבנת שימוש באופרטורים לוגיים ואופרנדים לוגיים לכדי יצירת מבנים שפתיים בעלי משמעות; אופרציות (פעולות מוגדרות היטב)
−
* הכרת מושג ה [[סט|set]] והכרת מושג ה group בלוגיקה פורמלית וההבדל ביניהם, כולל מושג העוצמה ומושג האיחוד
+
* הכרת מושג ה [[סט|set]] והכרת מושג ה group בלוגיקה פורמלית וההבדל ביניהם, כולל המושגים הכלה, עוצמה, איחוד וחיתוך
−
* הבנה כי ישנם סטים שונים של מספרים: מחוץ למעבדה מדעית בדרך כלל נעבוד עם מספרים ממשיים בכלל ומספרים טבעיים בפרט אך ייתכנו עוד קבוצות מספרים הנדרשות למדע והנדסה (אך לא בהכרח ל[[פיתוח תוכנה]])
+
* הבנה כי ישנם סטים שונים של מספרים: מחוץ למעבדה מדעית בדרך כלל נעבוד עם מספרים ממשיים בכלל ומספרים שלמים וטבעיים בפרט אך ייתכנו עוד קבוצות מספרים הנדרשות למדע והנדסה (אך לא בהכרח ל[[פיתוח תוכנה]])