שינויים

קפיצה אל: ניווט, חיפוש

88-202 תשעט סמסטר א

נוספו 7,007 בתים, 14:06, 28 בינואר 2019
/* הודעות */
==הודעות==
 
'''דברים שלא יופיעו במבחן:''' כמו שהסברתי בהרצאה האחרונה, הנושא ״מערכות של מספרים״ (הכולל את בניית השלמים, הרציונלים והממשיים, חתכי דדקינד ומשפט החסם העליון) לא יופיע במבחן. כמו כן, משפט גודשטיין לא יופיע כנושא שצריך להכיר מראש (אם כי איני שולל שמשהו דומה או חלקי יופיע כתרגיל, כאשר ההגדרות הנחוצות יסופקו במבחן). מטלות הקריאה המודרכת הם חלק מהחומר למבחן. כהקלה נוספת, '''בכל מועד תופיע לפחות שאלה אחת מהתרגיל''': מתרגיל בית, משיעור התרגיל, או וריאציה של שאלה כזו.
 
'''סקר שביעות הרצון מההוראה בקורס:''' כדי שיהיה משוב על הקורס, חשוב שכל תלמיד שנכח בהרצאות, אפילו בחלקן, ימלא את '''סקר ההוראה של הקורס'''. השתתפותכם בסקר רצויה ומוערכת.
 
'''מבחנים''' של פרופ' צבאן משנים קודמות אפשר למצוא [http://u.cs.biu.ac.il/~tsaban/ST/STExams.html כאן]. אין הרבה מבחנים. כדאי להסתכל גם במבחנים של פרופ' רינות (ייתכנו שם נושאים שאינם בקורס שלנו, ולהיפך, אך ההבדל אינו גדול).
 
[http://u.cs.biu.ac.il/~tsaban/Pdf/SpaceByCircles.pdf מטלת קריאה שלישית בקורס]: הוכחת המשפט שהמרחב הוא איחוד מעגלים זרים.
 
[http://u.cs.biu.ac.il/~tsaban/Pdf/Alephs.pdf מטלת קריאה שניה בקורס]: הוכחת הטענה האחרונה מההרצאה בנושא האלפים, ועוד תכונה של אלפים.
 
[http://u.cs.biu.ac.il/~tsaban/Pdf/Recursion.pdf מטלת קריאה ראשונה בקורס]: הוכחת משפט הרקורסיה (+דוגמא מפורטת כבונוס).
 
==רשימת הנושאים שכיסינו בתרגול==
 
קבוצות סדורות. סדר צפוף. סדר טוב.
 
תת קבוצות קופינליות.
 
פונקציות שומרות סדר, איזומורפיזם סדר.
 
סודרים (הגדרה ותכונות).
 
סודרים עוקבים וגבוליים.
 
ארתמטיקה של סודרים: חיבור, חיסור, כפל, חילוק עם שארית, חזקות, הצגה לפי בסיס.
 
פונקציות מונוטוניות ורציפות.
 
טופולוגיית הסדר.
 
אקסיומות zf.
 
אקסיומת הבחירה ושיקולים: עקרון הסדר הטוב, הלמה של צורן.
 
עוצמות וסודרים מונים.
 
ארתמטיקה של עוצמות.
 
קופינליות של סודרים.
 
==בוחן==
 
בוחן בקורס יתקיים ביום ראשון, 16.12, בשעה 14:00-15:30 (בזמן התרגול).
 
חומר לבוחן: כל מה שנלמד עד תרגול 7, כולל. בפירוט:
 
קבוצות סדורות. סדר צפוף. סדר טוב.
 
תת קבוצות קופינליות.
 
פונקציות שומרות סדר, איזומורפיזם סדר.
 
סודרים (הגדרה ותכונות).
 
סודרים עוקבים וגבוליים.
 
ארתמטיקה של סודרים: חיבור, חיסור, כפל, חילוק עם שארית, חזקות, הצגה לפי בסיס.
 
פונקציות מונוטוניות ורציפות.
 
טופולוגיית הסדר.
 
בבוחן יכולות להופיע שאלות מהתרגול/ מש"ב, כמו גם שאלות חדשות.
 
[[מדיה: STquiz2019.pdf| הבוחן]]
 
[[מדיה: STquiz2019Sol.pdf| ופתרונו]]
 
[https://docs.google.com/spreadsheets/d/e/2PACX-1vQdHSVM3hPB-rdCFc-3wlgycpX8YDpGFCbK7HvzotitfYIjK-5-5-ewJrd8-sYyRBN3NFW5luIPFOG4/pubhtml?gid=1577262074&single=true ציוני הבוחן והגשות תרגילים]
 
==תקציר הקורס==
 
[http://u.cs.biu.ac.il/~tsaban/Pdf/STLectures.pdf תקציר הקורס המתעדכן]. מתעדכן מדי הרצאה, ולכן לא מומלץ להורידו אלא לקרוא תמיד מהקישור.
 
[http://u.cs.biu.ac.il/~tsaban/Pdf/LebMsrPb.pdf בעיית המידה של לבג]. סיכום בסגנון קצת שונה מאיך שהצגנו בהרצאה, אבל ההרצאה הלכה לפיו, והמתמטיקה זהה. כולל פרק בונוס, "עוד על מונים מדידים".
 
==תרגילים==
 
[[מדיה:settheoryex12019.pdf|תרגיל 1]]
 
[[מדיה:settheoryex1sol2019.pdf|פתרון]]
 
[[מדיה:settheoryex22019.pdf|תרגיל 2]]
 
[[מדיה:settheoryex2sol2019.pdf|פתרון]]
 
[[מדיה:settheoryex32019.pdf|תרגיל 3]]
 
[[מדיה:settheoryex3sol2019.pdf|פתרון]]
 
[[מדיה:settheoryex42019.pdf|תרגיל 4]]
 
[[מדיה:settheoryex4sol2019.pdf|פתרון]]
 
[[מדיה:settheoryex52019.pdf|תרגיל 5]]
 
[[מדיה:settheoryex5sol2019.pdf|פתרון]]
 
[[מדיה:settheoryex62019.pdf|תרגיל 6]]
 
[[מדיה:settheoryex6sol2019.pdf|פתרון]]
 
[[מדיה:settheoryex72019.pdf|תרגיל 7]]
 
[[מדיה:settheoryex7sol2019.pdf|פתרון]]
 
[[מדיה:settheoryex82019.pdf|תרגיל 8]]
 
[[מדיה:settheoryex8sol2019.pdf|פתרון]]
 
[[מדיה:settheoryex92019.pdf|תרגיל 9]]
 
[[מדיה:settheoryex9sol2019.pdf|פתרון]]
 
[[מדיה:settheoryex102019.pdf|תרגיל 10]]
 
[[מדיה:settheoryex10sol2019.pdf|פתרון]]
 
[[מדיה:settheoryex112019.pdf|תרגיל 11]]
 
[[מדיה:settheoryex11sol2019.pdf|פתרון]]
 
הערה: בשאלה 3 א' יש לדרוש: <math>\kappa>0</math>.
 
[[מדיה:settheoryex122019.pdf|תרגיל 12]] תרגיל רשות
 
[[מדיה:settheoryex12sol2019.pdf|פתרון]]
 
יש להגיש את כל התרגילים החסרים עד 19.01, על מנת שאוכל להעלות לכם פתרונות לפני המבחן.
 
==העשרה==
 
[https://youtu.be/SrU9YDoXE88 איך לספור מעבר לאינסוף]: סרטון המסביר באופן מאד ויזואלי ויפה, את המושגים המרכזיים בחלק הראשון של הקורס.
 
[https://en.wikipedia.org/wiki/Goodstein%27s_theorem משפט גודשטיין]: הערך בויקיפדיה. מכיל דוגמאות מפורטות של סדרות, והרחבות שונות.
 
[https://youtu.be/s86-Z-CbaHA הפרדוקס של בנך-טרסקי]: איך אפשר - תיאורטית - להפוך כדור זהב אחד לשניים, בעזרת אקסיומת הבחירה.
 
[https://gadial.net/2013/09/10/axiom_of_choice_guessing_riddles/ איך אקסיומת הבחירה הופכת אותנו ל(כמעט) יודעי כל]
 
[https://gadial.net/2007/07/04/axiom_of_choice/ לבחור או לא לבחור – זו השאלה]
 
[https://gadial.net/2007/07/09/nonconstructive_proofs_vector_space_basis/ בסיס מוצק מי ימצא]
 
[https://gadial.net/2012/06/04/choice_order_zorn/ אקסיומת הבחירה, עקרון הסדר הטוב, הלמה של צורן – מי יודע?]
477
עריכות