88-202 תשעח סמסטר א: הבדלים בין גרסאות בדף

גרסה אחרונה מ־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

ציונים

ציוני תרגיל

מערכי תרגול

מצורפים סיכומיו של ערן שטיין לתרגולים משנת תשע"ו.

מומלץ לקרוא

(וכמובן, מומלץ להכיר את הבלוג "לא מדוייק" באופן כללי.)

איך קנטור המציא את הסודרים?

סודרים- מה זה בכלל?

סודרים- התיאור הפורמלי

אקסיומת הבחירה, עקרון הסדר הטוב, הלמה של צורן – מי יודע?

לבחור או לא לבחור – זו השאלה

בסיס מוצק מי ימצא

איך אקסיומת הבחירה הופכת אותנו ל(כמעט) יודעי כל

הלמה של צורן- שימושים במתמטיקה

@@ שורה 11: / שורה 11: @@
 ==הודעות==
+ביום ראשון, 19.11 לא יתקיים תרגול.
+תיקון לתרגול 31.12: כדרצינו להוכיח שאוסף כל הנקודונים, נקרא לו S, אינה קבוצה, אמרנו שכל קבוצה מוכלת ב<math>P(S)</math> .זה לא נכון. מה שהיינו צריכים להגיד זה שכל קבוצה מוכלת ב''איחוד ''S.
+==בוחן==
+הבוחן יתקיים בעז"ה ביום ראשון, 24.12 בזמן התרגול.
+הבוחן אינו מגן!
+חומר לבוחן: כל מה שלמדנו עד נושא הקופינליות, כולל.
+מבחינת הנושאים: קבוצות סדורות היטב, פונקציות שומרות סדר, איזומורפיזם סדר, סודרים, סודרים גבוליים ועוקבים, פעולות על סודרים- חיבור, כפל, חזקות. הוכחות באינדוקציה טרנספיניטית, פונקציות מונוטוניות ורציפות, ומשפט ההגדרה ברקורסיה.
+בבוחן יכולות להופיע שאלות משיעורי הבית כמו גם שאלות חדשות.
+בהצלחה!
+[[מדיה: settheory2018quiz.pdf|הבוחן]] [[מדיה: settheory2018quizsol.pdf|ופתרונו]]
+[https://docs.google.com/spreadsheets/d/e/2PACX-1vQTXV3bOXrxs8hpZzfiZugdyWhQtarPJsgjX_EroABJlSZiaQhlQF6Q2ZUgZoxbrjhcP9LdIXbDZiIY/pubhtml?gid=328319321&single=true ציוני הבוחן]
 ==תרגילי בית==
 [[מדיה: settheory2018Exe1.pdf|תרגיל 1]]
+[[מדיה: settheory2018Sol1.pdf|פתרון]]
 הגשה: 29.10
+[[מדיה: settheory2018Exe2.pdf|תרגיל 2]]
+[[מדיה: settheory2018Sol2.pdf|פתרון]]
+הגשה: 05.11
+[[מדיה: settheory2018Exe3.pdf|תרגיל 3]]
+[[מדיה: settheory2018Sol3.pdf|פתרון]]
+הגשה: 12.11
+[[מדיה: settheory2018Exe4.pdf|תרגיל 4]]
+[[מדיה: settheory2018Sol4fixed.pdf|פתרון]]
+הגשה: 26.11
+[[מדיה: settheory2018Exe5.pdf|תרגיל 5]]
+[[מדיה: settheory2018Sol4.pdf|פתרון]]
+הגשה: 03.12
+[[מדיה: settheory2018Exe6.pdf|תרגיל 6]]
+(שימו לב: תרגיל 6 שונה. השאלות על קופינליות ירדו)
+[[מדיה: settheory2018Sol6.pdf|פתרון]]
+הגשה: 10.12
+[[מדיה: settheory2018Exe7.pdf|תרגיל 7]]
+[[מדיה: settheory2018Sol7.pdf|פתרון]]
+הגשה: 31.12
+[[מדיה: settheory2018Exe8.pdf|תרגיל 8]]
+[[מדיה: settheory2018Sol8.pdf|פתרון]]
+הגשה: 07.01
+[[מדיה: settheory2018Exe9.pdf|תרגיל 9]]
+[[מדיה: settheory2018Sol9.pdf|פתרון]]
+הגשה: 14.01
+[[מדיה: settheory2018Exe10.pdf|תרגיל 10]]
+[[מדיה: settheory2018Sol10.pdf|פתרון]]
+הגשה: 21.01
 ==ציונים==
+[https://docs.google.com/spreadsheets/d/e/2PACX-1vQTXV3bOXrxs8hpZzfiZugdyWhQtarPJsgjX_EroABJlSZiaQhlQF6Q2ZUgZoxbrjhcP9LdIXbDZiIY/pubhtml?gid=1016249237&single=true ציוני תרגיל]
 ==מערכי תרגול==
 מצורפים סיכומיו של ערן שטיין לתרגולים משנת תשע"ו.
 [[מדיה: settheory2016tir1.pdf|תרגול 1]]
@@ שורה 48: / שורה 129: @@
 [[מדיה: 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/ הלמה של צורן- שימושים במתמטיקה]