<< עדכונים עבור 19/07/2010 :: עדכונים עבור 20/07/2010 :: עדכונים עבור 22/07/2010 >>
2 מסמכים עודכנו - הועלתה גרסה לצפיה אונליין. המסמכים שעודכנו הם: "מחרוזות בשפת פסקל" ו-"תורת הקבוצות".
2 מסמכים חדשים נוספו לאתר. המסמכים שנוספו הם: "תורת החישוביות - סיכום הרצאות אביב 2010", "מחברת של הקורס "לוגיקה ותורת הקבוצות" בטכניון".
מסמכים חדשים | ||
---|---|---|
כותרת המסמך | מחבר | פרטים נוספים |
![]() סיכום סיכום הקורס "תורת החישוביות" בטכניון (קורס 236343). נושאים: מכונת טיורינג, בעיות הכרעה, בעיות חיפוש, רדוקציות, סיבוכיות קולמוגורוב, חישוב יעיל, בעיות NP שלמות, אלגוריתמי קירוב, מערכות הוכחה, קריפטוגרפיה. הבהרה: זהו סיכום אישי בלבד, ואין הטכניון או הפקולטה למדעי המחשב אחראים לתוכנו של מסמך זה. |
גיא שקד | ![]() מסמך מודפס 10699 הורדות 63 עמודים |
![]() סיכום מחברת סרוקה של הקורס "לוגיקה ותורת הקבוצות למדעי המחשב" בטכניון. ההרצאות הועברו על ידי ד"ר שירלי הלוי. הבהרה: זהו סיכום אישי בלבד, ואין הטכניון או הפקולטה למדעי המחשב אחראים לתוכנו של מסמך זה. הנושאים במסמך: תורת הקבוצות - מושגי יסוד בתורת הקבוצות, בנייה של קבוצות, מידול של זוג סדור, רלציות, יחסי שקילות, פונקציות, הגדרה ובנייה של קבוצות באינדוקציה, עוצמות, קבוצות בנות מנייה, קבוצות שאינן בנות מנייה, משפט קנטור, משפט קנטור-ברנשטיין. תחשיב הפסוקים - סינטקס, סמנטיקה, שלמות מערכות קשרים, צורות נורמליות, מערכת הוכחה לתחשיב הפסוקים, עקביות, עקביות מקסימלית, משפט השלמות, משפט הקומפקטיות, גדירות בתחשיב הפסוקים. תחשיב היחסים - סינטקס, סמנטיקה, גדירות יחסים במבנה, צורות נורמליות, מערכת הוכחה לתחשיב היחסים, גדירות של קבוצות מבנים. |
לא ידוע | ![]() מסמך סרוק 6774 הורדות 98 עמודים |
מסמכים שעודכנו | ||
---|---|---|
כותרת המסמך | מחבר | פרטים נוספים |
![]() ספר אלקטרוני מושגי ייסוד, הקבוצה הריקה, דיאגרמת וון, פעולות על קבוצות, רלציות, פונקציות, קבוצות חזקה, רלציות שקילות, עוצמות, משפט קנטור ברנשטיין, קבוצות אינדוקטיביות |
ניר אדר | ![]() מסמך אונליין 70320 הורדות 95 עמודים |
![]() מדריך תיאור קצר של הפונקציות השונות בפסקל המשמשות לעבודה עם מחרוזות |
ניר אדר | ![]() מסמך אונליין 7338 הורדות 1 עמודים |