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