83-118 סמסטר ב תש"ף
סגל הקורס
מרצה: תומר באואר.
מתרגל: אריאל ויצמן (relweiz@gmail.com).
הודעות וקישורים
הרצאות מקוונות
עד להודעה חדשה, ההרצאות יעברו דרך Zoom. הקישורים יופיעו במודל. גם קובץ לסיכום ההרצאה השנייה וההקלטה שלה יופיעו שם.
קישורים מעניינים
מההרצאה הראשונה, הערך בויקיפדיה על עצרת יורדת ועצרת עולה מכיל כמה דוגמאות וכמה זהויות.
איך לכתוב הוכחות מאת Larry W. Cusick והסדנה לחשיבה מתמטית יכולים להיות רענון טוב.
למי שרוצה ספר שלם על הוכחות, יכול להביט ב-Book of Proof מאת Richard Hammack. יש גם תרגילים רבים המתלווים לספר הזה בחוברת Writing Mathematical Proofs מאת Justin Wright.
תרגילי בית
תרגילי הבית יעלו במודל עם תאריך הגשה בערך כל שבוע. אין חובת הגשה, אך כן תהיה בדיקה למי שהגיש.
מומלץ לנסות ולפתור את התרגילים בעצמכם באופן קבוע. עבודה עצמית היא החלק החשוב ביותר בלמידה.
בוחן
יתקיים בוחן, פרטים לגבי התאריך, חומר והפתרון עלו במודל.
ספרות וסיכומים
- מתמטיקה בדידה מאת נתי ליניאל ומיכל פרנס, בעיקר פרקים 4-6.
- הרצאות ותרגילים בקורס מבוא לקומבינטוריקה מאת רון עדין.
- קורס דומה באוניברסיטת בן-גוריון, עם חפיפה מסויימת בחומר הכולל תרגילים, מבחנים ועוד.
- Applied Discrete Structures מאת Al Doerr ו-Ken Levasseur. זה ספר חופשי שיש לו גרסת HTML וגרסת PDF.
- Discrete Mathematics: An Open Introduction מאת Oscar Levin. זה ספר חופשי שיש לו גרסת HTML וגרסת PDF.
- Applied Combinatorics מאת Mitchel T. Keller ו-William T. Trotter. זה ספר חופשי שיש לו גרסת HTML וגרסת PDF.
- Combinatorics: A Guided Tour מאת David R. Mazur. הספר זמין באתר הספרייה.
- Discrete and Combinatorial Mathematics, 5th Edition מאת Ralph P. Grimaldi.
- בחנים ומבחנים משנים עברו
הספרים באנגלית הרשומים מעלה מכילים המון דוגמאות ותרגילים (חלקם עם פתרון), כולל בדיקה אינטראקטיבית בחלק מהנושאים. מצד אחד, יש להם יתרון גדול שהוא שהם כתובים בפירוט ובשפה יותר קלה ולכן מתאימים כאשר נושא מסוים הוא לא מובן. מצד שני, הם לא בהכרח כוללים את כל החומר ולא תמיד כוללים הוכחות מלאות למשפטים.
מערכי תרגול
עקרון ההכלה וההדחה - באדיבות אוניברסיטת בן-גוריון.