מתמטיקה בדידה - ארז שיינר

חומר עזר

• סיכומי ההרצאות של ד״ר ארז שיינר, ע״י אורית חסון, קיץ 2016
• מבחנים בבדידה

סרטוני ותקציר הרצאות

פרק 1 - מבוא ללוגיקה מתמטית

פסוקים, קשרים, כמתים, פרדיקטים

• 88-101 חשיבה מתמטית - טקסט מבוא ללוגיקה מתמטית שנכתב ע"י פרופ' עוזי וישנה

תרגול

• תרגול בנושא לוגיקה

אינדוקציה

תרגול

• תרגול בנושא אינדוקציה
• תרגילי אינדוקציה נוספים ופתרונם

פרק 2 - מבוא לתורת הקבוצות

שיטות הוכחה בסיסיות

• שיטות הוכחה בסיסיות

תרגול

• תרגול בנושא קבוצות

פרק 3 - יחסים

יחסי שקילות

תרגול

• תרגול מכפלה קרטזית ויחסי שקילות

יחסי סדר

תרגול

• תרגול יחסי סדר

פרק 4 - פונקציות

תרגול

תרגול בנושא פונקציות

תרגול נוסף בנושא פונקציות

פרק 5 - עוצמות

משפט קנטור

• $|A|<|P(A)|$

משפט קנטור-שרדר-ברנשטיין

• אם $|A|\leq |B|$ וגם $|B|\leq |A|$ אזי $A\sim B$

למת נקודת השבת

• תהי פונקציה עולה $h:P(A)\to P(A)$ כלומר המקיימת לכל $X_1\subseteq X_2$ כי $h(X_1)\subseteq h(X_2)$
• אזי קיימת נק' שבת $K\subseteq A$ כך ש $h(K)=K$.

נושאים שעוד לא נערכו

• משפט ק.ש.ב
• משפט קנטור
• קבוצות בנות מנייה, עוצמת תתי קבוצות של הטבעיים.
• עקרון המקסימום של האוסדורף
• אקסיומת הבחירה
• קשר בין פונקציה על להשוואת עוצמות
• כל קבוצה אינסופית גדולה שווה מאלף אפס
• אריתמטיקה של עוצמות
  • סכום עוצמות
  • כפל עוצמות
  • חזקת עוצמות
  • הקשר בין השוואת הקבוצות לפני הפעולה, להשוואתן אחרי הפעולה
• הקשר בין אלף אפס לאלף
• סכום וכפל עוצמות הוא המקסימום
• תמיד ניתן להשוות עוצמות

תרגול

• תרגול בנושא עוצמות
• חשבון (אריתמטיקה) של עוצמות