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