יסודות בתורת הקבוצות ועוד: קבוצות, יחסים, פונקציות, פולינומים, אינדוקציה מתמטית, נוסחת הבינום

לוגיקה בסיסית: לוגיקת הפסוקים – קשרים פסוקיים, לוחות אמת, שקילות טאוטולוגית, נביעה טאוטולוגית, כללי היסק והוכחות; לוגיקת הפרדיקטים – שפת הפְּרֶדִיקָטִים, אמיתיות לוגית, שקילות לוגית, נביעה לוגית, הוכחות

אלגברה לינארית – תשתית: מערכות לינאריות; מרחבים לינאריים – Rn ומרחבים לינאריים כלליים, צרופים לינאריים, פרישה, אי-תלות, בסיסים, העתקות לינאריות; מטריצות – חיבור, כפל בסקלר וכפל, משוואות וקטוריות, שיחלוף, מטריצות הפיכות; דטרמיננטות – משפט הפיתוח, חישוב דטרמיננטות ביעילות, דטרמיננטה של מכפלת מטריצות, נוסחת קרמר