הצגת המקור של 83-116 בדידה להנדסה סמסטר א' תשע"ו

[[83-116 בדידה להנדסה]]

==שעות קבלה==
* אריאל: יום רביעי לאחר התרגול.
* אביה: יום ראשון 11:30 נא לתאם מראש במייל.

==הודעות==
* שלום לכולם, יש כאן מקום לשאלות ותשובות, אתם מוזמנים לשאול על בעיות בתרגילי הבית וכד'.
* כדי שתוכלו לשאול עליכם ליצור חשבון משתמש. בהצלחה!
* טעות קטנה: בתרגול אתמול ב16:00 נשאלתי אם את הוכחת חוק הפילוג של חיתוך ואיחוד ניתן לעשות '''רק''' ע"י טבלת אמת ועניתי כן. התשובה היא לא, ניתן לעשות זאת למשל ע"י הכלה דו כיוונית (השקולה לגרירה דו כיוונית של הטענות הלוגיות המתאימות). אם היינו לומדים לוגיקה בצורה מסודרת, אז בתחילת הדרך, הדרך היחידה להוכיח דברים זה באמצעות טבלת אמת, כי זה הכלי היחיד הקיים אז, ומשם הגיעה התשובה השגויה. אריאל.
* '''שימו לב''', יש כמה סטודנטים שהגישו ללא ת.ז. התרגילים שלהם אצלי, אני אביא אותם לתרגול ביום רביעי, ואתם מוזמנים לוודא שזה אכן שלכם. אריאל. '''ותקפידו על רישום ת.ז.!'''

==מערכי תירגול==

* [[מדיה:PR1'DMEngener2016.pdf |תירגול 2]]

* [[מדיה:PR3'DMEngener2016.pdf |תירגול 3]] 

* [[מדיה:PR4'DMEngener2016.pdf |תירגול 4]] 

*  תירגול 5 הוא תירגול 6 משנה שעברה. [http://math-wiki.com/images/4/4c/%D7%AA%D7%A8%D7%92%D7%95%D7%9C_6_%D7%91%D7%93%D7%99%D7%93%D7%94_%D7%9C%D7%94%D7%A0%D7%93%D7%A1%D7%94.pdf תירגול 6 תשע"ה]

* [[מדיה:PR6''DMEngener2016.pdf |תירגול 6]]

*  תירגול 7 הוא תירגול 10 משנה שעברה. [http://math-wiki.com/images/1/11/%D7%AA%D7%A8%D7%92%D7%95%D7%9C_10_%D7%91%D7%93%D7%99%D7%93%D7%94_%D7%9C%D7%94%D7%A0%D7%93%D7%A1%D7%94.pdf תירגול 10 תשע"ה]

* [[מדיה:PR9'DMEngener2016.pdf |תירגול 9]]

* [[מדיה:PR'sulDMEngener2016.pdf |פתרון חלקי לתרגיל 8]] (מה שפתרנו בכיתה)

==תרגילי בית ==
טבלת מגישים https://docs.google.com/spreadsheets/d/1TrCYejkimCtOIkcgw-DoLi9aVFCs9On9B4LBQFivN24/edit?usp=sharing

* [[מדיה:Ex1DMEngener2016.pdf |תרגיל 1]] להגשה שבוע הבא (25/10 או 28/10), בתרגיל בו אתה רשום
[[מדיה:SulDMEngener2016.pdf |פיתרון]] 

* [[מדיה:Ex2DMEngener2016.pdf |תרגיל 2]] להגשה שבוע הבא (לא יאוחר מ-04.11), באחד התרגילים או בתא של המתרגל.
[[מדיה:Sul2DMEngener2016.pdf |פיתרון]] 

* [[מדיה:Ex3'DMEngener2016.pdf |תרגיל 3]] להגשה שבוע הבא (לא יאוחר מ-11.11)
[[מדיה:Sul3DMEngener2016.pdf |פיתרון]]

* [[מדיה:Ex4'DMEngener2016.pdf |תרגיל 4]] להגשה שבוע הבא (לא יאוחר מ-18.11)
[[מדיה:Sul4DMEngener2016.pdf |פיתרון]]

* [[מדיה:Ex5'DMEngener2016.pdf |תרגיל 5]] להגשה שבוע הבא (לא יאוחר מ-25.11)
[[מדיה:Sul5DMEngener2016.pdf |פיתרון]]

יש טעות קטנה בפיתרון שאלה 1 סעיף ג. בשני הצדדים מקבלים את הקבוצה הריקה, ולכן יש שיוויון (וזה עדיין מופרך). '''בכל מקרה שימו לב שניתן להוכיח (תנסו, זה לא קשה) שיש שיוויון בין הקבוצות''', ולכן אמנם כל אחת מוכלת בשניה, אבל לא "מוכלת ולא שווה".

* [[מדיה:Ex6DMEngener2016.pdf |תרגיל 6]] להגשה לא יאוחר מ-6.12

רמז לשאלה 2: א. אל תנסו אינדוקציה, אלא רצף של שיוויונות ואי שיוויונות. ב. תנסו ללכת בכיוון של מה שהיה בתרגול בהקשר לרפלקסיביות. ג. תשתמשו במה שהיה בתרגול שאם S מוכל בT ניתן להכפיל בשני הצדדים וההכלה תשמר. ג. סעיף א אמור לעזור גם הוא. בהצלחה!

* [[מדיה:Ex7DMEngener2016.pdf |תרגיל 7]] להגשה לא יאוחר מ-ד' טבת, 16.12

'''תיקון לשאלה 3:''' S,R הם יחסי שקילות ולא סתם יחסים.

* [[מדיה:e.pdf |השלמת התרגיל האחרון מהתרגול כהכנה לתרגיל בית - לכל הקבוצות]]
* [[מדיה:Ex8DMEngener2016.pdf |תרגיל 8]] להגשה לא יאוחר מ-כ"ב טבת (3.1 למניינם)
* הועלה התרגיל האמיתי (ולא 7) - '''נא לשים לב!'''

==שאלות ותשובות ==
האם אפשר להגיש את התרגיל סרוק למייל?
* לא, אפשר להגיש בתירגול אליו אתם נכנסים (ללא חשיבות להיכן שאתם רשומים), או בתא של המתרגל בבניין 216 קומה 1-.
*תרגיל 3 שאלה 3, ביקשו הבהרה מה צריך להוכיח. צריך להראות שלכל n קבוצות ההפרש הסימטרי של כל ה-n קבוצות הוא בדיוק הקבוצה המכילה את כל האיברים שנמצאים במספר אי זוגי של קבוצות מתוך ה-n קבוצות.
* תרגיל 3 שאלה 3: מחר אחרי התרגול שלי זו שעת קבלה, ואני אשאר בכיתה על מנת להבהיר את השאלה למעוניינים. אריאל.
שלום אריאל מבקש לבדוק מדוע לא הוזן לי הגשה בתרגיל 2, הגשתי אותו לתא שלך ביום רביעי שי בוחבוט

כנראה שעדיין לא לקחתי את זה מהתא... אריאל.
* עלה פיתרון לתרגיל 3. '''שימו לב''' שרובכם טעיתם בשאלת האינדוקציה אז תפנימו את הפיתרון!
שבוע טוב, תוכלו בבקשה להעלות תירגולים או חומר כלשהו גם כהכנה לבוחן וגם כעזרה לתרגיל 4? תודה

השעות מחלקה בימי שני הן 10:00-12:00 אתם בטוחים לגבי שעות הבוחן?

שאלתי במזכירות וזה השעות שאמרו לי אבל אברר שוב. תודה, אריאל.
* נשאלתי האם צריך לשים בעמודות של טבלת אמת איברים או שמותר גם קבוצות. '''תשובה:''' בעמודות של טבלת אמת לא שמים איברים וגם לא קבוצות אלא טענות! x שייך ל A זה לא איבר ולא קבוצה, אלא '''טענה'''. רק לטענות יש ערך אמת או שקר. אגב, מה שיובל עשה בהרצאה זה לא לשים בעמודות קבוצות אלא טענות בצורה הבאה: הוא כתב בראש הלוח x שייך ואז בעמודות את הקבוצה אליה טענה זו משתייכת. בהצלחה! אריאל.

*[[מדיה:ASHLAMA2016.pdf |השלמה לתרגל 8 קבוצת ראשון בבוקר]]

== בוחן ==
* הבוחן יתקיים ביום שלישי י"ב כסלו (24.11) בין השעות 14:00-16:00 בבניין 1103 חדר 22 (כלומר בזמן ובמקום ההרצאה). הבוחן יתבסס ברובו על תרגילי הבית, כך שזו הדרך הטובה להתכונן. כמובן שתרגילי בית ובחנים משנים עברו יכלים רק לעזור לכם להטמעת החומר הנלמד... הבוחן יהווה 10% מהציון הסופי בקורס. בהצלחה!
* '''תיקון:''' הבוחן יתקיים ביום שני, י"ח כסלו (30/11) בשעות מחלקה, 9:00-11:00. בהצלחה!
* החומר לבוחן כולל את כל החומר שנלמד מהרצאה 1 עד הרצאה 5, תורת הקבובצות (פעולות על קבוצות, קבוצת חזקה משלים וכו'), יחסים (מכפלה קרטזית, תכונות של יחסים) לא כולל מכפלת יחסים.
מומלץ לעבור היטב על תרגילי הבית (עם הפתרונות) ותירגולי הכיתה.
* תודה למי שהעיר על שעות המחלקה, '''הבוחן אכן יתקיים בין השעות 10:00-11:30''', שאלו שעות המחלקה שלכם ביום שני...
* [[מדיה:quiz2016.pdf |מבנה הבוחן]]
* תוצאות הבוחן בקישור הבא: https://docs.google.com/spreadsheets/d/1M2J4JDd62g_XDSqKsRt-PKabJdeKu4t4nGmC2cu_6bU/edit?usp=sharing