83-118 סמסטר ב תש"ף
סגל הקורס
מרצה: תומר באואר.
מתרגל: אריאל ויצמן (relweiz@gmail.com).
הודעות וקישורים
הרצאות מקוונות
עד להודעה חדשה, ההרצאות יעברו דרך Zoom. הקישורים יופיעו במודל. גם קובץ לסיכום ההרצאה השנייה וההקלטה שלה יופיעו שם.
קישורים מעניינים
הערך בויקיפדיה על עצרת יורדת ועצרת עולה מכיל כמה דוגמאות וכמה זהויות.
איך לכתוב הוכחות מאת Larry W. Cusick.
תרגילי בית
תרגילי הבית יעלו במודל עם תאריך הגשה בערך כל שבוע. אין חובת הגשה, אך כן תהיה בדיקה למי שהגיש.
מומלץ לנסות ולפתור את התרגילים בעצמכם באופן קבוע. עבודה עצמית היא החלק החשוב ביותר בלמידה.
בחנים
יתקיימו שני בחנים. פרטים לגבי תאריכים וחומר יעלו בהמשך.
ספרות וסיכומים
- מתמטיקה בדידה מאת נתי ליניאל ומיכל פרנס, בעיקר פרקים 4-6.
- הרצאות ותרגילים בקורס מבוא לקומבינטוריקה מאת רון עדין.
- Applied Discrete Structures מאת Al Doerr ו-Ken Levasseur. זה ספר חופשי שיש לו גרסת HTML וגרסת PDF.
- Discrete Mathematics: An Open Introduction מאת Oscar Levin. זה ספר חופשי שיש לו גרסת HTML וגרסת PDF.
- Combinatorics: A Guided Tour מאת David R. Mazur. הספר זמין באתר הספרייה.
- בחנים ומבחנים משנים עברו
הספרים באנגלית הרשומים מעלה מכילים המון דוגמאות ותרגילים (חלקם עם פתרון), כולל בדיקה אינטראקטיבית בחלק מהנושאים. מצד אחד, יש להם יתרון גדול שהוא שהם כתובים בפירוט ובשפה יותר קלה ולכן מתאימים כאשר נושא מסוים הוא לא מובן. מצד שני, הם לא בהכרח כוללים את כל החומר ולא תמיד כוללים הוכחות מלאות למשפטים.
מערכי תרגול
עקרון ההכלה וההדחה - באדיבות אוניברסיטת בן-גוריון.