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

מתוך Math-Wiki
 
(20 גרסאות ביניים של אותו משתמש אינן מוצגות)
שורה 13: שורה 13:


ביום ראשון, 19.11 לא יתקיים תרגול.
ביום ראשון, 19.11 לא יתקיים תרגול.
תיקון לתרגול 31.12: כדרצינו להוכיח שאוסף כל הנקודונים, נקרא לו S, אינה קבוצה, אמרנו שכל קבוצה מוכלת ב<math>P(S)</math> .זה לא נכון. מה שהיינו צריכים להגיד זה שכל קבוצה מוכלת ב''איחוד ''S.


==בוחן==
==בוחן==
שורה 22: שורה 24:
חומר לבוחן: כל מה שלמדנו עד נושא הקופינליות, כולל.
חומר לבוחן: כל מה שלמדנו עד נושא הקופינליות, כולל.


מבחינת הנושאים: קבוצות סדורות היטב, פונקציות שומרות סדר, איזומורפיזם סדר, סודרים, סודרים גבוליים ועוקבים, פעולות על סודרים- חיבור, כפל, חזקות. הוכחות באינדוקציה טרנספיניטית, פונקציות מונוטוניות ורציפות, ממשפט ההגדרה ברקורסיה וקופינליות.
מבחינת הנושאים: קבוצות סדורות היטב, פונקציות שומרות סדר, איזומורפיזם סדר, סודרים, סודרים גבוליים ועוקבים, פעולות על סודרים- חיבור, כפל, חזקות. הוכחות באינדוקציה טרנספיניטית, פונקציות מונוטוניות ורציפות, ומשפט ההגדרה ברקורסיה.


בבוחן יכולות להופיע שאלות משיעורי הבית כמו גם שאלות חדשות.
בבוחן יכולות להופיע שאלות משיעורי הבית כמו גם שאלות חדשות.


בהצלחה!
בהצלחה!
[[מדיה: 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]]


[[מדיה: settheory2018Sol4.pdf|פתרון]]
[[מדיה: 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]]
[[מדיה: 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


==ציונים==
==ציונים==
שורה 95: שורה 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

88-202 תורת הקבוצות


מרצה: אסף רינות.

מתרגלת: תמר בר-און.

שעות קבלה: בתיאום מראש במייל:

tamarnachshoni@gmail.com

הודעות

ביום ראשון, 19.11 לא יתקיים תרגול.

תיקון לתרגול 31.12: כדרצינו להוכיח שאוסף כל הנקודונים, נקרא לו S, אינה קבוצה, אמרנו שכל קבוצה מוכלת ב[math]\displaystyle{ P(S) }[/math] .זה לא נכון. מה שהיינו צריכים להגיד זה שכל קבוצה מוכלת באיחוד S.

בוחן

הבוחן יתקיים בעז"ה ביום ראשון, 24.12 בזמן התרגול.

הבוחן אינו מגן!

חומר לבוחן: כל מה שלמדנו עד נושא הקופינליות, כולל.

מבחינת הנושאים: קבוצות סדורות היטב, פונקציות שומרות סדר, איזומורפיזם סדר, סודרים, סודרים גבוליים ועוקבים, פעולות על סודרים- חיבור, כפל, חזקות. הוכחות באינדוקציה טרנספיניטית, פונקציות מונוטוניות ורציפות, ומשפט ההגדרה ברקורסיה.

בבוחן יכולות להופיע שאלות משיעורי הבית כמו גם שאלות חדשות.

בהצלחה!

הבוחן ופתרונו

ציוני הבוחן

תרגילי בית

תרגיל 1

פתרון

הגשה: 29.10

תרגיל 2

פתרון

הגשה: 05.11

תרגיל 3

פתרון

הגשה: 12.11

תרגיל 4

פתרון

הגשה: 26.11

תרגיל 5

פתרון

הגשה: 03.12

תרגיל 6

(שימו לב: תרגיל 6 שונה. השאלות על קופינליות ירדו)

פתרון

הגשה: 10.12

תרגיל 7

פתרון

הגשה: 31.12

תרגיל 8

פתרון

הגשה: 07.01

תרגיל 9

פתרון

הגשה: 14.01

תרגיל 10

פתרון

הגשה: 21.01

ציונים

ציוני תרגיל

מערכי תרגול

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

תרגול 1

תרגול 2

תרגול 3

תרגול 4

תרגול 5

תרגול 6

תרגול 7

תרגול 8

תרגול 9

תרגול 10

תרגול 11

הוכחת משפט רמזי

מומלץ לקרוא

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

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

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

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

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

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

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

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

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