מדעי המחשב

 


אלגוריתמים בתורת הגרפים
כותרת המסמך מחבר פרטים נוספים
סיכום אלגוריתמים בתורת הגרפים - חלק ראשון
סיכום
מושגי יסוד, גרף אויילר, סדרות דה ברואין, אלגוריתמים למציאת מסלול קצר ביותר בגרפים, סגור טרנזיטיבי
ניר אדרמסמך מודפס
מסמך מודפס
17322 הורדות
21 עמודים
דף נוסחאות אלגוריתמים 1 - דף נוסחאות
דף נוסחאות
הצעה לדף נוסחאות בקורס "אלגוריתמים 1" בטכניון. מצורפת גם גרסת Word ניתנת לעריכה. במידה ושיפרתם את הדפים אנא שלחו אותם לצוות האתר על מנת שגם אחרים יוכלו להנות מהשינויים.
אלמונימסמך מודפס
מסמך מודפס
2668 הורדות
2 עמודים
סיכום אלגוריתמים בתורת הגרפים - חלק שני
סיכום
עצים, עצים מכוונים, עצים פורשי מינימום, למת האינסוף
ניר אדרמסמך מודפס
מסמך מודפס
9512 הורדות
13 עמודים
סיכום אלגוריתמים בתורת הגרפים - חלק שלישי
סיכום
חיפוש לעומק, DFS, Tremaux, רכיבים בלתי פריקים, צמתי הפרדה, רכיבים קשירים היטב
ניר אדרמסמך מודפס
מסמך מודפס
8841 הורדות
17 עמודים
סיכום אלגוריתמים בתורת הגרפים - חלק רביעי
סיכום
זרימה ברשתות, קיבולים, החתך, Ford And Fulkerson Algorithm, האלגוריתם של Dinic, זרימת מקסימום ומינימום, רשתות עם חסמים, בעיית השידוך, משפט Hall.
ניר אדרמסמך מודפס
מסמך מודפס
8514 הורדות
17 עמודים
סיכום קודים פרפיקסים, עצי מצבים וקוד האפמן
סיכום
קודים פרפיקסים, עצי מצבים וקוד האפמן
ניר אדרמסמך מודפס
מסמך מודפס
7325 הורדות
6 עמודים
מאמר אלגוריתם הכיווץ של Huffman
מאמר
אלגוריתם הכיווץ של Huffman
גיל כהןמסמך מודפס
מסמך מודפס
8441 הורדות
11 עמודים
סיכום מבוא לתורת הגרפים
סיכום
מבוא לתורת הגרפים - הגדרות בסיסיות, משפט אוילר, משפט העצים ונוסחת קיילי. מבוסס על הרצאות הקורס באוניברסיטת תל אביב.
צחי אבנורמסמך מודפס
מסמך מודפס
12904 הורדות
7 עמודים
דף נוסחאות דף נוסחאות בתורת הגרפים
דף נוסחאות
דף נוסחאות בתורת הגרפים. הדף נכתב על ידי דב אמיר ומור אטלס.
דב אמיר ו-מור אטלסמסמך מודפס
מסמך מודפס
12149 הורדות
1 עמודים
מאמר אלגוריתם הכיווץ של הופמן - הגרסה האדפטיבית-דינמית
מאמר
אלגוריתם הופמן ניתן למימוש בקלות יחסית לפירות הכיווץ שהוא מניב, והוא בעל פוטנציאל עצום בשילוב עם תוכניות אחרות ומעניק יכולת לשמור מידע בפחות מקום, ועל ידי כך בין השאר להעביר פחות מידע בזרמי נתונים. האלגוריתם המוצג במאמר מציג פתרונות לבעיות שונות בעת הניסיון לשלוח מידע מכווץ בזרמי מידע ולפרש אותו בצד המקבל. המאמר מכיל איורים גראפיים שמקלים מאוד את הבנת הנושא ועוזרים לממש את האלגוריתם ולהבין אותו שלב אחר שלב.
ישראל אורמסמך מודפס
מסמך מודפס
3477 הורדות
13 עמודים
מדריך מחברת של הקורס אלגוריתמים 1 בטכניון
מדריך
מחברת סרוקה של הקורס "אלגוריתמים 1" בטכניון שהועברו על ידי פרופ' ספי נאור בחורף 2009. המחברת נכתבה על ידי רעות וקסלר, והועלתה לרשת על ידי עומר לוי
עומר לוימסמך סרוק
מסמך סרוק
2767 הורדות
73 עמודים
סיכום סיכום הקורס אלגוריתמים 1
סיכום
סיכום הקורס "אלגוריתמים 1" בטכניון (קורס 234247). המסמך מכיל סקירה של מספר אלגוריתמים וחומר תיאורטי. סקירה של האלגוריתמים BFS ו-DFS. אלגוריתמים נוספים מהסוגים: עץ פורש מינימום, מסלולים קלים ביותר, אלגוריתמים חמדניים. תכנון דינמי, זרימה.
גיא שקדמסמך מודפס
מסמך מודפס
3375 הורדות
46 עמודים


מבני נתונים
כותרת המסמך מחבר פרטים נוספים
סיכום שיטות מיון וחיפוש - סיכום
סיכום
סיכום של שיטות מיון שונות ושל הסיבוכיות שלהן
טכניון מוסד טכנולוגי לישראלמסמך מודפס
מסמך מודפס
14064 הורדות
2 עמודים
סיכום Asymptotic Notation Summary
סיכום
סיכום באנגלית בנושא סיבוכיות
לא ידועמסמך מודפס
מסמך מודפס
7329 הורדות
4 עמודים
מאמר רשימת דילוגים
מאמר
מסמך המסביר בצורה מעמיקה על רשימת דילוגים רנדומלית ועל רשימת דילוגים דטרמינסטית
ניר אדרמסמך מודפס
מסמך מודפס
7201 הורדות
13 עמודים
ספר אלקטרוני מבני נתונים
ספר אלקטרוני
מסמך זה סוקר בצורה מעמיקה את נושא מבני הנתונים. בין הנושאים המופיעים במסמך: זמן ריצה של אלגוריתם, מחסנית, תור, מערכים, רשימות מקושרות, עצי חיפוש, עצי AVL, עצי דרגות, רשימת דילוגים, ערימה Union Find, עצים הפוכים, מיונים, ערימה, Trie, עץ סיומות, גרפים ועוד
ניר אדרמסמך מודפס
מסמך מודפס
דף נוסחאות מבני נתונים - טבלאות מסכמות
דף נוסחאות
המסמך מכיל טבלאות המציגות את הסיבוכיות של מבני נתונים שונים ושל אלגורתמי מיון שונים, בהם QuickSort, BubbleSort, RadixSort ועוד.
ניר אדרמסמך מודפס
מסמך מודפס
16155 הורדות
6 עמודים
סיכום מבני נתונים - סיכום
סיכום
סיכום הפעולות השונות ויעילותן על מבני נתונים שונים, סיבוכיות, פתרון רקורסיות בשיטות שונות, מעבר על עצים, מיונים ופונקציות ערבול יעילות.
אלון יעקובימסמך מודפס
מסמך מודפס
10158 הורדות
2 עמודים


ביטויים רגולריים
כותרת המסמך מחבר פרטים נוספים
סיכום אוסף ביטויים רגולריים
סיכום
אוסף ביטויים רגולריים ממקורות שונים
לא ידועמסמך מודפס
מסמך מודפס
14142 הורדות
43 עמודים
מדריך ביטוים רגולריים
מדריך
ביטויים רגולריים (Regular Expressions) הם דרך נוחה כדי לתאר תבניות מורכבות בתוך טקסט. ביטויים רגולריים הם כלי רב עוצמה המאפשר לפתור בעיות רבות הקשורות לניתוח מחרוזות במהירות. מסמך זה מיועד לאנשים שאינם מכירים את הנושא, או לאלו הצריכים מדריך מהיר כדי לרענן את ידיעתם
ניר אדרמסמך מודפס
מסמך מודפס
8329 הורדות
5 עמודים


לוגיקה
כותרת המסמך מחבר פרטים נוספים
סיכום לוגיקה - סיכום נקודות
סיכום
מושגי ייסוד בלוגיקה, תחשיב הפסוקים ותחשיב היחסים
ניר אדרמסמך אונליין
מסמך אונליין
16159 הורדות
25 עמודים
סיכום גדירות בתחשיב הפסוקים - תיאוריה והדגמה
סיכום
גדירות בתחשיב הפסוקים - תיאוריה והדגמה
ניר אדרמסמך מודפס
מסמך מודפס
6348 הורדות
3 עמודים
סיכום מבוא למתמטיקה דיסקרטית - לוגיקה מתמטית
סיכום
תחשיב הפסוקים ותחשיב היחסים - תיאוריה ודוגמאות
רוני שוחטמסמך מודפס
מסמך מודפס
19630 הורדות
14 עמודים
סיכום מחברת של הקורס "לוגיקה ותורת הקבוצות" בטכניון
סיכום
מחברת סרוקה של הקורס "לוגיקה ותורת הקבוצות למדעי המחשב" בטכניון. ההרצאות הועברו על ידי ד"ר שירלי הלוי. הבהרה: זהו סיכום אישי בלבד, ואין הטכניון או הפקולטה למדעי המחשב אחראים לתוכנו של מסמך זה. הנושאים במסמך: תורת הקבוצות - מושגי יסוד בתורת הקבוצות, בנייה של קבוצות, מידול של זוג סדור, רלציות, יחסי שקילות, פונקציות, הגדרה ובנייה של קבוצות באינדוקציה, עוצמות, קבוצות בנות מנייה, קבוצות שאינן בנות מנייה, משפט קנטור, משפט קנטור-ברנשטיין. תחשיב הפסוקים - סינטקס, סמנטיקה, שלמות מערכות קשרים, צורות נורמליות, מערכת הוכחה לתחשיב הפסוקים, עקביות, עקביות מקסימלית, משפט השלמות, משפט הקומפקטיות, גדירות בתחשיב הפסוקים. תחשיב היחסים - סינטקס, סמנטיקה, גדירות יחסים במבנה, צורות נורמליות, מערכת הוכחה לתחשיב היחסים, גדירות של קבוצות מבנים.
לא ידועמסמך סרוק
מסמך סרוק
4504 הורדות
98 עמודים


הנדסת תוכנה
כותרת המסמך מחבר פרטים נוספים
סיכום תכנון ובדיקת תוכניות - מספר נקודות
סיכום
במסמך זה מוצגים מספר רעיונות ועקרונות הנוגעים לנושא - כיצד יש לגשת אל כתיבת התוכניות שלנו, ואילו קריטריונים אנו צריכים לבדוק, על מנת להחליט האם התוכנית שלנו עומדת בדרישות או לא. המסמך עודכן ב-27.07.2010
ניר אדרמסמך אונליין
מסמך אונליין
6668 הורדות
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, ...)
דוד ארינזוןמסמך מודפס
מסמך מודפס
4099 הורדות
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. המסמך כולל מספר נוסחאות וטענות שימושיות בפתרון תרגילים.
בוריס צ'רקסקימסמך מודפס
מסמך מודפס
7343 הורדות
22 עמודים
סיכום Z notation
סיכום
מבוא לשפת המפרט Z. המסמך מראה כיצד מגדירים קבוצות וסדרות ב-Z, ומציג את המבנה של סכימת Z.
ניר אדרמסמך מודפס
מסמך מודפס
1212 הורדות
14 עמודים
סיכום מערכות קבצים - סיכום החומר
סיכום
סיכום חומר הקורס "מערכות קבצים" בטכניון. הבהרה: מסמך זה אינו חומר רשמי של הקורס, אלא סיכום אישי בלבד. המקורות לכתיבת המסמך הם ההרצאות והתרגולים בקורס, והזכויות שמורות לפקולטה למדעי המחשב בטכניון ולמוריה.
דוד ארינזון ו-אייל מוסקוביץ'מסמך מודפס
מסמך מודפס
2977 הורדות
27 עמודים
סיכום שפת LOTOS
סיכום
LOTOS היא שפת מפרט השייכת למשפחת השפות Process Algebra. המסמך מציג סקירה של עיקרי השפה בליווי דוגמאות.
ניר אדרמסמך מודפס
מסמך מודפס
1166 הורדות
22 עמודים
ספר אלקטרוני מבוא לאימות תוכנה
ספר אלקטרוני
הוכחת נכונות של תוכניות ע"י שיטת Floyd ושיטת Hoare. בדיקת מודל: לוגיקות טמפורליות, בדיקת מודל CTL, שימוש ב-BDDs, בדיקת מודל סימבולית ובדיקת מודל חסומה. המסמך עוקב אחר הקורס "מבוא לאימות תוכנה (236342)" בטכניון, אך הוא איננו חומר רשמי שאושר על ידי צוות הקורס, אלא סיכום אישי של ניר אדר. סטודנטים בקורס צריכים לשים לב כי המסמך עלול להכיל טעויות ואי דיוקים.
ניר אדרמסמך אונליין
מסמך אונליין
4545 הורדות
120 עמודים
ספר אלקטרוני מערכת עובדים ארעיים
ספר אלקטרוני
המסמך הינו ספר סיום פרויקט שבוצע על ידי ניר אדר ורותם גרוסמן במעבדה למערכות תוכנה בטכניון. הפרויקט הינו מימוש מערכת לניהול העובדים של הפקולטה להנדסת חשמל. המסמך מציג את התפחות הפרויקט על שלביו השונים: אפיון המערכת, הגדרת הדרישות, תכן, עיצוב ממשק המשתמש ופירוט תוצאות הפרויקט. מסמך זה מוצג כדוגמא לתכנון של פרויקט תוכנה.
ניר אדרמסמך מודפס
מסמך מודפס
5503 הורדות
95 עמודים
מאמר חומר טכני לראיון עבודה
מאמר
125 שאלות, לרובן פתרון מלא, מראיונות עבודה שונים בהייטק. המסמך כולל בנוסף הסבר כללי על ראיון עבודה והסברים בנושאים: סמלים בתוכנה, פונקציות מחלקה, תכנות מונחה עצמים, ניהול זיכרון, תהליכים וחוטים.
ברקמסמך מודפס
מסמך מודפס
53273 הורדות
55 עמודים


אוטומטים ושפות פורמליות
כותרת המסמך מחבר פרטים נוספים
סיכום סיכום נקודות - אוטומטים ושפות פורמליות
סיכום
סיכום נקודות של הקורס "אוטומטים ושפות פורמליות" בטכניון. היה בעבר דף הנוסחאות הרשמי, ובשנים האחרונות הטכניון לא מפרסם אותו מסיבה לא ברורה.
טכניון מוסד טכנולוגי לישראלמסמך מודפס
מסמך מודפס
9615 הורדות
4 עמודים
סיכום פישוט דקדוקים חסרי הקשר
סיכום
פישוט דקדוקים חסרי הקשר והפיכתם לדקדוקים פשוטים. מסמך זה מציג אלגוריתם מפורט צעד אחר צעד כיצד יש לבצע את הפישוט.
טכניון מוסד טכנולוגי לישראלמסמך מודפס
מסמך מודפס
5645 הורדות
3 עמודים
מאמר בעיות בלתי כריעות
מאמר
במאמר המבוסס על הקורס "מודלים חישוביים" באוניברסיטת ת"א 2005 מוסבר המושג בעיות בלתי פתירות, ומובאות דוגמאות האנטיוירוס ובעיית הסוכן והנוסע.
המאמר מובן מאוד ומעוצב בצורה מסודרת וברורה. מצורפים אליו תרשימים והסברים שיעזרו לכולם להבין את הנושא בקלות ובמהירות יחסית.
דניאל רוזנבלטמסמך מודפס
מסמך מודפס
5962 הורדות
15 עמודים


שפות תכנות
כותרת המסמך מחבר פרטים נוספים
סיכום תורת הקומפילציה - סיכום
סיכום
סיכום הגדרות שונות בתורת הכומפילציה אשר כולל תרשימים שונים והסברים קצרים על חלקים שונים בתורה.
אלון יעקובימסמך מודפס
מסמך מודפס
2742 הורדות
4 עמודים
ספר אלקטרוני תורת הקומפילציה
ספר אלקטרוני
מסמך זה בא להציג את עולם הקומפיילרים. שלבי הקומפילציה: ניתוח לקסיקלי, ניתוח תחבירי, ניתוח סמנטי, בניית טבלאות הסמלים, תרגום לשפת ביניים. במסמך מוצגים המנתחים השונים, האלגוריתמים, וכן דוגמאות הממחישות את אופן פעולתם. במסמך ישנו גם פרק המסביר כיצד לעבוד עם lex ו-yacc. המסמך בנוי לפי סדר ההוראה בקורס "תורת הקומפילציה" בטכניון, אך הוא אינו חומר רשמי של הקורס, אלא סיכום אישי בלבד.
ניר אדרמסמך מודפס
מסמך מודפס
5337 הורדות
94 עמודים


בינה מלאכותית
כותרת המסמך מחבר פרטים נוספים
ספר אלקטרוני בינה מלאכותית
ספר אלקטרוני
מבוא לבינה מלאכותית: פתרון בעיות על ידי חיפוש במרחב מצבים, חיפושים לא מיודעים, חיפושים מיודעים, שימוש ב-BFS וב-DFS, אלגוריתם ASTAR, אלגוריתמים לחיפוש יוריסטי מקומי, משחקים: Minimax, אלגוריתם Alpha-Beta. שימוש בלוגיקה לייצוג ידע - רזולוציה ויוניפיקציה, בעיית הלמידה ואלגוריתם ID3
ניר אדרמסמך אונליין
מסמך אונליין
18075 הורדות
47 עמודים
מאמר בינה מלאכותית - מבוא והצגת בעיות כגרפים
מאמר
הצגה ראשונית של עולם הבינה המלאכותית, כמו שהוא בימים אלו. הצגת מונחי יסוד, סוכן אינטליגנטרי והצגת בעיות כגרפים. מאמר ראשון מתוך סדרת מאמרים.
ניר אדרמסמך מודפס
מסמך מודפס
2114 הורדות
4 עמודים
מאמר בינה מלאכותית - חלק שני
מאמר
אמר ההמשך למאמר בנושא בינה מלאכותית מהגליון הראשון של המגזין. המאמר מציג שני אלגוריתמים מתורת הגרפים - BFS ו-DFS, ומסביר איך הם משתלבים בעולם הבינה המלאכותית.
ניר אדרמסמך מודפס
מסמך מודפס
1132 הורדות
9 עמודים
מאמר בינה מלאכותית - חלק שלישי
מאמר
המאמר השלישי בסדרת המאמרים בנושא בינה מלאכותית ומערכות לומדות. במאמר זה נראה פתרון אפשרי לחידה אותה השאיר אורי במאמר מבוכים וסריאלים.
ניר אדרמסמך מודפס
מסמך מודפס
1176 הורדות
25 עמודים


מערכות לומדות
כותרת המסמך מחבר פרטים נוספים
מדריך שימוש בכלי Weka לצורך בחינת אלגוריתמי למידה
מדריך
Weka זהו אוסף של אלגוריתמי למידה, שמטרתו העיקרית היא לשמש כלי למטרות data mining. במסמך נציג את הבסיס של השימוש ב-Weka, ולאחר מכן הסבר איך מוסיפים אלגוריתמי למידה משלנו למערכת, ובודקים אותם.
ניר אדרמסמך מודפס
מסמך מודפס
3527 הורדות
11 עמודים


תכנות מונחה אספקטים
כותרת המסמך מחבר פרטים נוספים
מאמר תכנות מונחה אספקטים
מאמר
מסמך זה מציג את פרדיגמת התכנות החדשה שעלולה להחליף בשנים הקרובים את התכנות מונחה העצמים. טענתה העיקרית היא שהתעסקות המתכנת צריכה להיות במטרות אליהן הוא שואף להגיע. פרדיגמה זו מנסה לשים מטרות אלו במרכז התכנות.
ניר אדרמסמך מודפס
מסמך מודפס
6206 הורדות
10 עמודים
מאמר תכנות אדפטיבי דינאמי
מאמר
תכנות אדפטיבי דינאמי - הפרדת מטרות על ידי שימוש בתורת הגרפים. מאמר זה מציג את החוק של Demeter ומראה כיצד הוא מוביל אל התכנות האדפטיבי. השיטה מתייחסת לריצת תוכניות כאל טיול על גרף אובייקטים, ומאפשרת לתוכנית להיות עמידה יותר לשינויים מאשר תוכנית מקבילה המתוכנתת בתכנות מונחה עצמים. המסמך מדגים את השימוש בספרייה DJ התומכת בתכנות אדפטיבי דינאמי, וכן מציג את הכלים DemeterJ ו-DAJ
ניר אדרמסמך מודפס
מסמך מודפס
4086 הורדות
19 עמודים
מאמר תכנות אדפטיבי דינאמי - מצגת
מאמר
תכנות אדפטיבי דינאמי - הפרדת מטרות על ידי שימוש בתורת הגרפים. מצגת זו מציגה את החוק של Demeter ומראה כיצד הוא מוביל אל התכנות האדפטיבי. מצגת זו הועברה על ידי בטכניון בנובמבר 2004.
ניר אדרמסמך מודפס
מסמך מודפס
4345 הורדות
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 מאפשרת לנו להגדיר פעולה שתבוצע על מספר מחלקות, אשר לא בהכרח יש ביניהן קשר.
ניר אדרמסמך מודפס
מסמך מודפס
9032 הורדות
7 עמודים


תכנות מונחה עצמים
כותרת המסמך מחבר פרטים נוספים
מאמר תכנות מונחה עצמים
מאמר
סיכום החומר בקורס "תכנות מונחה עצמים" בטכניון. מנגנוני אבסטרקציה, עקרונות תכנות מונחה עצמים (אובייקטים): אובייקטים: מצב, התנהגות, זהות. מחלקות, מטא-מחלקות, שורשי מחלקות. טיפוסים, מערכות טיפוסים, סיווגי מערכות טיפוסים. אלגוריתמים עיקריים. השוואות מצב. אספקטים סטטיים ודינמיים של אובייקט. העמסת אופרטורים. מודל השכבות. סיווג שפות לפי כמות רמות של אובייקטים, מחלקות ומטא-מחלקות (והמופעים שלהם). פולימורפיזם. generics. תורשה (inheritance). תאימות (conformance). וריאציות על מושג המחלקה והמתודה.
דוד ארינזוןמסמך מודפס
מסמך מודפס
6195 הורדות
26 עמודים
מאמר תכנות מכוון עצמים - הקונספט
מאמר
"מכוון עצמים" הוא מושג שנזרק לעתים קרובות על ידי מתכנתים, אבל לא רק על ידם, "מכוון עצמים" לא קשור רק לתכנות אלא גם לעולם ארגון המידע וניהול מסדי נתונים, מערכות הפעלה וכו'. אנו נתמקד במסמך זה בשטח התכנות. שלושת האלמנטים הבסיסיים עליהם נשענת כל סביבת פיתוח מכוונת עצמים הם מחלקות, הורשה וריבוי צורות. על אלמנטים אלו נרחיב במאמר.
גיל כהןמסמך מודפס
מסמך מודפס
10262 הורדות
7 עמודים
מאמר תכנות מונחה עצמים
מאמר
תכנות מונחה עצמים היא טכניקה של הנדסת תוכנה המספקת כלי הפשטה כגון עצמים, מחלקות והורשה. מטרת מסמך זה היא להכיר לקורא את מנגנוני ההפשטה השונים אותם תכנות מונחה עצמים מספק. בין הנושאים במסמך ניתן למצוא הכרות עם אובייקטים, עם מחלקות, סוגים שונים של הורשה: Strict Inheritance, Overriding. נציג בקיצור גם את נושא ההורשה המרובה.
ניר אדרמסמך אונליין
מסמך אונליין
16681 הורדות
53 עמודים


תורת החישוביות
כותרת המסמך מחבר פרטים נוספים
סיכום תורת החישוביות - חלק ראשון
סיכום
נושאים שונים בתורת החישוביות. דגש מיוחד על מכונת טיורינג והנושאים הקשורים לה. הנושאים במסמך: בעיות לא פתירות, מכונות טיורינג, שקילות בין מודלים, מכונה אוניברסלית, בעיות הכרעה, רדוקציות וכן נציג גם שפות שאינן כריעות.
ניר אדרמסמך אונליין
מסמך אונליין
13407 הורדות
32 עמודים
סיכום תורת החישוביות - חלק שני
סיכום
סיבוכיות של מכונת טיורינג, מכונת טיורינג אי דטרמיניסטית, המחלקה NP, בעיות חיפוש ורדוקציות פולינומיאליות.
ניר אדרמסמך מודפס
מסמך מודפס
6790 הורדות
21 עמודים
דף נוסחאות תורת החישוביות (חלק א') - טענות והגדרות
דף נוסחאות
טענות והגדרות עבור חלק א' של הקורס "תורת החישוביות" (236343) בטכניון.
אלון יעקובימסמך מודפס
מסמך מודפס
2507 הורדות
4 עמודים
סיכום תורת החישוביות - סיכום הרצאות אביב 2010
סיכום
סיכום הקורס "תורת החישוביות" בטכניון (קורס 236343). נושאים: מכונת טיורינג, בעיות הכרעה, בעיות חיפוש, רדוקציות, סיבוכיות קולמוגורוב, חישוב יעיל, בעיות NP שלמות, אלגוריתמי קירוב, מערכות הוכחה, קריפטוגרפיה. הבהרה: זהו סיכום אישי בלבד, ואין הטכניון או הפקולטה למדעי המחשב אחראים לתוכנו של מסמך זה.
גיא שקדמסמך מודפס
מסמך מודפס
4784 הורדות
63 עמודים
סיכום תורת הסיבוכיות - סיכום הרצאות ותרגולים
סיכום
סיכום ההרצאות והתרגולים בקורס "תורת הסיבוכיות" (236313) בטכניון. נושאי הקורס: היררכיה של סיבוכיות זיכרון וזמן, וקיום פערים, הרחבות של מושג הרדוקציה היעילה, בעיות ספירה, מכונות טיורינג מתחלפות וההיררכיה הפולינומיאלית, מכונות טיורינג עם אורקל (בעלות אוב), סיבוכיות מעגלים בוליאניים וחישובים מקביליים, חישובים המסתייעים בהטלת מטבע, הוכחות אינטראקטיביות
שיר בן ישראלמסמך מודפס
מסמך מודפס
3340 הורדות
115 עמודים




עדכניות המסמכים:
נכון לעכשיו לא מוצגים גם מסמכים לא רלוונטיים בעת גלישתך באתר.
להצגת כל המסמכים לחץ כאן.