| מאמר | ||
|---|---|---|
| כותרת המסמך | מחבר | פרטים נוספים |
משפט קנטור - אי שקילות של קבוצות אינסופיות
מאמר משפט קנטור - אי שקילות של קבוצות אינסופיות - שקפים בנושא |
גיל כהן |  מסמך מודפס 9555 הורדות 12 עמודים |
| סיכום | ||
|---|---|---|
| כותרת המסמך | מחבר | פרטים נוספים |
גדירות בתחשיב הפסוקים - תיאוריה והדגמה
סיכום גדירות בתחשיב הפסוקים - תיאוריה והדגמה |
ניר אדר | מסמך מודפס 7518 הורדות 3 עמודים |
|
לוגיקה - סיכום נקודות
סיכום מושגי ייסוד בלוגיקה, תחשיב הפסוקים ותחשיב היחסים |
ניר אדר |  מסמך אונליין 21583 הורדות 25 עמודים |
|
מבוא למתמטיקה דיסקרטית - לוגיקה מתמטית
סיכום תחשיב הפסוקים ותחשיב היחסים - תיאוריה ודוגמאות |
רוני שוחט | מסמך מודפס 27850 הורדות 14 עמודים |
|
מחברת של הקורס "לוגיקה ותורת הקבוצות" בטכניון
סיכום מחברת סרוקה של הקורס "לוגיקה ותורת הקבוצות למדעי המחשב" בטכניון. ההרצאות הועברו על ידי ד"ר שירלי הלוי. הבהרה: זהו סיכום אישי בלבד, ואין הטכניון או הפקולטה למדעי המחשב אחראים לתוכנו של מסמך זה. הנושאים במסמך: תורת הקבוצות - מושגי יסוד בתורת הקבוצות, בנייה של קבוצות, מידול של זוג סדור, רלציות, יחסי שקילות, פונקציות, הגדרה ובנייה של קבוצות באינדוקציה, עוצמות, קבוצות בנות מנייה, קבוצות שאינן בנות מנייה, משפט קנטור, משפט קנטור-ברנשטיין. תחשיב הפסוקים - סינטקס, סמנטיקה, שלמות מערכות קשרים, צורות נורמליות, מערכת הוכחה לתחשיב הפסוקים, עקביות, עקביות מקסימלית, משפט השלמות, משפט הקומפקטיות, גדירות בתחשיב הפסוקים. תחשיב היחסים - סינטקס, סמנטיקה, גדירות יחסים במבנה, צורות נורמליות, מערכת הוכחה לתחשיב היחסים, גדירות של קבוצות מבנים. |
לא ידוע |  מסמך סרוק 6786 הורדות 98 עמודים |
|
סיכום הקורס תורת הקבוצות
סיכום סיכום הרצאות פרופ' ארז לפיד בנושא תורת הקבוצות - קורס מספר 80200 - באוניברסיטה העברית ירושליים, 2006-7 |
יובל קפלן | מסמך מודפס 8638 הורדות 37 עמודים |
| ספר אלקטרוני | ||
|---|---|---|
| כותרת המסמך | מחבר | פרטים נוספים |
תורת הקבוצות
ספר אלקטרוני מושגי ייסוד, הקבוצה הריקה, דיאגרמת וון, פעולות על קבוצות, רלציות, פונקציות, קבוצות חזקה, רלציות שקילות, עוצמות, משפט קנטור ברנשטיין, קבוצות אינדוקטיביות |
ניר אדר | מסמך אונליין 70467 הורדות 95 עמודים |