| חולני, כמו שאר העולם הזה. |
| 2/2006
לוגיקה למדעי המחשב מועד א'
Well, maybe not SUCH a fucking loser =)
הלכתי לישון וקמתי בהרגשה הנוראית שאני ממש לא יודע מספיק את התיאוריה, ולא פתרתי כמעט בחינות, ועם מצברוח מדוכדך יצאתי לפגוש את גורלי. משום מה החליפו את קוו ה461 שנוסע לרכבת מאגד לסופרבוס (חח אגד פושטים רגל =), ולוח הזמנים גם הוא השתנה, קוו האגד שרציתי לעלות עליו לא הגיע משום מה, אז איחרתי את הרכבת שרציתי לנסוע עליה, נסעתי על הבאה ופגשתי שם את יוליה. הגעתי למבחן באיחור של איזה עשר דקות ועם הרגשה שהחרא הזה זה רק ההתחלה וסמל לכישלוני במבחן. הייתה בחירה של 4 בעיות מתוך 5. תארו לעצמכם את תדהמתי, כשראיתי ששלוש מהבעיות פתירות באופן די קל! אזהרה: פירוט מפורט פרטני פירוטי ביותר בא פה =)
בעיה 1: פשוט הצרנות של משפטים בתורת הקבוצות!! סטייל בדידה! בסט! אני מקווה שלא התבלבלתי בשום מקום! =)) שזה נותן לי 25 נק' בתקווה
בעיה 2: משהו וואנאבי בHPC, שזה בעצם שימוש טריוויאלי במשפט השלמות והוכחה פשוט אלמנטרית בתורת הפסוקים! =) שזה נותן לי 25 נק' בתקווה
בעיה 3: להוכיח דברים לגבי סקולמיזציה, לא היה לי כוח, עברתי הלאה
בעיה 4: בהנתן נוסחה אוניברסלית שהפסוק הלא מכומת הוא דיסיונקציה של ליטרלים להוכיח שהנוסחא תקפה אם"ם יש ליטרל ושלילתו. (וסעיף ראשון למצוא נוסחא לא תקפה שהיא לא כזאת, חחח). כיוון אחד קל, ועל הכיוון השני חשבתי עד כדי רבע שעה אחרי סוף הבחינה והגעתי לפיתרון יפה עם מבנה הרברנד, אם המשגיחה הייתה פחות נחמדה הייתי הרבה פחות שמח עכשיו. קצת חיפפתי, אולי יוריד 5 נק'.
בעיה 5: הוכחה רגילה שגרף כמעט 3 צדדי אם"ם כל תת גרף סופי שלו כזה, חיחי קומפקטיות בתורת הפסוקים, נדוש כמו עובש בכוס של סבתא של יוסי. חיפפתי קצת בהוכחת השקילות של ספיקות קבוצת הפסוקים שהגדרתי ושל היות הגרף כמעט 3 צדדי, אולי מוריד 5 נק'.
בסה"כ: 90-100 =))) וויפי! :)
| |
| כינוי:
sicksadworld בן: 37 תמונה |
בבלוג זה
בכל הבלוגים
