ohad

אתה דואג שלא עברת את השלמות 1? יש סיכוי בהחלט שבדקו/עדכנו רק חלק, תחכה כמה ימים, אם אתה ממש בלחץ אפשר להתקשר ולשאול זה הכי בטוח...

למה זה רלוונטי? תרשם לאיפה שפנוי ותלך לאיפה שאתה רוצה...

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

מת"מ ידוע כקורס עמוס מבחינת תרגילי הבית, מצד שני ממש לא כדאי לדחות אותו, את"מ יחסית לא דורש הרבה וגם בקומבי אין יותר מידי עבודה במהלך הסמסטר. אז כן, לדחות את פיסיקה נשמע כמו רעיון לא רע (אם אתה בטוח שאתה רוצה לדחות).

אופס, הכדורים זהים אז אין צורך בבחירה שלהם, תתעלם מזה באמת...

אם הבנתי מה הם רוצים: http://i.imm.io/SeR4.png (בשורה השלישית זה כמובן k-i אבל אין לי כח לערוך ולהעלות מחדש)

זה מה שיצא: http://i.imm.io/S7Hx.png אתה חושב שצריך לפרט יותר למה הצבה באקסיומה היא אקסיומה (זה נראה לי ממש טריוויאלי)? שוב תודה!!

נראה לי שאפשר לפשט את הטענה, עפ"י ההגדרה (לפחות בקורס, אך ברור שזה שקול למה שאמרת) זו חייבת להיות אקסיומה (אחת מהשלוש שנתנו), ואקסיומה מעצם הגדרתה נשארת אקסיומה גם אחרי הצבה. (לגבי טאוטולגיה כלשהי זה גם נכון אבל יותר דורש הוכחה לא?)

בגדול נראה לי שהבנתי, אני אשב על זה יותר מחר. 2 שאלות בכל זאת: 1. כשכתבת בסוף "לפי ההגדרה" הכוונה היא שוב לפי משפט הדדוקציה רק בכיוון ההפוך לא? 2. כיוון ההוכחה שאני הצעתי לא טוב? יש לאלפא סדרת הוכחה, ואם תעשה לכל איבר בסדר subst תקבל גם סדרת הוכחה"שקולה" ותקפה. תודה!

חשבתי שזו פונקציה "מפורסמת", גם בגלל שלא הזכירו ישירות בתרגיל שהכוונה לפונקציה הזו (שהוגדרה בתרגיל קודם), אז רק הסברתי בקצרה. http://i.imm.io/S2vi.pngבתרגיל ההוא הוכחנו שהתמונה שלה היא פסוקים ב WFF (הטווח בהגדרה יותר רחב), ועוד כמה תכונות שלא נראות לי רלוונטיות פה.

http://i.imm.io/S2cp.png (אנו במערכת http://www.codecogs.com/gif.latex?WFF_%7B%5C%7B%5Crightarrow,%5Clnot%5C%7D%7D , הפונקציה subst הוגדרה בעבר והיא הצבה כלשהי של פסוקים במקום משתנים) ברורה לי הנכונות של הטענה, רק לא ברור איך בדיוק להוכיח זאת... האם אפשר לעשות אינדוקציה על אורך סדרת ההוכחה של http://www.codecogs.com/gif.latex?%5Calpha ? ואיך בדיוק עושים את זה? תודה!

אכן דברים קשים incog... :( בצר לי חזרתי לפיתרון שלך וניסחתי אותו (עם חיפוף קל בסוף כי כמה אפשר לפרמל): http://i.imm.io/RvMJ.png תודה רבה על כל התיקונים וההפרכות!!

צודק (באופן לא מפתיע...), איך עכשיו? http://i.imm.io/RuJa.png ואם כבר, אז קראתי קצת על הלמה של צורן (ויקיפדיה והבלוג של גדי), והבנתי שהיא תלויה באקסיומת הבחירה שלא ניתן להשתמש בה בכל המערכות...

עריכה 2: חשבתי שמצאתי פיתרון יותר טוב, אבל בסוף יצא משהו דומה מאוד ל incog. מה אתם אומרים על ההוכחה הזו: http://i.imm.io/Rr4s.png המרצה (אמיר שפילקה) אמר תוך כדי שהוא עושה הוכחה דומה בכיתה שאין צורך בהוכחה ארוכה בסגנון של incog.

לא תתחרט :hat:

נחשב?

אנסה לבנות את זה מחר, תודה בינתיים :hat:

לא זכור לי שהגדירו אצלינו איבר מקסימלי, אבל מן הסתם ההגדרה היא שאם f מקסימלי אין g כך ש [jstex](f,g)\in K[/jstex], ומהלך ההוכחה שלך הוא נכון, רק בסוף הייתי מוסיף: ולכן [jstex](f,g)\in K[/jstex] בסתירה להנחה.

וואי וואי וואי, כמה שאתה צודק. מה שאומר שתרגיל שלם שכבר הגשתי עשיתי הפוך... :anger: נקווה שלא יבדקו את השאלה שזה היה משמעותי בה, מזל שהרוב הוא ממילא [jstex]\mathbb{N^N}[/jstex] לצערי אסור להשתמש בחשבון עוצמות. כרגיל תודה!

אחלה ניסוח :thumbsup: כשאה אומר יהי f, אתה בעצם אומר נקח f כלשהו ואז מוכיח עליו, זה תקין לגמרי.

בקשו להוכיח שוויון עוצמות בין הקבוצות: [jstex]\mathcal{P}(\mathbb{N})\sim\mathbb{N}\times\mathcal{P}(\mathbb{N})\sim\mathcal{P}(\mathbb{N})^{\mathbb{N}}[/jstex] קל להוכיח (בניית פונקציות חח"ע די פשוטות) כי: [jstex]\mathcal{P}(\mathbb{N})\preceq\mathbb{N}\times\mathcal{P}(\mathbb{N})\preceq\mathcal{P}(\mathbb{N})^{\mathbb{N}}[/jstex] איך אני מוכיח את השוויון בין הראשונה לאחרונה? (שיגרור בסנדוויץ' את האמצעית) יש כאן איזה פונקצייה חח"ע שאני מפספס או שצריך ללכת על משהו אחר? בנוסף (ואולי איכשהו זה קשור): נתקלתי בהתייחסות ל [jstex]\{0,1\}^\mathbb{N}[/jstex] כקבוצת הווקטורים הבינאריים האינסופיים, למה? זה לא סימון לקבוצת כל הפונקציות מ {0,1} ל N? תודה! (אגב, מישהו יודע למה בתצוגה מקדימה ה latex לא מוצג כמו שצריך?)

תודה, זה בערך מה שעשיתי בסוף, f3 באמת קטנה יותר וחסמתי ככה ממטה את f4. :thumbsup: נגמר התרגיל

נתנו לנו 14 (!) פונקציות שונות ומשונות ובקשו לסדר אותם מהקטנה לגדולה (אסימפטוטית) ולהוכיח שאחת היא O של השנייה וכו'. נשארתי עם הארבע פונקציות הללו: [jstex]f_1=3^n,f_2=3^{2^n},f_3=(loglogn)^{logn},f_4=\Pi_{i=2}^n log(i)[/jstex] ברור לי ש [jstex]f_1=O(f_2)[/jstex] אבל לא ברור לי איפה ואיך לפתח את שתי האחרות, נראה לי שהן באמצע (כי n בחזקת n למשל בינהן), רעיונות? (תוספת: אני יודע ש [jstex]f_4=O((logn)^n)[/jstex] אבל איך לחסום אותה מלמטה לא ברור לי)

נקווה שזה יספק את המתרגל העייף שיבדוק את התרגיל... אכן באג מוזר, חשבתי כבר ששמת איזה תמונה/נוסחה להמחשה והאינטרנט במעונות החליט שהיא לא חשובה

תודה, מוזר שאין משהו יותר טוב. נקווה שזה יצא משהו נורמלי... אני לא אוהב אינטגרלים :cry: (השורות הריקות אצלך באמצע בכוונה או שהיה אמור להיות שם משהו?)