* טעות קטנה: בתרגול אתמול ב16:00 נשאלתי אם את הוכחת חוק הפילוג של חיתוך ואיחוד ניתן לעשות '''רק''' ע"י טבלת אמת ועניתי כן. התשובה היא לא, ניתן לעשות זאת למשל ע"י הכלה דו כיוונית (השקולה לגרירה דו כיוונית של הטענות הלוגיות המתאימות). אם היינו לומדים לוגיקה בצורה מסודרת, אז בתחילת הדרך, הדרך היחידה להוכיח דברים זה באמצעות טבלת אמת, כי זה הכלי היחיד הקיים אז, ומשם הגיעה התשובה השגויה. אריאל.
* '''שימו לב''', יש כמה סטודנטים שהגישו ללא ת.ז. התרגילים שלהם אצלי, אני אביא אותם לתרגול ביום רביעי, ואתם מוזמנים לוודא שזה אכן שלכם. אריאל. '''ותקפידו על רישום ת.ז.!'''
* '''הודעה חדשה:''' בקשר לבחנים, נא שימו לב שהציון הרשום בדף למטה תואם לת.ז. שלכם. אחרי שנגיש ציונים זה יותר בעיה לתקן...
==מערכי תירגול==
* [[מדיה: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]] (מה שפתרנו בכיתה)
* [[מדיה:PR11DMEngener2016.pdf |תירגול 11]]
==תרגילי בית ==
טבלת מגישים [[https://docs.google.com/spreadsheets/d/1TrCYejkimCtOIkcgw-DoLi9aVFCs9On9B4LBQFivN24/edit?usp=sharing|כאן]].
* [[מדיה:Ex1DMEngener2016.pdf |תרגיל 1]] להגשה שבוע הבא (25/10 או 28/10), בתרגיל בו אתה רשום
* [[מדיה: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 ניתן להכפיל בשני הצדדים וההכלה תשמר. ג. סעיף א אמור לעזור גם הוא. בהצלחה!
[[מדיה:Sul6DMEngener2016.pdf |פיתרון]]
* '''שימו לב - תיקון טעות בשאלה 3''' - הייתה טעות בדוגמא הנגדית בשאלה 3, מצ"ב דוגמא נגדית טובה. סליחה.
[[מדיה:Sul6aDMEngener2016.pdf |תיקון תרגיל 6 פיתרון 3]]
* [[מדיה:Ex7DMEngener2016.pdf |תרגיל 7]] להגשה לא יאוחר מ-ד' טבת, 16.12
'''תיקון לשאלה 3:''' S,R הם יחסי שקילות ולא סתם יחסים.
[[מדיה:Sul7DMEngener2016.pdf |פיתרון]]
* [[מדיה:e.pdf |השלמת התרגיל האחרון מהתרגול כהכנה לתרגיל בית - לכל הקבוצות]]
* [[מדיה:Ex8DMEngener2016.pdf |תרגיל 8]] להגשה לא יאוחר מ-כ"ב טבת (3.1 למניינם)
* הועלה התרגיל האמיתי (ולא 7) - '''נא לשים לב!'''
[[מדיה:Sul8DMEngener2016.pdf |פיתרון]]
הערה: בפיתרון לשאלה 5 סעיף ו השתמשתי בכך שיש שני איברים במשלים של B. למען האמת, אין צורך בכך, תחשבו למה (כלומר, הדוגמא אכן טובה, אבל ניתן למצוא דוגמא גם כשאין שם שני איברים).
* [[מדיה:Ex9DMEngener2016.pdf |תרגיל 9]] להגשה לא יאוחר מ-10.01 בשאלה 3 סעיף ב' S יחס סדר מעל B.
[[מדיה:Sul9DMEngener2016.pdf |פיתרון]]
* [[מדיה:Ex10DMEngener2016.pdf |תרגיל 10]] להגשה לא יאוחר מ-20.01
[[מדיה:Sul10DMEngener2016.pdf |פיתרון]]
* [[מדיה:Ex11DMEngener2016.pdf |תרגיל 11]] להגשה לא יאוחר מ-27.01
[[מדיה:Sul11DMEngener2016.pdf |פיתרון]]
* [[מדיה:ExExtra2016.pdf |שאלות חזרה]]
* [[מדיה:ExamEG2016.pdf |מבחן לדוגמא]]
* מצ"ב שאלות חזרה שחיבר יובל רויכמן, שמטרתם לכוון את הלימוד ולהוות אינדיקציה למבחן. שימו לב! זה ממש לא אומר שהמבחן מוכל באיחוד של הקבצים הללו, אבל הם בהחלט בסיס טוב ללימוד. לימוד פורה ובהצלחה!
* מצ"ב קישור למערכי הרצאה של בדידה למתמטיקאים, אם זה יכול לעזור למישהו בהבנת הוכחות משפטים מההרצאה (בתקווה שהקורס שלכם מוכל בשלהם, לא עברתי על מערכי ההרצאה).
http://math-wiki.com/index.php?title=%D7%9E%D7%AA%D7%9E%D7%98%D7%99%D7%A7%D7%94_%D7%91%D7%93%D7%99%D7%93%D7%94_-_%D7%9E%D7%A2%D7%A8%D7%9A_%D7%94%D7%A8%D7%A6%D7%90%D7%94
==שאלות ותשובות ==
שאלתי במזכירות וזה השעות שאמרו לי אבל אברר שוב. תודה, אריאל.
* נשאלתי האם צריך לשים בעמודות של טבלת אמת איברים או שמותר גם קבוצות. '''תשובה:''' בעמודות של טבלת אמת לא שמים איברים וגם לא קבוצות אלא טענות! 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