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