'''שעות'''. 4 הרצאה + 2 תרגיל. סמסטר א' (קיץ לתלמידי התיכון).
# לוגיקה 1: קשרים לוגיים, טבלאות אמת, כמתים ואיך להשתמש בהםומשמעותם. שקילות לוגית, חוקי דה מורגן.# לוגיקה 2: הוכחות. הוכחה בדרך השלילה. אינדוקציה, לרבות אינדוקציה שלמה.
# מבוא לתורת הקבוצות: קבוצה, איברים, השתייכות, תיאור קבוצה ע"י רשימה וע"י תכונה, שוויון קבוצות, שלילה של כמתים (אי-שיויון קב'), הכלה, קבוצה ריקה, איחוד, דיאגרמת וון, לוח השתייכות, חיתוך, קבוצות זרות, הפרש, הפרש סימטרי, קיבוץ/אסוציאטיביות, פילוג/דיסטריביוטיביות, משלים בתוך קבוצה, משפטי דה-מורגן, איחוד כללי, חיתוך כללי, קבוצת החזקה, זוג סדור, מכפלה קרטזית.
# יחסים: יחס, יחס רפלקסיבי, סימטרי, טרנזיטיבי, יחס שקילות, הסגור הטרנזיטיבי של יחס, מחלקת השקילות, חלוקה, היחס המושרה ע"י חלוקה, קבוצת המנה.
# יחסי סדר: סדר חלקי, דיאגרמות Hasse, איבר מינימלי, איבר מקסימלי, איבר קטן ביותר (קטן מכל האחרים), איבר גדול ביותר, היחס ההפוך, חסם מלעיל/מלרע, חסם עליון /סופרמום, חסם תחתון/אינפימום, שריג, סדר מלא/קוי.
# מבוא לפונקציות: תחום ותמונה של יחס, יחס חד-ערכי, פונקציה, פונקציה חח"ע, פונקציה על, הרכבת פונקציות, מסקנות מחח"ע/על של הרכבה, פונקצית הזהות, פונקציה הפיכה, יחידות ההופכית, אפיון הפיכה כחח"ע ועל, תמונה ומקור של קבוצות, תמונה הפוכה ותמונה של איחוד/חיתוך, הפונקציה המצומצמת, משפט ההרחבה של פונקציות, פונקציות מוגדרות היטב על קבוצת מנה.# השוואת עוצמות: שויון עוצמות, קבוצה סופית/אינסופית, המלון של הילברט, (; השוויון מוגדר היטב, רפלקסיבי וטרנזיטיבי), ; אי-שוויון בין עוצמות; קב' בת-מניה, אלף-אפס הוא הקטן מכל העוצמות האינסופיות, הקשר בין עוצמות כשיש פונקציה על, משפט קנטור-ברנשטיין. עוצמת הרציונלים, איחוד בן-מניה של קבוצות בנות-מניה הוא בן-מניה. משפט קנטור על עוצמת קבוצת החזקה. עוצמת הרצף.# חזקות של עוצמות ועוצמת הרצף: חזקת עוצמות, פונקציות אופייניות, העוצמה של קבוצת החזקה, עוצמת הרצף, תכונות בסיסיות של חזקות של עוצמות, עוצמה של איחוד משפחה של קבוצות.# הלמה של צורן (כאקסיומה, ללא הוכחה), משפט הסכום והמכפלה של עוצמות: שרשרת בסדר חלקי, הלמה של צורן (עבור סדר חלקי ועבור משפחת קבוצות עם הכלה), מלאות אי"ש עוצמות, סכום עוצמות, מכפלת עוצמות, עוצמת הרציונלים, איחוד בן-מניה של קבוצות בנות-מניה הוא בן-מניה.#תורת הגרפים - מבוא ומסלולי אוילר: גרף (לא מכוון, בלי לולאות) כיחס סימטרי, התיאור הקונבציונלי כקבוצה עם אוסף זוגות לא סדורים, תת-גרף, שכן, משפט לחיצת הידיים, מסלול, גרף קשיר, רכיבי קשירות, מסלול אוילר, מעגל אוילר, בעיית הגשרים של קניגסברג, משפט קריטריון לקיום מסלול אוילר, מסלול ומעגל המילטוני.
#משפחות מיוחדות של גרפים: גרף שלם ומס' צלעותיו, גרף דו-צדדי, גרף דו-צדדי שלם ומס' צלעותיו, עץ, יער, עלה, תנאים שקולים לעץ.