| מאמר | ||
|---|---|---|
| כותרת המסמך | מחבר | פרטים נוספים |
משפט קנטור - אי שקילות של קבוצות אינסופיות
מאמר משפט קנטור - אי שקילות של קבוצות אינסופיות - שקפים בנושא |
גיל כהן |  מסמך מודפס 9471 הורדות 12 עמודים |
| סיכום | ||
|---|---|---|
| כותרת המסמך | מחבר | פרטים נוספים |
גדירות בתחשיב הפסוקים - תיאוריה והדגמה
סיכום גדירות בתחשיב הפסוקים - תיאוריה והדגמה |
ניר אדר | מסמך מודפס 7424 הורדות 3 עמודים |
|
לוגיקה - סיכום נקודות
סיכום מושגי ייסוד בלוגיקה, תחשיב הפסוקים ותחשיב היחסים |
ניר אדר |  מסמך אונליין 21173 הורדות 25 עמודים |
|
מבוא למתמטיקה דיסקרטית - לוגיקה מתמטית
סיכום תחשיב הפסוקים ותחשיב היחסים - תיאוריה ודוגמאות |
רוני שוחט | מסמך מודפס 27760 הורדות 14 עמודים |
|
מחברת של הקורס "לוגיקה ותורת הקבוצות" בטכניון
סיכום מחברת סרוקה של הקורס "לוגיקה ותורת הקבוצות למדעי המחשב" בטכניון. ההרצאות הועברו על ידי ד"ר שירלי הלוי. הבהרה: זהו סיכום אישי בלבד, ואין הטכניון או הפקולטה למדעי המחשב אחראים לתוכנו של מסמך זה. הנושאים במסמך: תורת הקבוצות - מושגי יסוד בתורת הקבוצות, בנייה של קבוצות, מידול של זוג סדור, רלציות, יחסי שקילות, פונקציות, הגדרה ובנייה של קבוצות באינדוקציה, עוצמות, קבוצות בנות מנייה, קבוצות שאינן בנות מנייה, משפט קנטור, משפט קנטור-ברנשטיין. תחשיב הפסוקים - סינטקס, סמנטיקה, שלמות מערכות קשרים, צורות נורמליות, מערכת הוכחה לתחשיב הפסוקים, עקביות, עקביות מקסימלית, משפט השלמות, משפט הקומפקטיות, גדירות בתחשיב הפסוקים. תחשיב היחסים - סינטקס, סמנטיקה, גדירות יחסים במבנה, צורות נורמליות, מערכת הוכחה לתחשיב היחסים, גדירות של קבוצות מבנים. |
לא ידוע |  מסמך סרוק 6680 הורדות 98 עמודים |
|
סיכום הקורס תורת הקבוצות
סיכום סיכום הרצאות פרופ' ארז לפיד בנושא תורת הקבוצות - קורס מספר 80200 - באוניברסיטה העברית ירושליים, 2006-7 |
יובל קפלן | מסמך מודפס 8508 הורדות 37 עמודים |
| ספר אלקטרוני | ||
|---|---|---|
| כותרת המסמך | מחבר | פרטים נוספים |
תורת הקבוצות
ספר אלקטרוני מושגי ייסוד, הקבוצה הריקה, דיאגרמת וון, פעולות על קבוצות, רלציות, פונקציות, קבוצות חזקה, רלציות שקילות, עוצמות, משפט קנטור ברנשטיין, קבוצות אינדוקטיביות |
ניר אדר | מסמך אונליין 69592 הורדות 95 עמודים |