Uploaded by Yuval Homesh

חוברת הקורס (1)

advertisement
‫‪ ‬ה א ו נ י ב ר ס י ט ה‬
‫ה פ ת ו ח ה‬
‫‪20476‬‬
‫מתמטיקה בדידה‬
‫חוברת הקורס סתיו ‪2024‬א‬
‫כתב‪ :‬ישראל פרידמן‬
‫דצמבר ‪ - 2023‬סמסטר סתיו ‪ -‬תשפ"ד‬
‫פנימי – לא להפצה‪.‬‬
‫‪ ‬כל הזכויות שמורות לאוניברסיטה הפתוחה‪.‬‬
‫תוכן העניינים‬
‫אל הסטודנטים‬
‫לוח זמנים ופעילויות‬
‫מטלות הקורס‬
‫א‬
‫ג‬
‫ה‬
‫ממ"ח ‪01‬‬
‫ממ"ן ‪11‬‬
‫ממ"ח ‪02‬‬
‫ממ"ן ‪12‬‬
‫ממ"ח ‪03‬‬
‫ממ"ן ‪13‬‬
‫ממ"ן ‪14‬‬
‫ממ"ח ‪04‬‬
‫ממ"ן ‪15‬‬
‫ממ"ח ‪05‬‬
‫ממ"ן ‪16‬‬
‫‪1‬‬
‫‪3‬‬
‫‪4‬‬
‫‪6‬‬
‫‪8‬‬
‫‪10‬‬
‫‪12‬‬
‫‪14‬‬
‫‪16‬‬
‫‪18‬‬
‫‪20‬‬
‫אל הסטודנטים‪,‬‬
‫ברוכים הבאים לקורס "מתמטיקה בדידה"‪.‬‬
‫לפני שתתחילו בלימוד אנא קראו עמודים אלה בעיון‪.‬‬
‫על חלק מספרי הלימוד וחלק מחומרי העזר של הקורס מופיעים מספרי קורס ‪.20283 ,20276‬‬
‫חומרים אלה הועברו לקורס שלנו מקורס שפעל באו"פ בשנים קודמות‪.‬‬
‫באתר האינטרנט של הקורס תמצאו חומרי למידה נוספים והדרכה ללמידה‪ .‬אתר הקורס הוא גם‬
‫ערוץ תקשורת אפשרי עם צוות ההוראה ועם סטודנטים אחרים בקורס‪ .‬אתרי הקורסים נמצאים‬
‫בכתובת ‪http://opal.openu.ac.il‬‬
‫‪.‬‬
‫הסבר על למידה מתוקשבת אפשר למצוא כאן‪. http://www.openu.ac.il/shoham :‬‬
‫מערכות אחרות של האו"פ זמינות כאן‪:‬‬
‫‪.https://sheilta.apps.openu.ac.il/pls/dmyopt2/sheilta.myop‬‬
‫מידע על שירותי ספרייה ומקורות מידע שהאוניברסיטה מעמידה לרשותכם תמצאו באתר‬
‫הספריה‪ . www.openu.ac.il/Library :‬פרטים לגבי נהלי האוניברסיטה הפתוחה מפורטים‬
‫בידיעון האקדמי‪ ,‬באתר הכללי של האו"פ‪. http://www.openu.ac.il :‬‬
‫מרכז ההוראה בקורס הוא רן לנצט‪ .‬ניתן לפנות אליו באופן הבא‪:‬‬
‫ בטלפון ‪ ,052-5552734‬בימי א' בשעות ‪.20:00–19:00‬‬‫ בדוא"ל ‪.ranlan@openu.ac.il‬‬‫ דרך אתר הקורס‪.‬‬‫ שאילתא ‪ -‬לפניות בנושאים אקדמיים שונים כגון מועדי בחינה מעבר לטווח זכאות ועוד‪,‬‬‫אנא עשו שימוש מסודר במערכת הפניות דרך שאילתא‪ .‬לחצו על הכפתור פניה חדשה ואחר כך‬
‫לימודים אקדמיים > משימות אקדמיות‪ ,‬ובשדה פניות סטודנטים‪ :‬השלמת בחינות בקורס‪.‬‬
‫המערכת תומכת גם בבקשות מנהלה שונות ומגוונות‪.‬‬
‫אנו מאחלים לכם לימוד פורה ומהנה‪.‬‬
‫בברכה‪,‬‬
‫צוות הקורס‬
‫א‬
‫שימו לב‪:‬‬
‫חובה להגיש מטלות במשקל של ‪ 10‬נקודות לפחות‪.‬‬
‫ללא הגשת מטלות במשקל זה‬
‫אי‪-‬אפשר לעבור את הקורס‪.‬‬
‫ראו הסבר בעמוד ה'‪.‬‬
‫ב‬
‫לוח זמנים ופעילויות (‪ / 20476‬א‪)2024‬‬
‫שבוע‬
‫לימוד‬
‫תאריכי שבוע הלימוד‬
‫‪1‬‬
‫‪08.12.2023-03.12.2023‬‬
‫יחידת הלימוד‬
‫המומלצת‬
‫מבוא מהיר‬
‫ללוגיקה‬
‫מפגשי ההנחיה*‬
‫תאריך אחרון‬
‫ממ"ח‬
‫(לאו"פ)‬
‫ממ"ח ‪01‬‬
‫עד ‪15.12.23‬‬
‫למשלוח‬
‫ממ"ן‬
‫(למנחה)‬
‫(ו חנוכה)‬
‫‪2‬‬
‫‪15.12.2023-10.12.2023‬‬
‫ממ"ן ‪11‬‬
‫עד ‪22.12.23‬‬
‫תורת הקבוצות‪:‬‬
‫פרקים ‪.2 ,1‬‬
‫(א‪-‬ו חנוכה)‬
‫‪3‬‬
‫‪22.12.2023-17.12.2023‬‬
‫תורת הקבוצות‪:‬‬
‫פרקים ‪.3 ,2‬‬
‫‪4‬‬
‫‪29.12.2023-24.12.2023‬‬
‫תורת הקבוצות‪:‬‬
‫פרק ‪.3‬‬
‫‪5‬‬
‫‪05.01.2024-31.12.2023‬‬
‫‪6‬‬
‫‪12.01.2024-07.01.2024‬‬
‫‪7‬‬
‫‪19.01.2024-14.01.2024‬‬
‫קומבינטוריקה‪:‬‬
‫פרקים ‪.4 ,3‬‬
‫‪8‬‬
‫‪26.01.2024-21.01.2024‬‬
‫קומבינטוריקה‪:‬‬
‫פרקים ‪.7 ,6‬‬
‫‪9‬‬
‫‪02.02.2024-28.01.2024‬‬
‫תורת הגרפים‪:‬‬
‫פרקים ‪.2 ,1‬‬
‫‪10‬‬
‫‪11.02.2024-04.02.2024‬‬
‫תורת הגרפים‪:‬‬
‫פרקים ‪.5 ,3‬‬
‫תורת הקבוצות‪:‬‬
‫פרק ‪;4‬‬
‫קומבינטוריקה‪:‬‬
‫פרק ‪.1‬‬
‫קומבינטוריקה‪:‬‬
‫פרקים ‪.3 ,2‬‬
‫מועדי בחינות הגמר יפורסמו בנפרד‬
‫* התאריכים המדויקים של המפגשים הקבוצתיים מופיעים ב"לוח מפגשים ומנחים"‪.‬‬
‫ג‬
‫ממ"ח ‪02‬‬
‫עד ‪29.12.23‬‬
‫ממ"ן ‪12‬‬
‫עד ‪5.1.24‬‬
‫ממ"ח ‪03‬‬
‫עד ‪12.1.24‬‬
‫ממ"ן ‪13‬‬
‫עד ‪16.1.24‬‬
‫ממ"ן ‪14‬‬
‫עד ‪26.1.24‬‬
‫ממ"ח ‪04‬‬
‫עד ‪2.2.24‬‬
‫ממ"ח ‪05‬‬
‫עד ‪15.2.24‬‬
‫ממ"ן ‪15‬‬
‫עד ‪6.2.24‬‬
‫ממ"ן ‪16‬‬
‫עד ‪17.2.24‬‬
‫ד‬
‫מטלות הקורס‬
‫קראו היטב עמודים אלה לפני שתתחילו לענות על השאלות‬
‫פתרון המטלות הוא חלק בלתי נפרד מלימוד הקורס‪ .‬הבנה של חומר הלימוד דורשת תרגול רב‪.‬‬
‫מטלות המנחה (ממנ"ים) יבדקו על‪-‬ידי המנחה ויוחזרו לכם בצירוף הערות המתייחסות‬
‫לתשובות‪ .‬על מטלות המחשב (ממ"חים) תקבלו רק פירוט תשובות נכונות ולא נכונות‪.‬‬
‫מבנה המטלות‬
‫בכל מטלה כמה שאלות‪ .‬משקל כל השאלות במטלה זהה‪ ,‬אלא אם כן צוין אחרת‪.‬‬
‫אנו מאשרים לכל תלמידי הקורס לשלוח את מטלות המנחה דרך האתר‪ ,‬בפורמט ‪.PDF‬‬
‫אפשר לשלוח בפורמט זה גם סריקה של כתב יד בתנאי שהוא ברור ומסודר‪.‬‬
‫כל מטלה חייבת להיות בקובץ אחד‪( .‬לא אוסף של קבצים או תמונות)‪.‬‬
‫ניקוד המטלות‬
‫בקורס שש מטלות מנחה (ממ"נים) וחמש מטלות מחשב (ממ"חים)‪.‬‬
‫משקלן של מטלות המחשב ‪ 01‬ו‪ 02-‬הוא נקודה אחת כל אחת‪ .‬משקל כל אחת מיתר המטלות הוא‬
‫‪ 2‬נקודות‪.‬‬
‫בהגשת כל המטלות ניתן‪ ,‬אפוא‪ ,‬לצבור ‪ 20‬נקודות‪.‬‬
‫דרישות חובה בהגשת המטלות‪:‬‬
‫חובה להגיש מטלות במשקל של ‪ 10‬נקודות לפחות‪.‬‬
‫ללא הגשת מטלות במשקל זה לפחות‪,‬‬
‫אי‪-‬אפשר לעבור את הקורס‪.‬‬
‫תנאים לקבלת נקודות זכות בקורס‬
‫א‪ .‬להגיש מטלות במשקל של ‪ 10‬נק' לפחות‪.‬‬
‫ב‪ .‬לקבל בבחינת הגמר ציון ‪ 60‬לפחות‪.‬‬
‫ג‪.‬‬
‫לקבל בציון הסופי ‪ 60‬נקודות לפחות‪.‬‬
‫ה‬
‫הערות חשובות לתשומת לבכם!‬
‫פתרון המטלות הוא מרכיב מרכזי בתהליך הלמידה‪ ,‬לכן מומלץ שתשתדלו להגיש מטלות רבות‬
‫ככל האפשר‪ ,‬כולל מטלות שעליהן אתם מצליחים להשיב רק באופן חלקי‪.‬‬
‫כדי לעודדכם להגיש לבדיקה מספר רב של מטלות‪ ,‬הנהגנו הקלה כדלהלן‪:‬‬
‫בחישוב הציון הסופי נשקלל את כל המטלות שציוניהן גבוהים מהציון בבחינת הגמר‪ .‬ציוני‬
‫מטלות כאלה תורמים לשיפור הציון הסופי‪.‬‬
‫ליתר המטלות נתייחס במידת הצורך בלבד‪ .‬מתוכן נבחר רק את הטובות ביותר עד להשלמת‬
‫המינימום ההכרחי לעמידה בתנאי הגשת מטלות‪ .‬משאר המטלות נתעלם‪.‬‬
‫זכרו! ציון סופי מחושב רק לסטודנטים שעברו את בחינת הגמר בציון ‪ 60‬ומעלה והגישו מטלות‬
‫כנדרש באותו קורס‪.‬‬
‫מותר‪ ,‬ואפילו מומלץ‪ ,‬לדון עם עמיתים‪ ,‬וכן עם סגל ההוראה של הקורס‪ ,‬על נושאי הלימוד ועל‬
‫השאלות המופיעות במטלות‪ .‬עם זאת‪ ,‬מטלה שסטודנט מגיש לבדיקה אמורה להיות פרי עמלו‪.‬‬
‫הגשת מטלה שפתרונה אינו עבודה עצמית‪ ,‬או שלא נוסחה אישית על‪-‬ידי המגיש היא עבירת‬
‫משמעת‪.‬‬
‫השאירו לעצמכם העתק של המטלה‬
‫האוניברסיטה הפתוחה אינה אחראית‬
‫למטלה שתאבד בשל תקלות בדואר‪.‬‬
‫ו‬
‫מטלת מחשב (ממ"ח) ‪01‬‬
‫הקורס‪ 20476 :‬מתמטיקה בדידה‬
‫מספר השאלות‪12 :‬‬
‫חומר הלימוד למטלה‪ :‬החוברת "מבוא מהיר ללוגיקה"‪.‬‬
‫משקל המטלה‪ :‬נקודה אחת‪.‬‬
‫מועד הגשה‪15.12.2023 :‬‬
‫סמסטר‪2024 :‬א‬
‫את התשובות לממ"ח יש לשלוח באמצעות מערכת שאילת"א‬
‫בכתובת ‪http://www.openu.ac.il/sheilta/‬‬
‫הממ"ח נבדק בצורה ממוחשבת‪ .‬אין לשלוח את פתרון הממ"ח למנחה!‬
‫בכל שאלה במטלה זו מופיעות שתי טענות‪ .‬סמנו‪:‬‬
‫ב ‪ -‬אם רק טענה ‪ 2‬נכונה‪,‬‬
‫א ‪ -‬אם רק טענה ‪ 1‬נכונה‪,‬‬
‫ד ‪ -‬אם שתי הטענות אינן נכונות‪.‬‬
‫ג ‪ -‬אם שתי הטענות נכונות‪,‬‬
‫שאלה ‪1‬‬
‫‪.1‬‬
‫הביטוי )) ‪ xy ( x 2  y 2  ( x  y )( x  y‬הוא פסוק‬
‫‪.2‬‬
‫הביטוי )‪  x y ( x 2  y 2  ( x  y )( x  y )  0‬הוא פסוק‬
‫שאלה ‪2‬‬
‫נתבונן בפסוק "לכל מספר חיובי יש שורש ריבועי"‬
‫‪ .1‬שלילת הפסוק היא‪" :‬אם מספר הוא שלילי אז אין לו שורש ריבועי"‬
‫‪ .2‬שלילת הפסוק היא‪" :‬קיים מספר חיובי שאינו שורש ריבועי של אף מספר"‬
‫שאלה ‪3‬‬
‫‪.1‬‬
‫הפסוק‪101100  0.01(101101  1) " :‬‬
‫‪ 1101101 2 ‬או‬
‫‪" 11.12 2  8.88 2  20‬‬
‫הוא אמת‪.‬‬
‫‪ .2‬הפסוק‪ 1 : (2 : (3 : 4))  (1 : 2) : (3 : 4) " :‬וגם ‪" 1 : (2 : (3 : 4))  ((1 : 2) : 3) : 4‬‬
‫הוא אמת‪.‬‬
‫שאלה ‪4‬‬
‫‪.1‬‬
‫הפסוק‪" :‬אם לכל ‪ x‬ממשי מתקיים ‪ , x 2  x  1  0‬אז‬
‫לכל ‪ x‬ממשי מתקיים‬
‫) ‪ " (1 x )(1 x  x 2  x 3  x 4  x 5 )  (1 x 2 )(1 x 2  x 4‬הוא אמת‪.‬‬
‫‪.2‬‬
‫הפסוק‪" :‬אם קיים ‪x‬‬
‫ממשי כך ש‪, x 2  x  1  0 -‬‬
‫אז‬
‫) ‪ " (1 x )(1 x  x 2  x 3  x 4  x 5 )  (1 x 2 )(1 x 2  x 4‬הוא אמת‪.‬‬
‫‪1‬‬
‫לכל ‪x‬‬
‫ממשי‬
‫שאלה ‪5‬‬
‫‪ .1‬הפסוק‪" :‬אם ( )‪ (2  3‬וגם )‪ ,( (1  2‬אז ( ‪" ) 1   1‬‬
‫‪ .2‬הפסוק‪:‬‬
‫הוא אמת‪.‬‬
‫"לכל ‪( a , b, c, d‬אם ( ) ‪ ( a  b‬וגם ) ‪ ,) ( c  d‬אז ( ) ‪ ( a  b‬או ) ‪")( ( c  d‬‬
‫הוא אמת‪.‬‬
‫שאלה ‪6‬‬
‫בטבלה מופיעים לוחות האמת של פסוקים ל ‪ ‬ו‪ .  -‬מתקיים‪:‬‬
‫‪.1‬‬
‫‪  ( p  q )  ‬‬
‫‪.2‬‬
‫‪  (q  r )  ‬‬
‫שאלה ‪7‬‬
‫‪.1‬‬
‫‪( p  q)  r‬‬
‫‪.2‬‬
‫) ‪p  (q  r‬‬
‫שקול טאוטולוגית ל‪-‬‬
‫שקול טאוטולוגית ל‪-‬‬
‫‪‬‬
‫‪‬‬
‫‪r‬‬
‫‪Q‬‬
‫‪p‬‬
‫‪T‬‬
‫‪T‬‬
‫‪T‬‬
‫‪T‬‬
‫‪T‬‬
‫‪F‬‬
‫‪F‬‬
‫‪F‬‬
‫‪T‬‬
‫‪T‬‬
‫‪T‬‬
‫‪T‬‬
‫‪T‬‬
‫‪F‬‬
‫‪F‬‬
‫‪T‬‬
‫‪T‬‬
‫‪F‬‬
‫‪T‬‬
‫‪F‬‬
‫‪T‬‬
‫‪F‬‬
‫‪T‬‬
‫‪F‬‬
‫‪T‬‬
‫‪T‬‬
‫‪F‬‬
‫‪F‬‬
‫‪T‬‬
‫‪T‬‬
‫‪F‬‬
‫‪F‬‬
‫‪T‬‬
‫‪T‬‬
‫‪T‬‬
‫‪T‬‬
‫‪F‬‬
‫‪F‬‬
‫‪F‬‬
‫‪F‬‬
‫) ‪. ( p  r )  (q  r‬‬
‫) ‪. q  ( p  r‬‬
‫שאלה ‪( 8‬בשאלה זו ‪ a , b‬הם מספרים ממשיים)‬
‫‪ .1‬שלילת הפסוק‪" :‬קיימים ‪ a , b‬כך ש‪ a  2 -‬וגם ‪" b  3‬‬
‫שקולה לפסוק‪" :‬לכל ‪, a , b‬‬
‫‪ ab  6‬או ‪." a  b  5‬‬
‫‪ .2‬שלילת הפסוק‪" :‬לכל ‪ a  2 , a , b‬או ‪" b  3‬‬
‫שקולה לפסוק‪" :‬קיימים ‪ a , b‬כך ש‪ ab  6 -‬וגם ‪." a  b  5‬‬
‫שאלה ‪9‬‬
‫‪ .1‬מתוך הפסוק ) ‪ (  )  ( ‬נובע טאוטולוגית הפסוק ‪. ((   )   )  ‬‬
‫‪ .2‬מתוך הפסוק ) ‪ ((   )  (  ))  ((   )  ‬נובע טאוטולוגית הפסוק ‪. ‬‬
‫שאלה ‪( 10‬בשאלה זו ‪  , ‬הם פסוקים)‬
‫‪ .1‬אם מ‪  -‬נובע טאוטולוגית ) ‪   ( ‬אז ‪ ‬הוא סתירה או ‪ ‬הוא סתירה‪.‬‬
‫‪ .2‬אם ) ‪    (  ‬טאוטולוגיה אז ‪ ‬טאוטולוגיה‪.‬‬
‫שאלה ‪11‬‬
‫נתבונן בפסוק‪" :‬כל מספר חיובי שקטן מ‪ 1 -‬הוא גדול מהריבוע שלו"‬
‫‪ .1‬את הפסוק האמור ניתן לרשום כך‪:‬‬
‫)) ‪. x (( x  1)  ( x  0)  ( x 2  x‬‬
‫‪ .2‬את הפסוק האמור ניתן לרשום כך‪.  x (( x  1)  ( x  0))   x ( x  x ) :‬‬
‫‪2‬‬
‫שאלה ‪12‬‬
‫נתבונן בפסוק‪" :‬לכל שלושה מספרים ממשיים ‪ ,a,b,c‬אם ‪ ac  bc‬ואם ‪ c  0‬אז ‪." a  b‬‬
‫‪ .1‬את הפסוק האמור ניתן לרשום כך‪.  a b c (( ac  bc )  (( a  b )  (c  0))) :‬‬
‫‪ .2‬את הפסוק האמור ניתן לרשום כך‪.  a b c (( ac  bc )  (( a  b )  (c  0))) :‬‬
‫‪2‬‬
‫מטלת מנחה (ממ"ן) ‪11‬‬
‫חומר הלימוד למטלה‪ :‬תורת הקבוצות‪ ,‬פרק ‪.1‬‬
‫‪ 2‬נקודות‬
‫משקל המטלה‪:‬‬
‫‪22.12.2023‬‬
‫מועד הגשה‪:‬‬
‫קורס‪ 20476 :‬מתמטיקה בדידה‬
‫מספר השאלות‪4 :‬‬
‫סמסטר‪2024 :‬א‬
‫מטלת מנחה ניתן להגיש באחת הדרכים הבאות (הסבר מפורט ב"נוהל הגשת מטלות מנחה")‪:‬‬
‫‪ ‬במערכת המטלות המקוונת (קובץ מוקלד‪ .‬לגבי הגשת קובץ סרוק יש להתעדכן אצל‬
‫המנחה\בודק של קבוצת הלימוד שלך)‪ .‬כניסה מאתר הקורס או משאילת"א‬
‫‪ ‬על דפי נייר‪ ,‬עם טופס נלווה‪ ,‬באופן ישיר למנחה במפגש ההנחיה‬
‫‪ ‬על דפי נייר‪ ,‬עם טופס נלווה‪ ,‬באמצעות דואר ישראל‪ ,‬לכתובתו של המנחה‪.‬‬
‫שאלה ‪ 24( 1‬נק')‬
‫לכל אחת מהטענות הבאות קבעו האם היא נכונה או לא‪.‬‬
‫בשאלה זו בלבד אין צורך לנמק‪ :‬די לרשום בכל סעיף "נכון" ‪" /‬לא נכון"‪.‬‬
‫א‪1{1,{1}} .‬‬
‫}}‪{}  {,{1‬‬
‫ה‪.‬‬
‫ב‪.‬‬
‫}}‪1  {{1‬‬
‫ג‪.‬‬
‫}}‪{2}  {1,{1},{2‬‬
‫ו‪.‬‬
‫}‪{1} {N‬‬
‫ז‪.‬‬
‫|}‪|{1, N}|  |{1, 2‬‬
‫ד‪.‬‬
‫}}‪{}  {1,{‬‬
‫ח‪| ({2, }) |  2 | ({}) | .‬‬
‫שאלה ‪ 24( 2‬נק')‬
‫יהיו ‪ A, B , C‬קבוצות‪ .‬הוכיחו את הטענות הבאות‪:‬‬
‫א‪. A \ ( B \ C )  ( A \ B )  ( A  C ) .‬‬
‫ב‪ .‬אם ) ‪ { A}  P ( B‬אז ) ‪. P ( A)  P ( B‬‬
‫ג‪ .‬אם )‪ P ( A  B )  P ( A)  P ( B‬אז ‪ A  B‬או ‪. B  A‬‬
‫שאלה ‪ 24( 3‬נק')‬
‫יהיו ‪ A, B , C‬קבוצות חלקיות לקבוצה אוניברסלית ‪ . U‬הוכיחו את הטענות הבאות‪:‬‬
‫א‪.‬‬
‫אם ‪ , ( A  B )c  A‬אז ‪. A  U‬‬
‫ב‪.‬‬
‫‪ , Ac B  AC‬אז ‪. C  B c‬‬
‫ג‪.‬‬
‫אם ‪ , x  ( A  B) \ C‬אז ‪. x  ABC‬‬
‫שאלה ‪ 28( 4‬נק')‬
‫בשאלה זו ‪ N‬היא הקבוצה האוניברסלית‪ .‬לכל ‪ n  N‬נסמן ‪. An  0,1, 2,3,..., n‬‬
‫עבור כל אחת מן הקבוצות הבאות‪ ,‬קבעו אם היא שווה או לא לאחת הקבוצות ‪.  , N \ {0} , N‬‬
‫נמקו את טענותיכם‪.‬‬
‫א‪.‬‬
‫‪c‬‬
‫‪‬‬
‫‪ An‬‬
‫‪n0‬‬
‫‪‬‬
‫‪c‬‬
‫ב‪ An .‬‬
‫‪n0‬‬
‫‪‬‬
‫ג‪ ( A2 n \ An ) .‬‬
‫‪n0‬‬
‫‪3‬‬
‫‪‬‬
‫ד‪.  ( An 1  An c ) .‬‬
‫‪n0‬‬
‫מטלת מחשב (ממ"ח) ‪02‬‬
‫חומר הלימוד למטלה‪ :‬תורת הקבוצות פרקים ‪.2,1‬‬
‫משקל המטלה‪ :‬נקודה אחת‪.‬‬
‫מועד הגשה‪29.12.2023 :‬‬
‫קורס‪ 20476 :‬מתמטיקה בדידה‬
‫מספר השאלות‪20 :‬‬
‫סמסטר‪2024 :‬א‬
‫את התשובות לממ"ח יש לשלוח באמצעות מערכת שאילת"א‬
‫בכתובת ‪http://www.openu.ac.il/sheilta/‬‬
‫הממ"ח נבדק בצורה ממוחשבת‪ .‬אין לשלוח את פתרון הממ"ח למנחה!‬
‫בכל שאלה במטלה זו מופיעה טענה אחת‪ .‬סמנו‪:‬‬
‫ב' – אם הטענה אינה נכונה‪.‬‬
‫;‬
‫א' – אם הטענה נכונה‬
‫במטלה זו ‪ A, B , C‬הן קבוצות‪ R , S ,‬הם יחסים והאות ‪ n‬מייצגת מספר טבעי‪.‬‬
‫שאלה ‪1‬‬
‫}}‪. {2,3}  {{2},{3}}  {{2},3}  {2,{3‬‬
‫שאלה ‪2‬‬
‫אם ‪ , A  B  A  C‬אז ‪. B  C‬‬
‫שאלה ‪3‬‬
‫אם ‪ , A  B  C‬אז ‪ A  B‬או ‪. A  C‬‬
‫שאלה ‪4‬‬
‫אם ‪ A, B‬קבוצות סופיות זרות‪ ,‬אז‬
‫|‪| B‬‬
‫‪2‬‬
‫|‪| A‬‬
‫‪. | P ( A)  P ( B ) |  2‬‬
‫שאלה ‪5‬‬
‫)‪A  P ( A‬‬
‫שאלה ‪6‬‬
‫אם ‪ , A B  A \ B‬אז ‪. B  A‬‬
‫שאלה ‪7‬‬
‫אם ‪ , x  A B C‬אז ‪. x  A  B‬‬
‫שאלה ‪8‬‬
‫אם ‪ , x  A  B c‬אז ‪. x  A  B‬‬
‫‪c‬‬
‫שאלה ‪9‬‬
‫אם ‪ , A  B  C‬אז ‪ B  ‬וגם ‪. C  ‬‬
‫‪4‬‬
‫שאלה ‪10‬‬
‫‪1‬‬
‫‪1‬‬
‫‪‬‬
‫‪‬‬
‫‪1‬‬
‫‪1‬‬
‫‪‬‬
‫‪‬‬
‫‪1  n ,2  n   1  n ,2  n ‬‬
‫‪n 1‬‬
‫‪n 1‬‬
‫שאלה ‪11‬‬
‫אם כל איבר של ‪ A‬הוא זוג סדור‪ ,‬אז קיימות קבוצת ‪ B , C‬כך ש‪. A  B  C -‬‬
‫שאלה ‪12‬‬
‫אם ‪ R‬יחס רפלקסיבי וטרנזיטיבי אז ‪. R  R‬‬
‫‪2‬‬
‫שאלה ‪13‬‬
‫אם יחס ‪ R‬מקיים ‪ R  R‬אז ‪ R‬הוא יחס רפלקסיבי וטרנזיטיבי‪.‬‬
‫‪2‬‬
‫שאלה ‪14‬‬
‫אם ‪ R  S‬יחס אנטי‪-‬סימטרי‪ ,‬אז גם ‪ R , S‬הם יחסים אנטי‪-‬סימטריים‪.‬‬
‫שאלה ‪15‬‬
‫מספר יחסי השקילות השונים שניתן להגדיר על הקבוצה }‪ {1, 2,3‬קטן ממספר יחסי הסדר המלא‬
‫שניתן להגדיר על קבוצה זו‪.‬‬
‫שאלה ‪16‬‬
‫כל יחס רפלקסיבי ‪ R‬המקיים ‪ R  R‬הוא יחס שקילות‪.‬‬
‫‪2‬‬
‫שאלה ‪17‬‬
‫אם ליחס שקילות ‪ R‬על }‪ {1, 2,3,..., n‬יש פחות מ‪ n -‬מחלקות אז ‪. | R |  n  2‬‬
‫שאלה ‪18‬‬
‫אם ‪ 1  n  m‬מספרים טבעיים‪ ,‬אז החלוקה של ‪ Z‬המוגדרת על‪-‬ידי יחס השקילות ‪  m‬היא‬
‫עידון של החלוקה של ‪ Z‬המוגדרת על ידי יחס השקילות ‪.  n‬‬
‫שאלה ‪19‬‬
‫אם ‪ A‬קבוצה סדורה (סדר מלא!) ואינסופית‪ ,‬אז אין ב‪ A -‬איבר אחרון‪.‬‬
‫שאלה ‪20‬‬
‫אם }‪ , A  {1, 2,3, 4‬ואם ‪ A, p‬הוא סדר חלקי שבו קיימים שני אברים מינימליים ושני‬
‫איברים מקסימליים‪ ,‬אז כל איבר של ‪ A‬הוא מינימלי או מקסימלי‪.‬‬
‫‪5‬‬
‫מטלת מנחה (ממ"ן) ‪12‬‬
‫קורס‪ 20476 :‬מתמטיקה בדידה‬
‫מספר השאלות‪4 :‬‬
‫סמסטר‪2024 :‬א‬
‫חומר הלימוד למטלה‪ :‬תורת הקבוצות‪ ,‬פרקים ‪.3 ,2‬‬
‫‪ 2‬נקודות‪.‬‬
‫משקל המטלה‪:‬‬
‫‪5.1.2024‬‬
‫מועד הגשה‪:‬‬
‫מטלת מנחה ניתן להגיש באחת הדרכים הבאות (הסבר מפורט ב"נוהל הגשת מטלות מנחה")‪:‬‬
‫‪ ‬במערכת המטלות המקוונת (קובץ מוקלד‪ .‬לגבי הגשת קובץ סרוק יש להתעדכן אצל‬
‫המנחה\בודק של קבוצת הלימוד שלך)‪ .‬כניסה מאתר הקורס או משאילת"א‬
‫‪ ‬על דפי נייר‪ ,‬עם טופס נלווה‪ ,‬באופן ישיר למנחה במפגש ההנחיה‬
‫‪ ‬על דפי נייר‪ ,‬עם טופס נלווה‪ ,‬באמצעות דואר ישראל‪ ,‬לכתובתו של המנחה‪.‬‬
‫שאלה ‪ 25( 1‬נק')‬
‫על הקבוצה )}‪ P ({1, 2,3, 4‬נתונים שני יחסים ‪ R , S‬המוגדרים כך‪ :‬לכל )}‪A, B  P ({1, 2,3, 4‬‬
‫‪ ARB‬אם ורק אם }‪ A  {1, 2}  B  {1, 2‬ו‪ ASB -‬אם ורק אם }‪. A  {1, 2}  B  {1, 2‬‬
‫א‪ .‬קבעו אם אחד מהיחסים הוא יחס שקילות ואם התשובה חיובית‪ ,‬מיצאו את מחלקות‬
‫השקילות שלו‪.‬‬
‫ב‪ .‬קבעו אם אחד היחסים הוא יחס סדר חלקי או מלא ואם התשובה חיובית‪ ,‬מיצאו את‬
‫האיברים המינימליים והמקסימליים בקבוצה הסדורה שגיליתם‪.‬‬
‫שאלה ‪ 25( 2‬נק')‬
‫על הקבוצה }‪ A  N \ {0‬מגדירים שני יחסים‪ R , S ,‬כך‪ :‬לכל ‪ xRy , x , y  A‬אם ורק אם‬
‫‪y‬‬
‫‪y‬‬
‫ו‪ xSy -‬אם ורק אם קיים מספר שלם ‪ j‬כך ש‪ 2 j -‬‬
‫קיים מספר טבעי ‪ i  0‬כך ש‪ 2i -‬‬
‫‪x‬‬
‫‪x‬‬
‫א‪ .‬הוכיחו שאחד משני היחסים הוא יחס שקילות‪.‬‬
‫ב‪ .‬מיצאו את מחלקות השקילות של יחס השקילות שגיליתם בסעיף א'‪.‬‬
‫ג‪ .‬הוכיחו שאחד משני היחסים הוא סדר חלקי‪.‬‬
‫ד‪ .‬מיצאו את האיברים המינימליים ואת האיברים המקסימליים (אם יש) לגבי היחס האחרון‪.‬‬
‫‪6‬‬
‫‪.‬‬
‫שאלה ‪ 25( 3‬נק')‬
‫לכל ‪ n‬טבעי נסמן }‪ An  {0,1, 2,..., n‬ובנוסף נסמן ‪ . A1  ‬תהי ‪ f : N  N‬פונקציה‪.‬‬
‫א‪ .‬הוכיחו ש‪ f -‬היא חד‪-‬חד‪-‬ערכית אם ורק אם ] ‪ f [ An ]  f [ Am‬לכל }‪, m, n  N  { 1‬‬
‫‪.m  n‬‬
‫ב‪ .‬הוכיחו ש‪ f -‬היא על אם ורק אם ] ‪ f 1[ An ]  f 1[ Am‬לכל }‪. m  n , m, n  N  { 1‬‬
‫שאלה ‪ 25( 4‬נק')‬
‫נתונה פונקציה ‪ f : Z  Z  Z  Z‬המוגדרת כך‪ :‬לכל ‪. f  m, n   2m  3n ,3m  2n , m, n  Z‬‬
‫נסמן ב‪ 1 : Z  Z  Z -‬את ההטלה על הרכיב הראשון ( ‪  1 (m, n)  m‬לכל ‪) m, n  Z‬‬
‫א‪ .‬הוכיחו ש‪ f -‬היא חד‪-‬חד‪-‬ערכית ולא על‪.‬‬
‫ב‪ .‬הוכיחו ש‪ 1 o f -‬היא על ולא חד‪-‬חד‪-‬ערכית‪.‬‬
‫ג‪ .‬הוכיחו שהפונקציה ‪ g : Q  Q  Q  Q‬המוגדרת על‪-‬ידי ‪ g  x, y   2 x  3 y,3x  2 y‬לכל‬
‫‪ x, y  Q‬היא הפיכה ומיצאו את הפונקציה ההפכית לה‪.‬‬
‫‪7‬‬
‫מטלת מחשב (ממ"ח) ‪03‬‬
‫קורס‪ 20476 :‬מתמטיקה בדידה‬
‫מספר השאלות‪19 :‬‬
‫סמסטר‪2024 :‬א‬
‫חומר הלימוד למטלה‪ :‬תורת הקבוצות‪ ,‬פרקים ‪.4,3‬‬
‫משקל המטלה‪ 2 :‬נקודות‪.‬‬
‫מועד הגשה‪12.1.2024 :‬‬
‫את התשובות לממ"ח יש לשלוח באמצעות מערכת שאילת"א‬
‫בכתובת ‪http://www.openu.ac.il/sheilta/‬‬
‫הממ"ח נבדק בצורה ממוחשבת‪ .‬אין לשלוח את פתרון הממ"ח למנחה!‬
‫בכל אחת מהשאלות הבאות מופיעה טענה‪.‬‬
‫;‬
‫א' – אם הטענה נכונה‬
‫סמנו‪:‬‬
‫ב' – אם הטענה אינה נכונה‪.‬‬
‫במטלה זו האותיות ‪ f , g‬מסמנות פונקציות‪.‬‬
‫שאלה ‪1‬‬
‫עבור כל מספר ‪ , n  N‬השלשות }‪ x  | x  R‬‬
‫‪n‬‬
‫‪R, R,{  x,1  x  x ‬‬
‫‪2‬‬
‫ו‪ R, R,{ 1, n  1 }  {  x , (1  x n1) (1  x) | x  R \{1}} -‬הן פונקציות שוות‪.‬‬
‫שאלה ‪2‬‬
‫אם ‪ f : A  B‬היא פונקציה ו‪ , C 1  C 2   , C 1 , C 2  A -‬אז גם ‪. f [C 1 ]  f [C 2 ]  ‬‬
‫שאלה ‪3‬‬
‫אם ‪ f : A  B‬פונקציה ו‪ , D1  D 2   , D1 , D 2  B -‬אז גם ‪[ D 2 ]  ‬‬
‫‪1‬‬
‫‪[ D1 ]  f‬‬
‫‪1‬‬
‫‪.f‬‬
‫שאלה ‪4‬‬
‫‪f‬‬
‫[‬
‫‪C‬‬
‫]‬
‫‪‬‬
‫‪C‬‬
‫‪C‬‬
‫‪‬‬
‫‪A‬‬
‫‪f‬‬
‫‪:‬‬
‫‪AB‬‬
‫‪.‬‬
‫מתקיים‬
‫היא חד‪-‬חד‪-‬ערכית אם ורק אם לכל קבוצה סופית‬
‫שאלה ‪5‬‬
‫‪ f : A  B‬היא על אם ורק אם לכל קבוצה סופית ‪ D  B‬מתקיים ‪[ D ]  D‬‬
‫שאלה ‪6‬‬
‫אם ‪ A, B‬תת‪-‬קבוצות של קבוצה אוניברסלית ‪ , U‬אז‬
‫‪1‬‬
‫‪[{0}]  A \ B‬‬
‫‪B‬‬
‫שאלה ‪7‬‬
‫אם ‪ f : N  N‬היא חד‪-‬חד‪-‬ערכית‪ ,‬אז ‪ f‬היא על‪.‬‬
‫שאלה ‪8‬‬
‫אם ‪ f : N  N‬היא על‪ ,‬אז ‪ f‬היא חד‪-‬חד‪-‬ערכית‪.‬‬
‫שאלה ‪9‬‬
‫אם ‪ , f , g : N  N‬ואם ‪ , f o g  I N‬אז ‪ f‬היא פונקציה הפיכה‪.‬‬
‫‪8‬‬
‫‪‬‬
‫‪1‬‬
‫‪1‬‬
‫‪[{1}] ‬‬
‫‪A‬‬
‫‪. f‬‬
‫‪.‬‬
‫שאלה ‪10‬‬
‫אם ‪ f : N  N‬ו‪ f ( n )  n  3 -‬לכל ‪ , n  N‬אז קיימת פונקציה קבועה ‪ g : N  N‬כך‬
‫ש‪. f o g  g o f -‬‬
‫שאלה ‪11‬‬
‫קבוצת כל המספרים הטבעיים שמתחלקים ב‪ 7-‬שקולה לקבוצת כל המספרים הטבעיים שאינם‬
‫מתחלקים ב‪.7 -‬‬
‫שאלה ‪12‬‬
‫אם קבוצה אינסופית ‪ A‬שקולה לכל קבוצה אינסופית שחלקית לה‪ ,‬אז ‪. A  0‬‬
‫שאלה ‪13‬‬
‫אם ‪ A‬קבוצת הקבוצות החלקיות ל‪ N -‬ששקולות ל‪ N -‬ו‪ B -‬קבוצת הקבוצות החלקיות ל‪N -‬‬
‫שאינן שקולות ל‪ , N -‬אז ‪ A‬שקולה ל‪. B -‬‬
‫שאלה ‪14‬‬
‫‪A‬‬
‫‪‬‬
‫‪‬‬
‫אם ‪A  R‬‬
‫‪ ,‬אז ‪ A‬מכילה קטע לא מנוון‪.‬‬
‫‪ ,‬ואם ‪0‬‬
‫שאלה ‪15‬‬
‫)‪R \ [0,  )  R \ [0,1‬‬
‫שאלה ‪16‬‬
‫הקבוצות‬
‫}‪{1,2‬‬
‫‪ N‬ו‪-‬‬
‫}‪{1,2,3‬‬
‫‪ N‬הן שקולות זו לזו‪( .‬להבנת הסימונים‪ ,‬עיינו בפרק ‪).3.9‬‬
‫שאלה ‪17‬‬
‫הקבוצות }‪ {1, 2‬ו‪ {1,2,3} -‬הן שקולות זו לזו‪.‬‬
‫שאלה ‪18‬‬
‫הקבוצות‬
‫‪N‬‬
‫‪N‬‬
‫}‪{1,2‬‬
‫‪N‬‬
‫‪ N‬ו‪ {1, 2} -‬הן שקולות זו לזו‪.‬‬
‫שאלה ‪19‬‬
‫אם‬
‫היא קבוצת כל תת‪-‬הקבוצות הסופיות של ‪ , N‬אז )‪P ( A‬‬
‫‪ A  A‬‬
‫‪‬‬
‫‪A‬‬
‫‪9‬‬
‫‪.‬‬
‫מטלת מנחה (ממ"ן) ‪13‬‬
‫חומר הלימוד למטלה‪ :‬תורת הקבוצות‪ ,‬פרק ‪.4‬‬
‫קורס‪ 20476 :‬מתמטיקה בדידה‬
‫מספר השאלות‪4 :‬‬
‫משקל המטלה‪:‬‬
‫‪ 2‬נקודות‪.‬‬
‫סמסטר‪2024 :‬א‬
‫מועד הגשה‪:‬‬
‫‪16.1.2024‬‬
‫מטלת מנחה ניתן להגיש באחת הדרכים הבאות (הסבר מפורט ב"נוהל הגשת מטלות מנחה")‪:‬‬
‫‪ ‬במערכת המטלות המקוונת (קובץ מוקלד‪ .‬לגבי הגשת קובץ סרוק יש להתעדכן אצל‬
‫המנחה\בודק של קבוצת הלימוד שלך)‪ .‬כניסה מאתר הקורס או משאילת"א‬
‫‪ ‬על דפי נייר‪ ,‬עם טופס נלווה‪ ,‬באופן ישיר למנחה במפגש ההנחיה‬
‫‪ ‬על דפי נייר‪ ,‬עם טופס נלווה‪ ,‬באמצעות דואר ישראל‪ ,‬לכתובתו של המנחה‪.‬‬
‫שאלה ‪ 28( 1‬נק')‬
‫מיצאו את העוצמות של כל אחת מן הקבוצות הבאות‪ .‬נמקו את התשובות‪.‬‬
‫ה‪ .‬קבוצת כל המספרים הממשיים בקטע )‪ (0,1‬אשר בפיתוח שלהם כשבר עשרוני אינסופי‪,‬‬
‫מופיעות לאחר הנקודה רק ספרות אי‪-‬זוגיות‪.‬‬
‫ו‪.‬‬
‫}‪{ x  y 2  z 3 | x, y , z  Q‬‬
‫שאלה ‪ 28( 2‬נק')‬
‫(הערה‪ :‬למדנו שקבוצת המספרים הרציונליים היא בת מניה‪ .‬ידוע שיש גם מספרים לא רציונליים‬
‫כמו למשל ‪ , 2 , 3 2 ,  ,e‬ועוד‪ .‬ידוע שקבוצת כל המספרים האי‪-‬רציונליים אינה בת‪-‬מניה‪.‬‬
‫השאלה שלפנינו מנסה לברר מהי עוצמת קבוצת המספרים שהם בנויים ממספרים רציונליים‬
‫בעזרת שימוש חוזר של פעולות חשבון ושורשים‪ .‬אלה נקראים מספרים אלגבריים‪).‬‬
‫‪‬‬
‫א‪ .‬מיצאו את עוצמת הקבוצה ‪ .  Q n‬נמקו את התשובה‪.‬‬
‫‪n 1‬‬
‫ב‪ .‬פולינום‬
‫ממעלה‬
‫‪n‬‬
‫עם‬
‫מקדמים‬
‫רציונליים‬
‫הוא‬
‫ביטוי‬
‫מהצורה‬
‫‪ , a 0  a1 x  a 2 x 2   a n x n‬כאשר ‪ a 0 , a1 , a 2 ,..., a n  Q‬ו‪ x -‬משתנה‪ .‬מיצאו את עוצמת‬
‫קבוצת כל הפולינומים בעלי מקדמים רציונליים (מכל המעלות האפשריות)‪ .‬נמקו את‬
‫התשובה‪.‬‬
‫ג‪ .‬הגדרה‪ :‬מספר ממשי ‪ ‬הוא שורש של פולינום ‪ a 0  a1 x  a 2 x 2   a n x n‬עם מקדמים‬
‫רציונליים אם מתקיים ‪. a 0  a1  a 2  2   a n  n  0‬‬
‫הגדרה‪ :‬מספר ממשי נקרא אלגברי אם הוא שורש של פולינום עם מקדמים רציונליים‪.‬‬
‫‪)1‬‬
‫הוכיחו שהמספר ‪   3 2  5‬הוא אלגברי (הראו ש‪  -‬הוא שורש של פולינום‬
‫ממעלה ‪ 6‬עם מקדמים רציונליים)‪.‬‬
‫‪10‬‬
‫‪ )2‬הוכיחו שקבוצת כל המספרים הממשיים האלגבריים היא אינסופית ובת מנייה‪ .‬תוכלו‬
‫להסתמך על הטענה הבאה מבלי להוכיח אותה‪ :‬קבוצת השורשים של כל פולינום היא‬
‫סופית‪.‬‬
‫שאלה ‪ 16( 3‬נק')‬
‫עיגול במישור מוגדר כקבוצת כל הנקודות הנמצאות במרחק קטן או שווה ‪ r‬מנקודה נתונה‪,‬‬
‫כאשר ‪ r‬מספר ממשי חיובי‪ .‬נסמן ‪:‬‬
‫‪ A‬קבוצת כל הקבוצות של נקודות במישור (שאותו מזהים כרגיל כ‪.) R  R -‬‬
‫‪ B‬קבוצת כל העיגולים במישור‪.‬‬
‫‪ C‬קבוצה של עיגולים במישור שזרים זה לזה‪.‬‬
‫הוכיחו ש‪. | C |  | B |  | A | -‬‬
‫תוכלו להסתמך על הטענה הבאה מבלי להוכיח אותה‪ :‬לכל זוג מספרים ממשיים ‪ x  y‬קיים‬
‫מספר רציונלי ‪ q‬כך ש‪"( x  q  y -‬בין כל שני מספרים ממשיים יש מספר רציונלי")‪.‬‬
‫שאלה ‪ 28( 4‬נק')‬
‫א‪ .‬סדרת פיבונצ'י מוגדרת באופן הבא‪ , F1  1 , F0  1 :‬ולכל ‪ n  2‬טבעי‪. Fn  Fn1  Fn2 :‬‬
‫‪n‬‬
‫הוכיחו באינדוקציה שלכל ‪ n‬טבעי מתקיים‪.  Fi  Fn2  1 :‬‬
‫‪i 0‬‬
‫ב‪ .‬נסמן ב‪ A -‬את קבוצת כל הסדרות האינסופיות ‪  a0 , a1 , a2 , a3 ...‬של מספרים ממשיים‬
‫המקיימות את התנאי ‪ an  an1  an 2‬לכל ‪. n  2‬‬
‫מיצאו את העוצמה של ‪. A‬‬
‫רמז‪ :‬מיצאו פונקציה הפיכה המתאימה לכל איבר של ‪ R  R‬סדרה ב‪. A -‬‬
‫ג‪ .‬תהי ‪ A‬הקבוצה שהוגדרה בסעיף ב'‪ .‬מהי העוצמה של קבוצת כל הסדרות מ‪ A -‬שבהן‬
‫מופיעים רק מספרים רציונליים?‬
‫‪11‬‬
‫מטלת מנחה (ממ"ן) ‪14‬‬
‫קורס‪ 20476 :‬מתמטיקה בדידה‬
‫חומר הלימוד למטלה‪ :‬קומבינטוריקה פרקים ‪4,3‬‬
‫מספר השאלות‪4 :‬‬
‫משקל המטלה‪ 2 :‬נקודות‪.‬‬
‫סמסטר‪2024 :‬א‬
‫‪.26.01.2024‬‬
‫מועד הגשה‪:‬‬
‫מטלת מנחה ניתן להגיש באחת הדרכים הבאות (הסבר מפורט ב"נוהל הגשת מטלות מנחה")‪:‬‬
‫‪ ‬במערכת המטלות המקוונת (קובץ מוקלד‪ .‬לגבי הגשת קובץ סרוק יש להתעדכן אצל‬
‫המנחה\בודק של קבוצת הלימוד שלך)‪ .‬כניסה מאתר הקורס או משאילת"א‬
‫‪ ‬על דפי נייר‪ ,‬עם טופס נלווה‪ ,‬באופן ישיר למנחה במפגש ההנחיה‬
‫‪ ‬על דפי נייר‪ ,‬עם טופס נלווה‪ ,‬באמצעות דואר ישראל‪ ,‬לכתובתו של המנחה‪.‬‬
‫שאלה ‪ 25( 1‬נקודות)‬
‫א ‪ .‬מיצאו את מספר הקבוצות החלקיות לקבוצה ‪ A‬בעלת ‪ n‬אברים המכילות ממש קבוצה‬
‫נתונה של ‪ k‬איברים מתוך ‪. A‬‬
‫ב ‪ .‬לבובספוג יש ‪ n  4‬חברים‪ .‬בכל ערב הוא מזמין מספר כלשהו ‪ k  4‬של חברים לסעוד אתו‬
‫ולאחר מכן הוא תמיד מזמין שלושה מהם לשחק בביתו‪( .‬אף אחד לא מסרב!)‬
‫ספרו בשתי דרכים את מספר האופציות השונות שיש לבובספוג לבלות עם חברים בערב אחד‪,‬‬
‫‪n‬‬
‫‪n  n  k ‬‬
‫‪3 ‬‬
‫‪k 4  k  3 ‬‬
‫והוכיחו עבור ‪ n  4‬את הזהות )‪        (2n3  1‬בדרך קומבינטורית‪.‬‬
‫(כלומר ללא פישוט מראש של האגפים)‪.‬‬
‫ג ‪ .‬הוכיחו את השוויון מסעיף ב' בדרך אלגברית (על ידי חישוב ישיר)‪.‬‬
‫שאלה ‪ 25( 2‬נקודות)‬
‫נתונה }‪ . A  {1, 2,3, 4,5,6,7,8,9‬בשאלה זו נתייחס לפונקציות שתחום ההגדרה שלהן הוא ‪. A‬‬
‫א ‪ .‬מיצאו את מספר הפונקציות }‪ f : A  {2,3, 4‬המקבלות כל אחד מן הערכים }‪i  {2,3, 4‬‬
‫בדיוק ‪ i‬פעמים‪.‬‬
‫ב ‪ .‬מיצאו את מספר הפונקציות }‪ f : A  {2,3, 4,5,6‬המקבלות כל אחד מהערכים ‪2,3, 4‬‬
‫בדיוק פעמיים‪.‬‬
‫ג ‪ .‬מיצאו את מספר הפונקציות החד‪-‬חד‪-‬ערכיות ‪ f : A  A‬המקיימות את התנאי‪:‬‬
‫‪. { f (1), f (2), f (3)}  {1, 2,3}  ‬‬
‫‪12‬‬
‫שאלה ‪ 25( 3‬נקודות)‬
‫נתונה המשוואה ‪. x1  x2  x3  x4  x5  x6  x7  x8  8‬‬
‫א‪ .‬מיצאו מספר הפתרונות בטבעיים של המשוואה כאשר ‪. x1  x2  x3  5‬‬
‫ב‪ .‬מיצאו מספר הפתרונות בטבעיים של המשוואה כך ש‪ x2i 1  x2i  2 -‬לכל ‪. 1  i  4‬‬
‫שאלה ‪ 25( 4‬נקודות)‬
‫בשאלה זו נתייחס לכל המילים באורך ‪ 10‬הכתובות באותיות ‪. A, A, A, B, B, C , C , D, D, D‬‬
‫א‪ .‬מיצאו את מספר המילים שאין בהן שלוש אותיות מאותו סוג הצמודות זו לזו‪.‬‬
‫ב‪ .‬מיצאו את מספר המילים שבהן יש לפחות שתי אותיות מסוג ‪ A‬הצמודות זו לזו‪.‬‬
‫‪13‬‬
‫מטלת מחשב (ממ"ח) ‪04‬‬
‫קורס‪ 20476 :‬מתמטיקה בדידה‬
‫מספר השאלות‪18 :‬‬
‫סמסטר‪2024 :‬א‬
‫חומר הלימוד למטלה‪ :‬קומבינטוריקה‪ ,‬פרקים ‪.7–1‬‬
‫משקל המטלה‪ 2 :‬נקודות‪.‬‬
‫מועד הגשה‪2.2.2024 :‬‬
‫את התשובות לממ"ח יש לשלוח באמצעות מערכת שאילת"א‬
‫בכתובת ‪http://www.openu.ac.il/sheilta/‬‬
‫הממ"ח נבדק בצורה ממוחשבת‪ .‬אין לשלוח את פתרון הממ"ח למנחה!‬
‫בכל אחת מהשאלות הבאות מופיעה טענה‪.‬‬
‫א – אם הטענה נכונה ;‬
‫סמנו‪:‬‬
‫–‬
‫ב‬
‫אם הטענה לא נכונה‪.‬‬
‫בשאלות ‪ 3–1‬האות ‪ A‬מסמנת קבוצה בעלת ‪ 3‬איברים‪.‬‬
‫שאלה ‪1‬‬
‫מספר היחסים שניתן להגדיר על ‪ A‬הוא ‪.9‬‬
‫שאלה ‪2‬‬
‫מספר היחסים האנטי רפלקסיביים על ‪ A‬הוא‬
‫‪6‬‬
‫‪.2‬‬
‫שאלה ‪3‬‬
‫מספר היחסים על ‪ A‬שווה למספר הפונקציות מ‪ A -‬ל‪. P ( A) -‬‬
‫בשאלות ‪ 11–4‬נתייחס לקבוצה }‪. A  {1, 2,3, 4,5, 6‬‬
‫שאלה ‪4‬‬
‫מספר הפונקציות ‪ f : A  A‬המקיימות }‪ f [{1, 2,3}]  {1, 2,3‬שווה מספר הפונקציות‬
‫‪ f : A  A‬המקיימות ‪. f 1[{1, 2}]  ‬‬
‫שאלה ‪5‬‬
‫מספר הפונקציות ‪ f : A  A‬שהן חד‪-‬חד‪-‬ערכיות שווה למספר הפונקציות ‪f :{1, 2,3, 4,5}  A‬‬
‫שהן חד‪-‬חד‪-‬ערכיות‪.‬‬
‫שאלה ‪6‬‬
‫מספר הפונקציות ‪ f : A  A‬המקבלות את הערך ‪ 1‬פעם אחת‪ ,‬את הערך ‪ 2‬פעמיים ואת הערך ‪3‬‬
‫שלוש פעמים‪ ,‬גדול ממספר הפונקציות ‪ f : A  A‬המקבלות פעמיים כל אחד מן הערכים ‪.1,2,3‬‬
‫שאלה ‪7‬‬
‫מספר הפונקציות החד‪-‬חד‪-‬ערכיות ‪ f : A  A‬המקיימות }‪ f [{1, 2}]  {1, 2‬קטן ממספר‬
‫הפונקציות החד‪-‬חד‪-‬ערכיות ‪ f : A  A‬המקיימות }‪. f [{1, 2,3}]  {1, 2,3‬‬
‫‪14‬‬
‫שאלה ‪8‬‬
‫מספר הזוגות הסדורים ‪  B, C ‬שבהם ‪ | B |  | C |  2 , B, C  A‬ו‪ B  C   -‬שווה למספר‬
‫המילים באורך ‪ 6‬שבהן כל אחת מהספרות ‪ 0,1,2‬מופיעה פעמיים‪.‬‬
‫שאלה ‪9‬‬
‫מספר הקבוצות }‪ {B, C‬שבהן ‪ | B |  | C |  3 , B, C  A‬ו‪ B  C   -‬שווה למספר המילים באורך‬
‫‪ 6‬שבהן כל אחת מהספרות ‪ 0,1‬מופיעה שלוש פעמים‪.‬‬
‫שאלה ‪10‬‬
‫מספר הזוגות הסדורים ‪  B, C ‬שבהם ‪ | B |  2 , C|  | ,3B, C  A‬ו‪ B  C   -‬שווה למספר‬
‫המילים באורך ‪ 6‬שבהן ‪ 0‬מופיע פעם אחת‪ 1 ,‬מופיע פעמיים ו‪ 2 -‬מופיע שלוש פעמים‪.‬‬
‫שאלה ‪11‬‬
‫מספר יחסי השקילות השונים על ‪ A‬שהם בעלי שלוש מחלקות בדיוק הוא גדול מ‪.100 -‬‬
‫שאלה ‪12‬‬
‫יש בדיוק ‪ 78‬הפונקציות }‪ f :{1, 2,3, 4}  {1, 2,3, 4,5‬המקיימות ]}‪. {1, 2,3}  f [{1, 2,3, 4‬‬
‫שאלה ‪13‬‬
‫מספר הפונקציות החד‪-‬חד‪-‬ערכיות }‪ f :{1, 2,3, 4} {1, 2,3, 4,5‬המקיימות ]}‪{1, 2,3}  f [{1, 2,3, 4‬‬
‫שווה למס' הפונקציות החד‪-‬חד‪-‬ערכיות }‪ f :{1, 2,3, 4} {1, 2,3, 4,5‬המקיימות ]}‪. {1, 2}  f [{1, 2,3, 4‬‬
‫שאלה ‪14‬‬
‫מספר הדרכים לפיזור ‪ 12‬כדורים זהים ב‪ 8 -‬תאים שונים כך שבשני התאים הראשונים ביחד‬
‫יימצאו לפחות ‪ 10‬כדורים‪ ,‬הוא ‪.396‬‬
‫שאלה ‪15‬‬
‫הפתרון לשאלה הקודמת הוא המקדם של ‪ x12‬בפיתוח של ‪. x10 (1  x  x 2  )8‬‬
‫שאלה ‪16‬‬
‫מספר הדרכים לפיזור ‪ 12‬כדורים זהים ב‪ 8 -‬תאים שונים‪ ,‬כך ששניים מן התאים יכילו לפחות ‪5‬‬
‫כדורים כל אחד‪ ,‬הוא ‪.1008‬‬
‫שאלה ‪17‬‬
‫הפתרון לשאלה הקודמת הוא המקדם של ‪ x‬בפיתוח של ) ‪. ( x  x  x  ) (1  x  x ‬‬
‫‪12‬‬
‫‪8‬‬
‫‪2‬‬
‫‪2‬‬
‫‪7‬‬
‫‪6‬‬
‫‪5‬‬
‫בשאלה הבאה נסמן ב‪ P(mn, m) -‬את מספר כל הפיזורים האפשריים של ‪ mn‬כדורים שונים ב‪m -‬‬
‫תאים זהים כך שבכל תא יימצאו בדיוק ‪ n‬כדורים‪.‬‬
‫שאלה ‪18‬‬
‫‪. P(8, 4)  (8!) 2 4‬‬
‫‪15‬‬
‫מטלת מנחה (ממ"ן) ‪15‬‬
‫חומר הלימוד למטלה‪ :‬קומבינטוריקה‪ ,‬פרקים ‪.7,6‬‬
‫קורס‪ 20476 :‬מתמטיקה דיסקרטית‬
‫מספר השאלות‪3 :‬‬
‫משקל המטלה‪ 2 :‬נקודות‪.‬‬
‫סמסטר‪2024 :‬א‬
‫מועד הגשה‪6.2.2024 :‬‬
‫מטלת מנחה ניתן להגיש באחת הדרכים הבאות (הסבר מפורט ב"נוהל הגשת מטלות מנחה")‪:‬‬
‫‪ ‬במערכת המטלות המקוונת (קובץ מוקלד‪ .‬לגבי הגשת קובץ סרוק יש להתעדכן אצל‬
‫המנחה\בודק של קבוצת הלימוד שלך)‪ .‬כניסה מאתר הקורס או משאילת"א‬
‫‪ ‬על דפי נייר‪ ,‬עם טופס נלווה‪ ,‬באופן ישיר למנחה במפגש ההנחיה‬
‫‪ ‬על דפי נייר‪ ,‬עם טופס נלווה‪ ,‬באמצעות דואר ישראל‪ ,‬לכתובתו של המנחה‪.‬‬
‫שאלה ‪ 35( 1‬נק')‬
‫לכל ‪ n  1‬טבעי‪ ,‬נסמן ב‪ An -‬את קבוצת המספרים הטבעיים בעלי ‪ n‬ספרות‪ ,‬שבהם מופיעות‬
‫רק הספרות ‪ 1,2,3,4,5,6‬אך ‪ 1‬לא מופיע בצמוד ל‪ 1 -‬ו‪ 2 -‬לא מופיע בצמוד ל‪.2 -‬‬
‫למשל ‪ 12121 A5‬ו‪ 33215  A5 -‬אבל ‪ 12114  A5‬ו‪. 12256  A5 -‬‬
‫לכל ‪ n  1‬טבעי‪ ,‬נסמן | ‪ , an  | An‬וכן נגדיר את ‪ a0‬כשווה ל‪ .1 -‬בנוסף לכך‪ ,‬נסמן‪:‬‬
‫‪ = bn‬מספר המספרים השייכים ל‪ An -‬שבהם הספרה השמאלית ביותר היא ‪;1‬‬
‫‪ = cn‬מספר המספרים השייכים ל‪ An -‬שבהם הספרה השמאלית ביותר היא ‪.2‬‬
‫א‪ .‬מיצאו את ‪. a1 , a2 , a3 , b1 , b2 , c1 , c2‬‬
‫ב‪ .‬לכל ‪ , n  2‬הביעו את ‪ a n‬בעזרת ‪ bn , an 1‬ו‪, cn -‬‬
‫את ‪ bn‬בעזרת ‪ cn 1‬ו‪ an  2 -‬ואת ‪ cn‬בעזרת ‪ bn 1‬ו‪an  2 -‬‬
‫ג‪ .‬השתמשו בתוצאות של סעיף ב' כדי למצוא יחס נסיגה ‪. a n‬‬
‫ד‪ .‬פתרו את יחס הנסיגה וקבלו נוסחה מפורשת עבור ‪. a n‬‬
‫שאלה ‪ 30( 2‬נק')‬
‫‪‬‬
‫תהי ‪ . f ( x )   a i x i‬נתון ש‪-‬‬
‫‪i 0‬‬
‫(‪ 6‬נק')‬
‫‪1‬‬
‫‪(1  x ) 3‬‬
‫‪. f ( x )(1  2 x  2 x 2  x 3 ) ‬‬
‫א‪ .‬חשבו את ‪. a 0 , a1 , a 2‬‬
‫(‪ 12‬נק') ב‪ .‬מצאו מספרים ‪ r , s , t‬כך ש‪ a n  D (3, n )  ra n 1  sa n  2  ta n  3 -‬לכל‬
‫‪ . n  3‬חשבו את ‪ a 7‬בעזרת הנוסחה הזו‪.‬‬
‫(‪ 12‬נק') ג‪ .‬רשמו פונקציה יוצרת מתאימה לחישוב מספר הפתרונות הטבעיים של המשוואה‬
‫‪ . x1  2 x2  3 x3  n‬מצאו את מספר הפתרונות במקרה ש‪. n  7 -‬‬
‫(רמז‪ :‬שימו לב לקשר שבין ) ‪ f ( x‬לבין הפונקציה מסעיף ג'‪).‬‬
‫‪16‬‬
‫שאלה ‪ 35( 3‬נק')‬
‫א ‪ .‬מיצאו פונקציה יוצרת מתאימה לחישוב מספר הפתרונות בטבעיים של המשוואה‬
‫‪ xk  n‬‬
‫‪ x1  x2 ‬כאשר כל הנעלמים הם מספרים זוגיים שלא מתחלקים ב‪.3 -‬‬
‫(רמז לפישוט‪ :‬אפשר להוציא את ‪ x 2  x 4‬כגורם משותף מהסכום האינסופי)‪.‬‬
‫ב ‪ .‬מיצאו את מספר פתרונות המשוואה מסעיף א' כאשר ‪. n  32 , k  10‬‬
‫ג ‪ .‬מצאו פונקציה יוצרת מתאימה לחישוב מספר הפתרונות בטבעיים של המשוואה‬
‫‪ yk  n‬‬
‫‪ xk  y1 ‬‬
‫‪ x1  x2 ‬כאשר ‪ k‬הנעלמים הראשונים הם מספרים זוגיים‬
‫‪1  x6‬‬
‫שלא מתחלקים ב‪ 3 -‬ו‪ 0  yi  5 -‬לכל ‪( . 1  i  k‬רמז לפישוט‪:‬‬
‫‪1 x‬‬
‫ד ‪ .‬מיצאו את מספר פתרונות המשוואה מסעיף ג' כאשר ‪. n  24 , k  10‬‬
‫‪17‬‬
‫‪ x5 ‬‬
‫‪). 1  x ‬‬
‫מטלת מחשב (ממ"ח) ‪05‬‬
‫קורס‪ 20476 :‬מתמטיקה בדידה‬
‫מספר השאלות‪17 :‬‬
‫סמסטר‪2024 :‬א‬
‫חומר הלימוד למטלה‪ :‬תורת הגרפים‬
‫משקל המטלה‪ 2 :‬נקודות‬
‫מועד הגשה‪:‬‬
‫‪15.2.2024‬‬
‫תשובות לממ"ח יש לשלוח באמצעות מערכת שאילת"א‬
‫בכתובת ‪http://www.openu.ac.il/sheilta/‬‬
‫הממ"ח נבדק בצורה ממוחשבת‪ .‬אין לשלוח את פתרון הממ"ח למנחה!‬
‫בכל אחת מהשאלות הבאות מופיעה טענה‪.‬‬
‫א – אם הטענה נכונה ;‬
‫סמנו‪:‬‬
‫ב‬
‫–‬
‫אם הטענה אינה נכונה‪.‬‬
‫שאלה ‪1‬‬
‫כל גרף פשוט על ‪ 6‬צמתים שבו ‪ 11‬קשתות הוא קשיר‪.‬‬
‫שאלה ‪2‬‬
‫אם ) ‪ G  ( A  B , E‬הוא גרף דו‪-‬צדדי (כמו בהגדרה ‪ )1.5‬אז | ‪.  deg G (v )  | E‬‬
‫‪v A‬‬
‫שאלה ‪3‬‬
‫אם לגרף ‪ G‬יש שני מרכיבי קשירות בדיוק‪ ,‬אז הגרף המשלים ‪ G‬הוא דו‪-‬צדדי‪.‬‬
‫שאלה ‪4‬‬
‫אם ‪ G‬הוא גרף דו‪-‬צדי אז לגרף המשלים ‪ G‬יש שני מרכיבי קשירות בדיוק‪.‬‬
‫בשאלות ‪ G ,9–5‬הוא גרף שבו קיים מסלול אוילר שאינו מעגל ו‪ G1 -‬הוא גרף קשיר המתקבל‬
‫מ‪ G -‬לאחר מחיקת קשת אחת המחברת בין שני צמתים שונים של ‪. G‬‬
‫שאלה ‪5‬‬
‫בגרף ‪ G1‬אין מסלול אוילר שאינו מעגל‪.‬‬
‫שאלה ‪6‬‬
‫‪ G1‬אינו אוילרי‪.‬‬
‫שאלה ‪7‬‬
‫‪ G1‬הוא גרף אוילרי‪.‬‬
‫‪18‬‬
‫שאלה ‪8‬‬
‫אם ‪ G1‬המילטוני אז גם ‪ G‬המילטוני‪.‬‬
‫שאלה ‪9‬‬
‫בגרף ‪ G‬קיים מסלול המילטון‪.‬‬
‫בשאלות ‪ 10-14‬נתייחס לעצים המתוייגים שבהם הצמתים מסומנים במספרים עוקבים ‪1, 2,3,...‬‬
‫שהם בעלי סדרת פרופר מהצורה )‪ , (3,3, k ,5,5‬כאשר ‪ k‬מספר שלם חיובי‪.‬‬
‫שאלה ‪10‬‬
‫כל עץ כזה הוא בעל ‪ 5‬צמתים בדיוק‪.‬‬
‫שאלה ‪11‬‬
‫מספר העצים המקיימים את התנאים הנתונים הוא ‪.7‬‬
‫שאלה ‪12‬‬
‫לכל העצים הנ"ל יש אותו מספר עלים‪.‬‬
‫שאלה ‪13‬‬
‫כל שניים מן העצים הנתונים הם איזומורפיים (לפי הגדרה ‪.)2.8‬‬
‫שאלה ‪14‬‬
‫כל שניים מן העצים הנתונים הם לא איזומורפיים (לפי הגדרה ‪.)2.8‬‬
‫בשאלות ‪ G 20 – 15‬הוא גרף פשוט על ‪ 6‬צמתים שבו הדרגה של כל צומת היא ‪.4‬‬
‫שאלה ‪15‬‬
‫‪ G‬הוא גרף אוילרי‪.‬‬
‫שאלה ‪16‬‬
‫‪ G‬הוא גרף המילטוני‪.‬‬
‫שאלה ‪17‬‬
‫‪ G‬הוא לא גרף מישורי‪.‬‬
‫‪19‬‬
‫מטלת מנחה (ממ"ן) ‪16‬‬
‫חומר הלימוד למטלה‪ :‬תורת הגרפים‬
‫קורס‪ – 20476 :‬מתמטיקה בדידה‬
‫משקל המטלה‪:‬‬
‫מספר השאלות‪3 :‬‬
‫סמסטר‪2024 :‬א‬
‫‪ 2‬נקודות‬
‫מועד הגשה‪17.2.2024 :‬‬
‫מטלת מנחה ניתן להגיש באחת הדרכים הבאות (הסבר מפורט ב"נוהל הגשת מטלות מנחה")‪:‬‬
‫‪ ‬במערכת המטלות המקוונת (קובץ מוקלד‪ .‬לגבי הגשת קובץ סרוק יש להתעדכן אצל‬
‫המנחה\בודק של קבוצת הלימוד שלך)‪ .‬כניסה מאתר הקורס או משאילת"א‬
‫‪ ‬על דפי נייר‪ ,‬עם טופס נלווה‪ ,‬באופן ישיר למנחה במפגש ההנחיה‬
‫‪ ‬על דפי נייר‪ ,‬עם טופס נלווה‪ ,‬באמצעות דואר ישראל‪ ,‬לכתובתו של המנחה‪.‬‬
‫שאלה ‪ 33( 1‬נקודות)‬
‫נתון גרף אוילרי פשוט וקשיר ) ‪. G  (V , E‬‬
‫א‪ .‬הוכיחו שלכל קשת ‪ e  E‬הגרף )}‪ (V , E  {e‬הוא קשיר‪.‬‬
‫ב‪ .‬הוכיחו שאם קיימות קשתות ‪ e1 , e 2 , e 3  E‬כך ש‪ (V , E  {e1 , e 2 , e 3 }) -‬אוילרי אז ‪ G‬הוא‬
‫לא גרף דו‪-‬צדדי‪.‬‬
‫ג‪ .‬הוכיחו שאם ‪ n  1 , | V |  2 n 1‬אז קיימים ב‪ G -‬לפחות שלושה צמתים בעלי אותה דרגה‪.‬‬
‫שאלה ‪ 33( 2‬נקודות)‬
‫בשאלה זו נתייחס לעצים על ‪ 8‬צמתים המתויגים במספרים ‪. 1, 2,3,...,8‬‬
‫א‪ .‬מיצאו את מספר העצים שבהם העלים הם חמשת הצמתים ‪ 4,5,6,7,8‬ורק הם‪.‬‬
‫ב‪ .‬מיצאו את מספר העצים שבהם קיים צומת בעל דרגה ‪.5‬‬
‫שאלה ‪ 34( 3‬נקודות)‬
‫יהי ‪ T‬עץ על ‪ n‬צמתים שבו יש ‪ k‬עלים‪.‬‬
‫א‪ .‬הוכיחו שלכל צומת ‪. deg T ( v )  k , v  V‬‬
‫‪n‬‬
‫ב‪ .‬הוכיחו שאם ‪ 1‬‬
‫‪2‬‬
‫‪ , k ‬אז הגרף המשלים ‪ T‬הוא המילטוני‪.‬‬
‫‪20‬‬
Download