טבלאות אמת, הצרנות, שקילויות לוגיות, מערכת הנחות ומסקנה וכמתים.
תרגילים בסיסיים, פעולות על קבוצות, קבוצת המנה. תרגילים טכניים ותיאורטיים.
הגדרת היחס ותכונות בסיסיות, יחסי שקילות ויחסי סדר.
תכונות החד-חד-ערכיות ועל בפונקציות רציפות ובדידות.
הגדרת העוצמה, קבוצות בנות מנייה ועוצמת הרצף. חשבון עוצמות.
תרגילים מתקדמים בעוצמות.
אינדוקציה מתמטית.
קומבינטוריקה בסיסית, תמורות, צירופים וחלוקות.
הבינום של ניוטון ועקרון ההכלה וההדחה.
עקרון שובך היונים, נוסחאות נסיגה ופונקציות יוצרות.