88-202 תשעח סמסטר א: הבדלים בין גרסאות בדף
(18 גרסאות ביניים של אותו משתמש אינן מוצגות) | |||
שורה 13: | שורה 13: | ||
ביום ראשון, 19.11 לא יתקיים תרגול. | ביום ראשון, 19.11 לא יתקיים תרגול. | ||
תיקון לתרגול 31.12: כדרצינו להוכיח שאוסף כל הנקודונים, נקרא לו S, אינה קבוצה, אמרנו שכל קבוצה מוכלת ב<math>P(S)</math> .זה לא נכון. מה שהיינו צריכים להגיד זה שכל קבוצה מוכלת ב''איחוד ''S. | |||
==בוחן== | ==בוחן== | ||
שורה 27: | שורה 29: | ||
בהצלחה! | בהצלחה! | ||
[[מדיה: settheory2018quiz.pdf|הבוחן]] [[מדיה: settheory2018quizsol.pdf|ופתרונו]] | |||
[https://docs.google.com/spreadsheets/d/e/2PACX-1vQTXV3bOXrxs8hpZzfiZugdyWhQtarPJsgjX_EroABJlSZiaQhlQF6Q2ZUgZoxbrjhcP9LdIXbDZiIY/pubhtml?gid=328319321&single=true ציוני הבוחן] | |||
==תרגילי בית== | ==תרגילי בית== | ||
שורה 50: | שורה 56: | ||
[[מדיה: settheory2018Exe4.pdf|תרגיל 4]] | [[מדיה: settheory2018Exe4.pdf|תרגיל 4]] | ||
[[מדיה: | [[מדיה: settheory2018Sol4fixed.pdf|פתרון]] | ||
הגשה: 26.11 | הגשה: 26.11 | ||
[[מדיה: settheory2018Exe5.pdf|תרגיל 5]] | [[מדיה: settheory2018Exe5.pdf|תרגיל 5]] | ||
[[מדיה: settheory2018Sol4.pdf|פתרון]] | |||
הגשה: 03.12 | הגשה: 03.12 | ||
שורה 61: | שורה 69: | ||
(שימו לב: תרגיל 6 שונה. השאלות על קופינליות ירדו) | (שימו לב: תרגיל 6 שונה. השאלות על קופינליות ירדו) | ||
[[מדיה: settheory2018Sol6.pdf|פתרון]] | |||
הגשה: 10.12 | הגשה: 10.12 | ||
[[מדיה: settheory2018Exe7.pdf|תרגיל 7]] | [[מדיה: settheory2018Exe7.pdf|תרגיל 7]] | ||
[[מדיה: settheory2018Sol7.pdf|פתרון]] | |||
הגשה: 31.12 | הגשה: 31.12 | ||
[[מדיה: settheory2018Exe8.pdf|תרגיל 8]] | |||
[[מדיה: settheory2018Sol8.pdf|פתרון]] | |||
הגשה: 07.01 | |||
[[מדיה: settheory2018Exe9.pdf|תרגיל 9]] | |||
[[מדיה: settheory2018Sol9.pdf|פתרון]] | |||
הגשה: 14.01 | |||
[[מדיה: settheory2018Exe10.pdf|תרגיל 10]] | |||
[[מדיה: settheory2018Sol10.pdf|פתרון]] | |||
הגשה: 21.01 | |||
==ציונים== | ==ציונים== | ||
שורה 99: | שורה 129: | ||
[[מדיה: settheory2016tir11.2.pdf|הוכחת משפט רמזי]] | [[מדיה: settheory2016tir11.2.pdf|הוכחת משפט רמזי]] | ||
==מומלץ לקרוא== | |||
(וכמובן, מומלץ להכיר את הבלוג "לא מדוייק" באופן כללי.) | |||
[http://www.gadial.net/2011/05/23/cantor_inventing_ordinals/ איך קנטור המציא את הסודרים?] | |||
[http://www.gadial.net/2011/05/25/ordinals_overview/ סודרים- מה זה בכלל?] | |||
[http://www.gadial.net/2011/05/30/ordinals_formal_definitions/ סודרים- התיאור הפורמלי] | |||
[http://www.gadial.net/2012/06/04/choice_order_zorn/ אקסיומת הבחירה, עקרון הסדר הטוב, הלמה של צורן – מי יודע?] | |||
[http://www.gadial.net/2007/07/04/axiom_of_choice/ לבחור או לא לבחור – זו השאלה] | |||
[http://www.gadial.net/2007/07/09/nonconstructive_proofs_vector_space_basis/ בסיס מוצק מי ימצא] | |||
[http://www.gadial.net/2013/09/10/axiom_of_choice_guessing_riddles/ איך אקסיומת הבחירה הופכת אותנו ל(כמעט) יודעי כל] | |||
[http://math-wiki.com/index.php?title=%D7%94%D7%9C%D7%9E%D7%94_%D7%A9%D7%9C_%D7%A6%D7%95%D7%A8%D7%9F/ הלמה של צורן- שימושים במתמטיקה] |
גרסה אחרונה מ־16:06, 7 בפברואר 2018
מרצה: אסף רינות.
מתרגלת: תמר בר-און.
שעות קבלה: בתיאום מראש במייל:
tamarnachshoni@gmail.com
הודעות
ביום ראשון, 19.11 לא יתקיים תרגול.
תיקון לתרגול 31.12: כדרצינו להוכיח שאוסף כל הנקודונים, נקרא לו S, אינה קבוצה, אמרנו שכל קבוצה מוכלת ב[math]\displaystyle{ P(S) }[/math] .זה לא נכון. מה שהיינו צריכים להגיד זה שכל קבוצה מוכלת באיחוד S.
בוחן
הבוחן יתקיים בעז"ה ביום ראשון, 24.12 בזמן התרגול.
הבוחן אינו מגן!
חומר לבוחן: כל מה שלמדנו עד נושא הקופינליות, כולל.
מבחינת הנושאים: קבוצות סדורות היטב, פונקציות שומרות סדר, איזומורפיזם סדר, סודרים, סודרים גבוליים ועוקבים, פעולות על סודרים- חיבור, כפל, חזקות. הוכחות באינדוקציה טרנספיניטית, פונקציות מונוטוניות ורציפות, ומשפט ההגדרה ברקורסיה.
בבוחן יכולות להופיע שאלות משיעורי הבית כמו גם שאלות חדשות.
בהצלחה!
תרגילי בית
הגשה: 29.10
הגשה: 05.11
הגשה: 12.11
הגשה: 26.11
הגשה: 03.12
(שימו לב: תרגיל 6 שונה. השאלות על קופינליות ירדו)
הגשה: 10.12
הגשה: 31.12
הגשה: 07.01
הגשה: 14.01
הגשה: 21.01
ציונים
מערכי תרגול
מצורפים סיכומיו של ערן שטיין לתרגולים משנת תשע"ו.
מומלץ לקרוא
(וכמובן, מומלץ להכיר את הבלוג "לא מדוייק" באופן כללי.)
אקסיומת הבחירה, עקרון הסדר הטוב, הלמה של צורן – מי יודע?