שינויים
קפיצה אל:
ניווט
,
חיפוש
83-116 בדידה להנדסה סמסטר ב' תשע"ח
נוסף בית אחד
,
14:31, 20 במרץ 2018
/* הודעות */
הסבר הרעיון בקשר לגלב: רוצים להוכיח שלא קיים גלב כזה כלומר שמתקיים:
<math>\lnot (\exists x \forall y (P(x,y)\leftrightarrow \lnot P(y,y
)
))</math>
וראינו שזה שקול ללהוכיח שמתקיים:
אריאל
1,419
עריכות
תפריט הניווט
כלים אישיים
כניסה לחשבון
דף השיחה עבור כתובת IP זו
18.188.177.199
גרסאות שפה
מרחבי שם
דף מיוחד
חיפוש
עוד
צפיות
ניווט
עמוד ראשי
שינויים אחרונים
העלאת קובץ
חומר לימוד
התקנת LyX
סילבוסים
כלים
דפים מיוחדים
גרסת הדפסה