מדעי המחשב |
|
| אלגוריתמים בתורת הגרפים | ||
|---|---|---|
| כותרת המסמך | מחבר | פרטים נוספים |
אלגוריתמים בתורת הגרפים - חלק ראשון
סיכום מושגי יסוד, גרף אויילר, סדרות דה ברואין, אלגוריתמים למציאת מסלול קצר ביותר בגרפים, סגור טרנזיטיבי |
ניר אדר |  מסמך מודפס 20120 הורדות 21 עמודים |
אלגוריתמים 1 - דף נוסחאות
דף נוסחאות הצעה לדף נוסחאות בקורס "אלגוריתמים 1" בטכניון. מצורפת גם גרסת Word ניתנת לעריכה. במידה ושיפרתם את הדפים אנא שלחו אותם לצוות האתר על מנת שגם אחרים יוכלו להנות מהשינויים. |
אלמוני | מסמך מודפס 4125 הורדות 2 עמודים |
|
אלגוריתמים בתורת הגרפים - חלק שני
סיכום עצים, עצים מכוונים, עצים פורשי מינימום, למת האינסוף |
ניר אדר | מסמך מודפס 10922 הורדות 13 עמודים |
|
אלגוריתמים בתורת הגרפים - חלק שלישי
סיכום חיפוש לעומק, DFS, Tremaux, רכיבים בלתי פריקים, צמתי הפרדה, רכיבים קשירים היטב |
ניר אדר | מסמך מודפס 11053 הורדות 17 עמודים |
|
אלגוריתמים בתורת הגרפים - חלק רביעי
סיכום זרימה ברשתות, קיבולים, החתך, Ford And Fulkerson Algorithm, האלגוריתם של Dinic, זרימת מקסימום ומינימום, רשתות עם חסמים, בעיית השידוך, משפט Hall. |
ניר אדר | מסמך מודפס 10838 הורדות 17 עמודים |
|
קודים פרפיקסים, עצי מצבים וקוד האפמן
סיכום קודים פרפיקסים, עצי מצבים וקוד האפמן |
ניר אדר | מסמך מודפס 9002 הורדות 6 עמודים |
אלגוריתם הכיווץ של Huffman
מאמר אלגוריתם הכיווץ של Huffman |
גיל כהן | מסמך מודפס 11380 הורדות 11 עמודים |
|
מבוא לתורת הגרפים
סיכום מבוא לתורת הגרפים - הגדרות בסיסיות, משפט אוילר, משפט העצים ונוסחת קיילי. מבוסס על הרצאות הקורס באוניברסיטת תל אביב. |
צחי אבנור | מסמך מודפס 17235 הורדות 7 עמודים |
|
דף נוסחאות בתורת הגרפים
דף נוסחאות דף נוסחאות בתורת הגרפים. הדף נכתב על ידי דב אמיר ומור אטלס. |
דב אמיר ו-מור אטלס | מסמך מודפס 14589 הורדות 1 עמודים |
|
אלגוריתם הכיווץ של הופמן - הגרסה האדפטיבית-דינמית
מאמר אלגוריתם הופמן ניתן למימוש בקלות יחסית לפירות הכיווץ שהוא מניב, והוא בעל פוטנציאל עצום בשילוב עם תוכניות אחרות ומעניק יכולת לשמור מידע בפחות מקום, ועל ידי כך בין השאר להעביר פחות מידע בזרמי נתונים. האלגוריתם המוצג במאמר מציג פתרונות לבעיות שונות בעת הניסיון לשלוח מידע מכווץ בזרמי מידע ולפרש אותו בצד המקבל. המאמר מכיל איורים גראפיים שמקלים מאוד את הבנת הנושא ועוזרים לממש את האלגוריתם ולהבין אותו שלב אחר שלב. |
ישראל אור | מסמך מודפס 4290 הורדות 13 עמודים |
מחברת של הקורס אלגוריתמים 1 בטכניון
מדריך מחברת סרוקה של הקורס "אלגוריתמים 1" בטכניון שהועברו על ידי פרופ' ספי נאור בחורף 2009. המחברת נכתבה על ידי רעות וקסלר, והועלתה לרשת על ידי עומר לוי |
עומר לוי |  מסמך סרוק 4126 הורדות 73 עמודים |
|
סיכום הקורס אלגוריתמים 1
סיכום סיכום הקורס "אלגוריתמים 1" בטכניון (קורס 234247). המסמך מכיל סקירה של מספר אלגוריתמים וחומר תיאורטי. סקירה של האלגוריתמים BFS ו-DFS. אלגוריתמים נוספים מהסוגים: עץ פורש מינימום, מסלולים קלים ביותר, אלגוריתמים חמדניים. תכנון דינמי, זרימה. |
גיא שקד | מסמך מודפס 5585 הורדות 46 עמודים |
| מבני נתונים | ||
|---|---|---|
| כותרת המסמך | מחבר | פרטים נוספים |
|
שיטות מיון וחיפוש - סיכום
סיכום סיכום של שיטות מיון שונות ושל הסיבוכיות שלהן |
טכניון מוסד טכנולוגי לישראל | מסמך מודפס 15802 הורדות 2 עמודים |
|
Asymptotic Notation Summary
סיכום סיכום באנגלית בנושא סיבוכיות |
לא ידוע | מסמך מודפס 8107 הורדות 4 עמודים |
|
רשימת דילוגים
מאמר מסמך המסביר בצורה מעמיקה על רשימת דילוגים רנדומלית ועל רשימת דילוגים דטרמינסטית |
ניר אדר | מסמך מודפס 8475 הורדות 13 עמודים |
מבני נתונים
ספר אלקטרוני מסמך זה סוקר בצורה מעמיקה את נושא מבני הנתונים. בין הנושאים המופיעים במסמך: זמן ריצה של אלגוריתם, מחסנית, תור, מערכים, רשימות מקושרות, עצי חיפוש, עצי AVL, עצי דרגות, רשימת דילוגים, ערימה Union Find, עצים הפוכים, מיונים, ערימה, Trie, עץ סיומות, גרפים ועוד |
ניר אדר | מסמך מודפס |
|
מבני נתונים - טבלאות מסכמות
דף נוסחאות המסמך מכיל טבלאות המציגות את הסיבוכיות של מבני נתונים שונים ושל אלגורתמי מיון שונים, בהם QuickSort, BubbleSort, RadixSort ועוד. |
ניר אדר | מסמך מודפס 18999 הורדות 6 עמודים |
|
מבני נתונים - סיכום
סיכום סיכום הפעולות השונות ויעילותן על מבני נתונים שונים, סיבוכיות, פתרון רקורסיות בשיטות שונות, מעבר על עצים, מיונים ופונקציות ערבול יעילות. |
אלון יעקובי | מסמך מודפס 19736 הורדות 2 עמודים |
| ביטויים רגולריים | ||
|---|---|---|
| כותרת המסמך | מחבר | פרטים נוספים |
|
אוסף ביטויים רגולריים
סיכום אוסף ביטויים רגולריים ממקורות שונים |
לא ידוע | מסמך מודפס 20134 הורדות 43 עמודים |
|
ביטוים רגולריים
מדריך ביטויים רגולריים (Regular Expressions) הם דרך נוחה כדי לתאר תבניות מורכבות בתוך טקסט. ביטויים רגולריים הם כלי רב עוצמה המאפשר לפתור בעיות רבות הקשורות לניתוח מחרוזות במהירות. מסמך זה מיועד לאנשים שאינם מכירים את הנושא, או לאלו הצריכים מדריך מהיר כדי לרענן את ידיעתם |
ניר אדר | מסמך מודפס 9590 הורדות 5 עמודים |
| לוגיקה | ||
|---|---|---|
| כותרת המסמך | מחבר | פרטים נוספים |
|
לוגיקה - סיכום נקודות
סיכום מושגי ייסוד בלוגיקה, תחשיב הפסוקים ותחשיב היחסים |
ניר אדר |  מסמך אונליין 21454 הורדות 25 עמודים |
|
גדירות בתחשיב הפסוקים - תיאוריה והדגמה
סיכום גדירות בתחשיב הפסוקים - תיאוריה והדגמה |
ניר אדר | מסמך מודפס 7487 הורדות 3 עמודים |
|
מבוא למתמטיקה דיסקרטית - לוגיקה מתמטית
סיכום תחשיב הפסוקים ותחשיב היחסים - תיאוריה ודוגמאות |
רוני שוחט | מסמך מודפס 27821 הורדות 14 עמודים |
|
מחברת של הקורס "לוגיקה ותורת הקבוצות" בטכניון
סיכום מחברת סרוקה של הקורס "לוגיקה ותורת הקבוצות למדעי המחשב" בטכניון. ההרצאות הועברו על ידי ד"ר שירלי הלוי. הבהרה: זהו סיכום אישי בלבד, ואין הטכניון או הפקולטה למדעי המחשב אחראים לתוכנו של מסמך זה. הנושאים במסמך: תורת הקבוצות - מושגי יסוד בתורת הקבוצות, בנייה של קבוצות, מידול של זוג סדור, רלציות, יחסי שקילות, פונקציות, הגדרה ובנייה של קבוצות באינדוקציה, עוצמות, קבוצות בנות מנייה, קבוצות שאינן בנות מנייה, משפט קנטור, משפט קנטור-ברנשטיין. תחשיב הפסוקים - סינטקס, סמנטיקה, שלמות מערכות קשרים, צורות נורמליות, מערכת הוכחה לתחשיב הפסוקים, עקביות, עקביות מקסימלית, משפט השלמות, משפט הקומפקטיות, גדירות בתחשיב הפסוקים. תחשיב היחסים - סינטקס, סמנטיקה, גדירות יחסים במבנה, צורות נורמליות, מערכת הוכחה לתחשיב היחסים, גדירות של קבוצות מבנים. |
לא ידוע | מסמך סרוק 6751 הורדות 98 עמודים |
| הנדסת תוכנה | ||
|---|---|---|
| כותרת המסמך | מחבר | פרטים נוספים |
|
תכנון ובדיקת תוכניות - מספר נקודות
סיכום במסמך זה מוצגים מספר רעיונות ועקרונות הנוגעים לנושא - כיצד יש לגשת אל כתיבת התוכניות שלנו, ואילו קריטריונים אנו צריכים לבדוק, על מנת להחליט האם התוכנית שלנו עומדת בדרישות או לא. המסמך עודכן ב-27.07.2010 |
ניר אדר | מסמך אונליין 7585 הורדות 5 עמודים |
|
תכנות מקבילי ומבוזר
סיכום סיכום הקורס "תכנות מקבילי ומבוזר" (236370) בטכניון. המסמך אינו חומר רשמי של הקורס, והוא נכתב ע"י סטודנט. הנושאים במסמך: זמן וירטואלי, גילוי תנאי תחרות, OpenMP, TBB, Shared Memory, BSP, Transactional Memory, Map Reduce, Condor, Cuda, Java Concurrency, Optimistic Design, MPI, DAGMan, linked lists concurrency(locking, lock free, ...) |
דוד ארינזון | מסמך מודפס 9708 הורדות 55 עמודים |
|
מבוא לרשתות מחשבים - סיכום
סיכום סיכום הקורס מבוא לרשתות מחשבים (236334) בטכניון של פרופ' ראובן כהן. המסמך אינו חומר רשמי של הקורס, אלא סיכום אישי בלבד. המקורות לכתיבת המסמך הם ההרצאות והתרגולים בקורס, והזכויות שייכות לפקולטה למדעי המחשב בטכניון ולמוריה. הנושאים במסמך: פרוטוקולים להצפת מידע ברשת (PI,PIF), גילוי ותיקון שגיאות בשכבת הקו (המינג, CRC), מודל השכבות, פרוטוקול Stop & Wait, פרוטוקול Go Back N, פרוטוקול Selective Repeat, תורת התורים (תור MM1, דיאגרמת מצבים, משפט ליטל), Aloha, Slotted Aloha, CSMACA, CSMACD, Reservation Aloha, מפת הביטים, רשתות GSM, docsis, פרוטוקול DCF של תקן ה-Wireless, רשת טבעת, Resilent Packet Ring, Buffer Insertion Ring, חיבור LANs באמצעות גשרים (פרוטוקול לבניית עץ פורש, העברת הודעות באמצעות גשרים, התמודדות עם שינויי טופולוגיה), מבנה האינטרנט, ARP, DHCP, DVR, UDP, TCP. המסמך כולל מספר נוסחאות וטענות שימושיות בפתרון תרגילים. |
בוריס צ'רקסקי | מסמך מודפס 10711 הורדות 22 עמודים |
|
Z notation
סיכום מבוא לשפת המפרט Z. המסמך מראה כיצד מגדירים קבוצות וסדרות ב-Z, ומציג את המבנה של סכימת Z. |
ניר אדר | מסמך מודפס 1856 הורדות 14 עמודים |
|
מערכות קבצים - סיכום החומר
סיכום סיכום חומר הקורס "מערכות קבצים" בטכניון. הבהרה: מסמך זה אינו חומר רשמי של הקורס, אלא סיכום אישי בלבד. המקורות לכתיבת המסמך הם ההרצאות והתרגולים בקורס, והזכויות שמורות לפקולטה למדעי המחשב בטכניון ולמוריה. |
דוד ארינזון ו-אייל מוסקוביץ' | מסמך מודפס 4760 הורדות 27 עמודים |
|
שפת LOTOS
סיכום LOTOS היא שפת מפרט השייכת למשפחת השפות Process Algebra. המסמך מציג סקירה של עיקרי השפה בליווי דוגמאות. |
ניר אדר | מסמך מודפס 1814 הורדות 22 עמודים |
|
מבוא לאימות תוכנה
ספר אלקטרוני הוכחת נכונות של תוכניות ע"י שיטת Floyd ושיטת Hoare. בדיקת מודל: לוגיקות טמפורליות, בדיקת מודל CTL, שימוש ב-BDDs, בדיקת מודל סימבולית ובדיקת מודל חסומה. המסמך עוקב אחר הקורס "מבוא לאימות תוכנה (236342)" בטכניון, אך הוא איננו חומר רשמי שאושר על ידי צוות הקורס, אלא סיכום אישי של ניר אדר. סטודנטים בקורס צריכים לשים לב כי המסמך עלול להכיל טעויות ואי דיוקים. |
ניר אדר | מסמך אונליין 8110 הורדות 120 עמודים |
|
מערכת עובדים ארעיים
ספר אלקטרוני המסמך הינו ספר סיום פרויקט שבוצע על ידי ניר אדר ורותם גרוסמן במעבדה למערכות תוכנה בטכניון. הפרויקט הינו מימוש מערכת לניהול העובדים של הפקולטה להנדסת חשמל. המסמך מציג את התפחות הפרויקט על שלביו השונים: אפיון המערכת, הגדרת הדרישות, תכן, עיצוב ממשק המשתמש ופירוט תוצאות הפרויקט. מסמך זה מוצג כדוגמא לתכנון של פרויקט תוכנה. |
ניר אדר | מסמך מודפס 6212 הורדות 95 עמודים |
|
חומר טכני לראיון עבודה
מאמר 125 שאלות, לרובן פתרון מלא, מראיונות עבודה שונים בהייטק. המסמך כולל בנוסף הסבר כללי על ראיון עבודה והסברים בנושאים: סמלים בתוכנה, פונקציות מחלקה, תכנות מונחה עצמים, ניהול זיכרון, תהליכים וחוטים. |
ברק | מסמך מודפס 109004 הורדות 55 עמודים |
| אוטומטים ושפות פורמליות | ||
|---|---|---|
| כותרת המסמך | מחבר | פרטים נוספים |
|
סיכום נקודות - אוטומטים ושפות פורמליות
סיכום סיכום נקודות של הקורס "אוטומטים ושפות פורמליות" בטכניון. היה בעבר דף הנוסחאות הרשמי, ובשנים האחרונות הטכניון לא מפרסם אותו מסיבה לא ברורה. |
טכניון מוסד טכנולוגי לישראל | מסמך מודפס 10909 הורדות 4 עמודים |
|
פישוט דקדוקים חסרי הקשר
סיכום פישוט דקדוקים חסרי הקשר והפיכתם לדקדוקים פשוטים. מסמך זה מציג אלגוריתם מפורט צעד אחר צעד כיצד יש לבצע את הפישוט. |
טכניון מוסד טכנולוגי לישראל | מסמך מודפס 6543 הורדות 3 עמודים |
|
בעיות בלתי כריעות
מאמר במאמר המבוסס על הקורס "מודלים חישוביים" באוניברסיטת ת"א 2005 מוסבר המושג בעיות בלתי פתירות, ומובאות דוגמאות האנטיוירוס ובעיית הסוכן והנוסע. המאמר מובן מאוד ומעוצב בצורה מסודרת וברורה. מצורפים אליו תרשימים והסברים שיעזרו לכולם להבין את הנושא בקלות ובמהירות יחסית. |
דניאל רוזנבלט | מסמך מודפס 7598 הורדות 15 עמודים |
| שפות תכנות | ||
|---|---|---|
| כותרת המסמך | מחבר | פרטים נוספים |
|
תורת הקומפילציה - סיכום
סיכום סיכום הגדרות שונות בתורת הכומפילציה אשר כולל תרשימים שונים והסברים קצרים על חלקים שונים בתורה. |
אלון יעקובי | מסמך מודפס 4603 הורדות 4 עמודים |
|
תורת הקומפילציה
ספר אלקטרוני מסמך זה בא להציג את עולם הקומפיילרים. שלבי הקומפילציה: ניתוח לקסיקלי, ניתוח תחבירי, ניתוח סמנטי, בניית טבלאות הסמלים, תרגום לשפת ביניים. במסמך מוצגים המנתחים השונים, האלגוריתמים, וכן דוגמאות הממחישות את אופן פעולתם. במסמך ישנו גם פרק המסביר כיצד לעבוד עם lex ו-yacc. המסמך בנוי לפי סדר ההוראה בקורס "תורת הקומפילציה" בטכניון, אך הוא אינו חומר רשמי של הקורס, אלא סיכום אישי בלבד. |
ניר אדר | מסמך מודפס 9260 הורדות 94 עמודים |
| בינה מלאכותית | ||
|---|---|---|
| כותרת המסמך | מחבר | פרטים נוספים |
|
בינה מלאכותית
ספר אלקטרוני מבוא לבינה מלאכותית: פתרון בעיות על ידי חיפוש במרחב מצבים, חיפושים לא מיודעים, חיפושים מיודעים, שימוש ב-BFS וב-DFS, אלגוריתם ASTAR, אלגוריתמים לחיפוש יוריסטי מקומי, משחקים: Minimax, אלגוריתם Alpha-Beta. שימוש בלוגיקה לייצוג ידע - רזולוציה ויוניפיקציה, בעיית הלמידה ואלגוריתם ID3 |
ניר אדר | מסמך אונליין 22269 הורדות 47 עמודים |
|
בינה מלאכותית - מבוא והצגת בעיות כגרפים
מאמר הצגה ראשונית של עולם הבינה המלאכותית, כמו שהוא בימים אלו. הצגת מונחי יסוד, סוכן אינטליגנטרי והצגת בעיות כגרפים. מאמר ראשון מתוך סדרת מאמרים. |
ניר אדר | מסמך מודפס 3287 הורדות 4 עמודים |
|
בינה מלאכותית - חלק שני
מאמר אמר ההמשך למאמר בנושא בינה מלאכותית מהגליון הראשון של המגזין. המאמר מציג שני אלגוריתמים מתורת הגרפים - BFS ו-DFS, ומסביר איך הם משתלבים בעולם הבינה המלאכותית. |
ניר אדר | מסמך מודפס 1877 הורדות 9 עמודים |
|
בינה מלאכותית - חלק שלישי
מאמר המאמר השלישי בסדרת המאמרים בנושא בינה מלאכותית ומערכות לומדות. במאמר זה נראה פתרון אפשרי לחידה אותה השאיר אורי במאמר מבוכים וסריאלים. |
ניר אדר | מסמך מודפס 1949 הורדות 25 עמודים |
| מערכות לומדות | ||
|---|---|---|
| כותרת המסמך | מחבר | פרטים נוספים |
|
שימוש בכלי Weka לצורך בחינת אלגוריתמי למידה
מדריך Weka זהו אוסף של אלגוריתמי למידה, שמטרתו העיקרית היא לשמש כלי למטרות data mining. במסמך נציג את הבסיס של השימוש ב-Weka, ולאחר מכן הסבר איך מוסיפים אלגוריתמי למידה משלנו למערכת, ובודקים אותם. |
ניר אדר | מסמך מודפס 4969 הורדות 11 עמודים |
| תכנות מונחה אספקטים | ||
|---|---|---|
| כותרת המסמך | מחבר | פרטים נוספים |
|
תכנות מונחה אספקטים
מאמר מסמך זה מציג את פרדיגמת התכנות החדשה שעלולה להחליף בשנים הקרובים את התכנות מונחה העצמים. טענתה העיקרית היא שהתעסקות המתכנת צריכה להיות במטרות אליהן הוא שואף להגיע. פרדיגמה זו מנסה לשים מטרות אלו במרכז התכנות. |
ניר אדר | מסמך מודפס 7751 הורדות 10 עמודים |
|
תכנות אדפטיבי דינאמי
מאמר תכנות אדפטיבי דינאמי - הפרדת מטרות על ידי שימוש בתורת הגרפים. מאמר זה מציג את החוק של Demeter ומראה כיצד הוא מוביל אל התכנות האדפטיבי. השיטה מתייחסת לריצת תוכניות כאל טיול על גרף אובייקטים, ומאפשרת לתוכנית להיות עמידה יותר לשינויים מאשר תוכנית מקבילה המתוכנתת בתכנות מונחה עצמים. המסמך מדגים את השימוש בספרייה DJ התומכת בתכנות אדפטיבי דינאמי, וכן מציג את הכלים DemeterJ ו-DAJ |
ניר אדר | מסמך מודפס 4806 הורדות 19 עמודים |
|
תכנות אדפטיבי דינאמי - מצגת
מאמר תכנות אדפטיבי דינאמי - הפרדת מטרות על ידי שימוש בתורת הגרפים. מצגת זו מציגה את החוק של Demeter ומראה כיצד הוא מוביל אל התכנות האדפטיבי. מצגת זו הועברה על ידי בטכניון בנובמבר 2004. |
ניר אדר | מסמך מודפס 5079 הורדות 27 עמודים |
| ניהול זיכרון דינמי | ||
|---|---|---|
| כותרת המסמך | מחבר | פרטים נוספים |
|
אלגוריתמים לניהול זיכרון דינמי – חלק 1
סיכום אלגוריתמים קלאסיים לניהול זיכרון דינמי: Reference Counting, Mark & Sweep, Copying Garbage Collectors, Conservative Collection, Mark-Compact, Incremental Garbage Collection: Baker's Copying Collection, ווריאנט של אלגוריתם Baker |
ניר אדר | מסמך מודפס |
|
אלגוריתמים לניהול זיכרון דינמי – חלק 2
סיכום ביסודם של אלגוריתמים מסוג generational נמצאות ההנחות הבאות על תוכניות: 1. רוב האובייקטים הנוצרים בתוכנית מתים צעירים. 2. אובייקטים שלא מתים צעירים, יש להם פחות סיכוי למות. המטרה של אלגוריתמים מסוג generational היא לבצע איסוף יעיל יותר של זיכרון, על ידי שימוש בהנחות אלו. מסמך זה מסביר על אלגוריתמים אלו, וכן מביא דוגמא לאלגוריתם בשם Train Algorithm. |
ניר אדר | מסמך מודפס |
|
אלגוריתמים לניהול זיכרון דינמי – חלק 3
סיכום שרתים לרוב מכילים מספר מעבדים החולקים זיכרון משותף. שרתים מרובי מעבדים מודרניים מאופיינים לרוב על ידי: רמה גבוהה של מקביליות, Heap בגודל מספר gigabyte ותהליכים שחייבים להיות בעלי response time קצר. נרצה להתאים GC כך שיעבדו באופן היעיל ביותר עבור שרתים כאלו. נציג במסמך זה מספר גישות להתמודדות עם אתגר זה. |
ניר אדר | מסמך מודפס |
| Design Patterns | ||
|---|---|---|
| כותרת המסמך | מחבר | פרטים נוספים |
|
Visitor Design Pattern
מאמר מסמך זה מציג את תבנית התכן Visitor ודוגמא לשימוש בה. מהי תבנית תכן? תבנית תכן היא פיתרון כללי לבעיה, שניתן להתאים אותו לבעיות רבות בתחום התכנות. המושג הומצא לראשונה בהקשר לתחום הבניין, אך כיום, בעקבות ספר שנכתב על ידי ארבעה אנשים המכונים The gang of four, המושג מתייחס בעיקר לפתרונות שונים לבעיות בתחום התוכנה והתכנות מונחה העצמים. Visitor אינה התבנית הפשוטה ביותר, אך בה מסמך זה יעסוק. Visitor מאפשרת לנו להגדיר פעולה שתבוצע על מספר מחלקות, אשר לא בהכרח יש ביניהן קשר. |
ניר אדר | מסמך מודפס 10464 הורדות 7 עמודים |
| תכנות מונחה עצמים | ||
|---|---|---|
| כותרת המסמך | מחבר | פרטים נוספים |
|
תכנות מונחה עצמים
מאמר סיכום החומר בקורס "תכנות מונחה עצמים" בטכניון. מנגנוני אבסטרקציה, עקרונות תכנות מונחה עצמים (אובייקטים): אובייקטים: מצב, התנהגות, זהות. מחלקות, מטא-מחלקות, שורשי מחלקות. טיפוסים, מערכות טיפוסים, סיווגי מערכות טיפוסים. אלגוריתמים עיקריים. השוואות מצב. אספקטים סטטיים ודינמיים של אובייקט. העמסת אופרטורים. מודל השכבות. סיווג שפות לפי כמות רמות של אובייקטים, מחלקות ומטא-מחלקות (והמופעים שלהם). פולימורפיזם. generics. תורשה (inheritance). תאימות (conformance). וריאציות על מושג המחלקה והמתודה. |
דוד ארינזון | מסמך מודפס 12456 הורדות 26 עמודים |
|
תכנות מכוון עצמים - הקונספט
מאמר "מכוון עצמים" הוא מושג שנזרק לעתים קרובות על ידי מתכנתים, אבל לא רק על ידם, "מכוון עצמים" לא קשור רק לתכנות אלא גם לעולם ארגון המידע וניהול מסדי נתונים, מערכות הפעלה וכו'. אנו נתמקד במסמך זה בשטח התכנות. שלושת האלמנטים הבסיסיים עליהם נשענת כל סביבת פיתוח מכוונת עצמים הם מחלקות, הורשה וריבוי צורות. על אלמנטים אלו נרחיב במאמר. |
גיל כהן | מסמך מודפס 11419 הורדות 7 עמודים |
|
תכנות מונחה עצמים
מאמר תכנות מונחה עצמים היא טכניקה של הנדסת תוכנה המספקת כלי הפשטה כגון עצמים, מחלקות והורשה. מטרת מסמך זה היא להכיר לקורא את מנגנוני ההפשטה השונים אותם תכנות מונחה עצמים מספק. בין הנושאים במסמך ניתן למצוא הכרות עם אובייקטים, עם מחלקות, סוגים שונים של הורשה: Strict Inheritance, Overriding. נציג בקיצור גם את נושא ההורשה המרובה. |
ניר אדר | מסמך אונליין 20890 הורדות 53 עמודים |
| תורת החישוביות | ||
|---|---|---|
| כותרת המסמך | מחבר | פרטים נוספים |
|
תורת החישוביות - חלק ראשון
סיכום נושאים שונים בתורת החישוביות. דגש מיוחד על מכונת טיורינג והנושאים הקשורים לה. הנושאים במסמך: בעיות לא פתירות, מכונות טיורינג, שקילות בין מודלים, מכונה אוניברסלית, בעיות הכרעה, רדוקציות וכן נציג גם שפות שאינן כריעות. |
ניר אדר | מסמך אונליין 17309 הורדות 32 עמודים |
|
תורת החישוביות - חלק שני
סיכום סיבוכיות של מכונת טיורינג, מכונת טיורינג אי דטרמיניסטית, המחלקה NP, בעיות חיפוש ורדוקציות פולינומיאליות. |
ניר אדר | מסמך מודפס 9011 הורדות 21 עמודים |
|
תורת החישוביות (חלק א') - טענות והגדרות
דף נוסחאות טענות והגדרות עבור חלק א' של הקורס "תורת החישוביות" (236343) בטכניון. |
אלון יעקובי | מסמך מודפס 4491 הורדות 4 עמודים |
|
תורת החישוביות - סיכום הרצאות אביב 2010
סיכום סיכום הקורס "תורת החישוביות" בטכניון (קורס 236343). נושאים: מכונת טיורינג, בעיות הכרעה, בעיות חיפוש, רדוקציות, סיבוכיות קולמוגורוב, חישוב יעיל, בעיות NP שלמות, אלגוריתמי קירוב, מערכות הוכחה, קריפטוגרפיה. הבהרה: זהו סיכום אישי בלבד, ואין הטכניון או הפקולטה למדעי המחשב אחראים לתוכנו של מסמך זה. |
גיא שקד | מסמך מודפס 10670 הורדות 63 עמודים |
|
תורת הסיבוכיות - סיכום הרצאות ותרגולים
סיכום סיכום ההרצאות והתרגולים בקורס "תורת הסיבוכיות" (236313) בטכניון. נושאי הקורס: היררכיה של סיבוכיות זיכרון וזמן, וקיום פערים, הרחבות של מושג הרדוקציה היעילה, בעיות ספירה, מכונות טיורינג מתחלפות וההיררכיה הפולינומיאלית, מכונות טיורינג עם אורקל (בעלות אוב), סיבוכיות מעגלים בוליאניים וחישובים מקביליים, חישובים המסתייעים בהטלת מטבע, הוכחות אינטראקטיביות |
שיר בן ישראל | מסמך מודפס 6094 הורדות 115 עמודים |
 |
עדכניות המסמכים: נכון לעכשיו לא מוצגים גם מסמכים לא רלוונטיים בעת גלישתך באתר. להצגת כל המסמכים לחץ כאן. |