83-116 בדידה להנדסה סמסטר ב' תשע"ח
שעות קבלה
- אריאל: בתיאום במייל, relweiz@gmail.com
קישורים
הודעות
הסבר הרעיון בקשר לגלב: רוצים להוכיח שלא קיים גלב כזה כלומר שמתקיים:
[math]\displaystyle{ \lnot (\exists x \forall y (P(x,y)\leftrightarrow \lnot P(y,y))) }[/math]
וראינו שזה שקול ללהוכיח שמתקיים:
[math]\displaystyle{ \forall x\exists y(P(x,y) \oplus \lnot P(y,y)) }[/math]
נוכיח: יהי [math]\displaystyle{ x }[/math] צריך למצוא [math]\displaystyle{ y }[/math] כך שמתקיים [math]\displaystyle{ P(x,y) \oplus \lnot P(y,y) }[/math] ניקח את [math]\displaystyle{ y }[/math] להיות [math]\displaystyle{ x }[/math] ואז נקבל [math]\displaystyle{ P(x,x)\oplus \lnot P(x,x) }[/math] וזה אכן מתקיים. (בשיעור עשיתי הפוך לקחתי את [math]\displaystyle{ x }[/math] להיות [math]\displaystyle{ y }[/math], וזה לא עוזר...)
תרגילי בית
מטלות תרגול ממוחשבות XI: בקישור. ברשימת הקורסים בקישור תמצאו את הקורס שלנו, יש להרשם עם חשבון גוגל. נא להכניס תעודת זהות בעת ההרשמה! את המטלות יש להגיש באופן ממוחשב עד שבועיים מיום העלאת התרגיל. בשקלול הציון יכנסו כ-80% מהציונים הטובים ביותר.
תרגילים ידניים
- התרגילים שיופיעו כאן אינם להגשה, ואין עליהם ציון. מטרתם תרגול החומר בנוסף למטלות הממוחשבות. בהצלחה!
- תרגיל 1, פתרון
- תרגיל 2, פתרון שאלות האינדוקציה מיועדות לשבוע הבא, אחרי שנלמד אינדוקציה.
- תרגיל 3, פתרון
- תרגיל 4, פתרון
- תרגיל 5, פתרון
- תרגיל 6, פתרון
- תרגיל 7, פתרון