Microsoft Word - vaidya.doc

גודל: px
התחל להופיע מהדף:

Download "Microsoft Word - vaidya.doc"

תמליל

1 Preconditioners של וואידיה ברצוננו לפתור Axb כאשר המטריצה A היא מטריצה סימטרית חיובית (כל הערכים העצמיים שלה חיוביים) ודלילה (רוב הערכים בה הם אפס). דרך אחת לפתור מערכת לינארית כזאת היא הדרך הישירה: מציאת L משולשית עבורה,ALL ואח"כ פתרון Lyb ו xy L. אולם דרך זאת אינה תמיד מעשית: גם אם המטריצה A היא דלילה, ייתכן כי הפירוק שלה L הוא מאוד לא דליל, ולכן זמן הפירוק יהיה גדול. כמו כן ייתכן ולא יהיה די מקום בזכרון להכיל את L. לכן נחפש איזשהו קירוב ל L, לו נקרא.preconditioner קירוב כזה יועיל לנו בפתרון איטרטיבי לפתרון משוואות לינאריות. דרך אחת לבנות,preconditioners הוא :incomplete fctoriztion במהלך תהליך הפירוק המשולשי, נזרקים האיברים הקטנים של L, מתוך תקוה שהאיברים הקטנים ב L משפיעים פחות על "מהות", וכך נקבל קירוב טוב. אנחנו נתאר סוג אחר של,preconditioners מסוג.complete fctoriztion of incomplete mtrices אנחנו נבצע פירוק מלא, אבל לא למטריצה A, כי אם למטריצה A מדוללת. נסיר (בצורה סימטרית) איברים מתוך A, ונבצע למטריצה המדוללת הזאת פירוק מלא. בהמשך נתאר את האלגוריתם של,Vidy שהציע איזה איברים להסיר מ A. בהינתן,preconditioner מספר האיטרציות הדרושות להתכנסות האלגוריתם האיטרטיבי, AM f הוא לכל היותר סדר גודל של שורש ה number condition של המטריצה. M ערך זה שווה גם ל number condition של זוג המטריצות A ו M שהוא היחס בין הערכים העצמיים המוכללים של זוג המטריצות A ו M, המוגדר להלן: קבוצת הערכים העצמיים המוכללים של זוג מטריצות מוגדרת להיות:,A. ( קל לראות כי אם M הפיכה, אלו בדיוק הערכים x Ax Mx Bx 0 { } העצמיים של. M.cond( M Ax x Ax Mx AM ) cond( M M. זאת משום ש: A A) cond( A, mx min mx min לכן נחפש M, preconditioner כך שהיחס קטן. mx( A, כדי להעריך את קצב ההתכנסות בהינתן,preconditioner ננסה לחסום את min mx שכן הערכים העצמיים של (M,A) הם mx( A, mx בעזרתו. A) ( M, min אחד חלקי הערכים העצמיים של.(A,M) לכן כל מה שדרוש לנו הוא טכניקה למציאת חסם על ערכים עצמיים של זוג מטריצות. לשם כך נשתמש ב - Lemm הבאה. f הערכים העצמיים.positive-definite מטריצה M תהי :Support Lemm חסומים על ידי σ המוגדר כך:

2 . σ min τ ערך זה מכונה { τm הגדרה: definite} A is positive semi - אם התמיכה של M במטריצה A. (מטריצה מוגדרת להיות positive semi-definite אם הערכים העצמיים שלה אי-שליליים. הגדרה אחרת: מטריצה היא positive semi-definite. τ אז,positive-semidefinite 0 y ( M A) וכן.ε τ מכאן: > 0 y y.( x x Ax 0 f וגם τm A היא הוכחה: נראה כי אם ) M יהי ערך עצמי. כלומר קיים y כך ש:. Ay My לכן נניח בשלילה. > τ נסמן ( τm A) y y [( ε ) M A] y ( M A) y εy My εy My < 0 ( A) y 0. y M הגענו לסתירה., M ובפרט על AM ( ) מסקנה: σ,a M נותן לנו חסם עליון על הערכים העצמיים של הערך העצמי העליון..cond ( A, σ σ מסקנה: A) ( M, Symmetric כלי נוסף בו נעזר לצורך מציאת חסם על ה number,condition הוא ה.Product Support Lemm. V R אזי n p U R בטווח של n k :Symmetric Product Support Lemm תהי.σ ( UU, VV ) min W VW U נשתמש במשפט זה על-ידי הצגת המטריצה A שלנו כ,UU והצגת מטריצת ה preconditioner שלנו כ VV ומציאת W המקיימת:.VWU מכך נסיק.σ ( UU, VV ) W. W mx x. W Wx W. W או W Wx mx x W x W F הגדרה: נורמה של מטריצה: בהמשך ננצל את העובדה ש: וגם Digonlly Dominnt שהן,Stieltes עבור מטריצות preconditioner הציע Vidy (כלומר בכל שורה הערך על האלכסון גדול או שווה מסכום הערכים המוחלטים של האיברים מחוץ לאלכסון), סימטריות וכל האיברים מחוץ לאלכסון אי-חיוביים. נראה כעת כיצד ניתן להציג מטריצות Steitles כ.UU הגדרה: <> edge vector מוגדר להיות הוקטור שכולו אפסים חוץ מבמקומות i ו בהם יש ו - - בהתאמה. <i> vertex vector מוגדר להיות הוקטור שכולו אפסים חוץ מבמקום ה - i בו יש. משפט: מטריצה Seiltes ניתן לפרק ל - UU כאשר העמודות של U הן edge-vectors או vertex vectors מוכפלים בקבועים. הוכחה: נניח תחילה כי סכום האיברים בכל שורה הוא בדיוק 0.

3 במטריצה איברים מחוץ לאלכסון: האיבר ה הוא כמו ב A, כיון שכל מחובר תורם בדיוק לשני, וכל איבר מחוץ ii, A וב, ולשני איברים על האלכסון:, i לאלכסון של A מקבל תרומה ממחובר אחד בלבד. לכן האיברים מחוץ לאלכסון ב - זהים. האיברים על האלכסון מסתכמים כך שסכום האיברים בכל שורה הוא זהים. 0, כמו ב A. לכן האיברים על האלכסון ב A וב - A ( )( ) UU מסקנה: שעמודותיה הם הוקטורים כאשר U היא המטריצה. ה Lemm הבאה מראה מדוע ניתן להפטר מההנחה שסכום האיברים בכל שורה הוא אפס. למה: תהי A מטריצה.Stieltes תהי A המטריצה שבה כל האיברים מחוץ לאלכסון הם כמו אלו של A, אך האיברים על האלכסון הם כאלה שמביאים לסכום אפס בכל שורה. תהי M מטריצה Stieltes עם אותם row-sums כמו של A, ו M המטריצה המתאימה לה. כלומר, τm A אז τ עבור positive semi-definite היא τm ' A' אם. M ' M ( A A') גם היא.positive semi-definite.τm סכום שתי מטריצות A τ ( M ' + A A' ) A ( τm ' A' ) + ( τ )( A A' הוכחה: ).positive semi-definite היא מטריצה positive semi-definite כזכור, ברצוננו להציג את המטריצה A כ - UU ואת M כ - שהנורמה של W, המטריצה שמקיימת U VW היא קטנה. מהי המטריצה W? w i wi ui M w pi.vv ברצוננו לבחור את M כך ( v v K v ) ( ) V n pw p m U p n m. u i p k w ki v כלומר, לכל עמודה של U מתקיים: k טענה: אם A UU מטריצה Stieltes ו - VV M מטריצה שמתארת תת-גרף של A שהוא עץ, אז כל אחת מהעמודות של U נפרש על-ידי העמודות של V. זאת משום שוקטורי הקשת של מסלול מ i ל פורשים את. לכן אם M מתאר איזשהו גרף קשיר, ובפרט עץ, אז הוקטורים ב V פורשים את הוקטורים ב U.

4 Vidy הציע לבנות Preconditioner שהגרף שלו הוא עץ פורש מקסימלי. לעץ פורש G M כבדות G, A הקשתות במסלול המתאים לו ב - מקסימלי יש את התכונה שלכל קשת ב - לפחות כמוהו. לכן, אם M המטריצה של העץ הפורש המינימלי, אז קיימת מטריצה W שמקיימת, W U שהערכים של W כולם קטנים שווים מ בערך מוחלט. mx V n p p m n m ( UU, VV ) W W w mp m( ) σ n F i, ( ) UW V שעבורה W זאת משום שהמטריצה. mx ( M, A) σ VV כמו כן,, UU היא מטריצה שבכל עמודה שלה יש בדיוק ערך אחד השונה מאפס (ערך זה הוא אחד). הנורמה של מטריצה כזאת היא. זמן בניית M הוא.O(mlogn) M מייצג עץ,לכן את M ניתן לפרק ללא התמלאות. הפעלתה בכל איטרציה לוקחת.O(n) אם,mO(n) אז יש O(n) איטרציות שכל אחת מהן לוקחת O(n) זמן. סכ"ה ) O(n זמן. Augmented Vidy Preconditioners היתרון ב Preconditioners,Mximum Spnning ree ולמעשה בכל preconditioner שהגרף שלו הוא עץ, הוא בכך שאין התמלאות בפקטוריזציה של M. כלומר הפירוק יהיה זול, וכן הפעלת ה preconditioner בכל איטרציה. אולם ייתכן שאם נרשה קצת התמלאות, השיפור בקצב ההתכנסות יהיה כזה שיגבר על מחיר הפירוק והגדלת זמן פתרון המערכת Mzr בכל איטרציה. הרעיון: נמצא עץ פורש מקסימלי. נחלק את הגרף ל k חלקים קשירים שמספר הצמתים n בהם בערך. בין כל זוג חלקים, מוסיפים את הקשת הכבדה ביותר בינהם (אם קיימת k קשת). אם,k זהו בדיוק ה preconditioner Mximum spnning tree הרגיל. אם kn מתקבל,MA כי כל הקשתות שהוסרו מוחזרות. ככל שנחלק ליותר חלקים, כך פחות קשתות יוסרו, והקירוב למטריצה A יהיה טוב יותר. כתוצאה מכך יהיו פחות איטרציות עד להתכנסות. מצד שני הפירוק יארך יותר זמן, והזמן של כל איטרציה גם יגדל. אם נחלק לפחות חלקים, הקירוב פחות טוב, מספר האיטרציות יגדל, אך זמן הפירוק יקטן, והזמן של כל איטרציה יקטן. נתון גרף שהדרגה המקסימלית בו, d, חסומה על-ידי קבוע. נתאר איך לייצג כל וקטור קשת ב A G כקומבינציה לינארית של וקטורים ב M G. כל קשת בגרף מנתבים באחת משתי דרכים אם שני קודקודי הקצה שלה באותו חלק, מנתבים דרך העץ. אם קודקודי הקצה בשני חלקים שונים, מנתבים דרך הקשת הכבדה n O. כל קשת פנימית תומכת לכל היותר בכל שנוספה (ודרך העץ). אורך כל מסלול k n O מסלולים. הקשתות שצד אחד שלהן באותו החלק. לכן כל קשת משתתפת ב - k n. W W W mx w mx w O i i k

5 כאמור, ברצוננו לחלק את הגרף לחלקים קשירים שגודלם פחות או יותר זהה. לשם כך נשתמש באלגוריתם לו קראנו.reePrtition reeprtition #comment: s i number of vertices in the subtree rooted t i s i for ech child of i if ( s > n / k +) reeprtition() if ( s n / k) form new subtree rooted t disconnect from i else s s + s i i i. מאותחל בתחילת האלגוריתם למספר הצמתים בתת-העץ ששורשו ב s i טענה: אלגוריתם reeprtition מחלק את תת-העץ ששורשו i לחלקים שגודלם בין n/t ל + t, dn / פרט אולי לחלק ששורשו i שיכול להיות קטן יותר (אך לא גדול יותר). הוכחה: נראה כי העץ מחולק כיאות, וכי כשהאלגוריתם חוזר, s i מכיל את הערך הנכון. נוכיח באינדוקציה על גובה תת-העץ. טענה זו ברורה כאשר i הוא עלה. נניח הגובה של תת העץ של i הוא h, וכי הטענה נכונה לכל.h <h לכל בן של i, אם אם נקרא ל reeprtition() אז על-פי הנחת האינדוקציה כל תתי-העץ שנוצרים בקריאה הם בגודל המתאים וכן s מקבל את הערך של תת-העץ שנשאר ששורשו. אם, s n / t אז גודלו של תת העץ ששורשו חוקי, והוא הופך לחלק בפני עצמו. אחרת הוא קטן מדי ונשאר מחובר ל i וגודלו מחובר ל i s. גודלו של התהליך הוא לכל היותר +.dn/t מש"ל. בסוף s i פירוק של M לוקח ) 6 O(n+k במקרה הכללי, ו ).5 O(n+k אם הגרף של A מישורי. 6 n 4 ( + k O ( (חישוב M הוא זניח). האיזון סך כל זמן החישוב במקרה הכללי הוא (( k n + k בין שלב האיטרציות לזמן הפירוק מתקבל כאשר ) 0.5.kO(n במקרה זה זמן החישוב הכולל הוא ).75.O(n.5 n ( + k O ( והבחירה הטובה סך כל זמן החישוב כאשר A מישורי, הוא ((k n + k log k ביותר עבור k היא ) 0.8.O(n במקרה כזה זמן החישוב הכולל הוא )..O(n

6 Augmented MWB Preconditioners מצאנו preconditioner שמבוסס על עצים עבור מטריצות סימטריות שהערכים מחוץ לאלכסון שלהן שליליים (כלומר הקשתות המתאימות להם חיוביות). מה לגבי מטריצות שהערכים מחוץ לאלכסון שלהן הם מעורבים (חיוביים ושליליים). מטריצות כאלה ניתן לייצג כ,UU כאשר העמודות של U הן edge-vectors (חיוביים או שליליים) המוכפלים בקבוע. i נגדיר וקטור קשת שלילית להיות < >. שימו לב כי : i > <> < כאשר המטריצה A היא "בדיוק",digonlly dominnt אז קל לראות כי את A ניתן להציג כ: A < 0 < 0 + > 0 + > <> < > 0 > < > < כלומר AUU כאשר העמודות של U הן edge vectors חיוביים ושליליים המוכפלים בקבוע. מסתבר שבמקרה זה, יש למצוא בסיס מקסימלי של עמודות U, במקום עץ פורש מקסימלי. נביט על U כעל אוסף של וקטורים. ברצוננו למצוא V תת-קבוצה של U, שעבורה קיימת מטריצה W שמקיימת.UVW אנו רוצים שכל וקטור ב U ניתן יהיה לייצג כקומבינציה לינארית של וקטורי V. כלומר V צריך להיות לפחות בסיס. אנו נבחר את V להיות בסיס מקסימלי בסיס שסכום משקלות הוקטורים בו מקסימלי. מסתבר, שכאשר בגרף של A יש רק קשתות חיוביות, זה שקול למציאת עץ פורש מקסימלי. בהמשך נזכיר כי בחירה זו של בסיס מקסימלי מבטיחה כי כל האיברים ב W קטנים או שווים ל בערכם המוחלט. עבור עץ פורש מקסימלי הראינו שכל קשת e נתמכת על-ידי קשתות שמשקלן גדול לפחות כמו המשקל של e. תכונה זאת נשמרת כאשר בוחרים את V להיות בסיס מקסימלי. u, u, שמשקליהם K, u m בסיס מקסימלי של הוקטורים u, u, K, u l טענה: יהי.αi α k אז β i אזי, אם 0. u k β u + β u + K+ βlul יהי. α, α, K, α m α i < α k וגם 0 i. β נראה כי אם נסיר את u i הוכחה: נניח בשלילה כי עבור i כלשהו מהבסיס ונציב במקומו את u, k נקבל בסיס שמשקלו רב יותר.. ui ( uk βi βu L βi u i βi+ ui+ L βlul ) מכאן שהבסיס החדש פורש גם הוא. כמו כן משקלו גדול יותר מזה של הבסיס המקסימלי. זוהי סתירה.

7 מציאת בסיס מקסימלי היא מקרה פרטי של מציאת קבוצה בלתי-תלוייה מקסימלית במטרואיד. מטרואיד הוא זוג M המקיים את התנאים הבאים: ( S,l) S קבוצה סופית ולא ריקה l היא קבוצה לא ריקה של תתי קבוצות של S, שנקראות תתי-הקבוצות הבלתי תלויות של,S המקיים שאם B l וגם A B אז. A l אם B l, A l וגם, A < B אז קיים איבר x B \ A כך ש: A {} x l קל לראות כי בהנתן S קבוצה של וקטורים, ו - l קבוצה של קבוצות בלתי תלויות של וקטורים ב S, אז M S,l הוא מטרואיד. ( ) נניח לכל איבר ב S יש משקל (במקרה שלנו נצמיד לוקטור שמייצג קשת מ i ל, את הערך ). קיים אלגוריתם גנרי למציאת קבוצה בלתי-תלויה מקסימלית במטרואיד. אלגוריתם זה ממיין את האיברים ב S לפי משקלם, ומוסיף כל אחד מהם, אלא אם כן הוספת האיבר תיצור קבוצה שאינה בלתי תלויה. במקרה שלנו, עלינו להוסיף וקטור-וקטור, אלא אם הוקטור שאנו בודקים תלוי לינארית בוקטורים שכבר בקבוצה שלנו. לשם מציאת בסיס מקסימלי ביעילות עלינו למצוא אלגוריתם יעיל שבודק האם קבוצה של edge-vectors תלויים לינארית. ניעזר בטענה הבאה: טענה: וקטורי הקשתות של גרף בלתי מכוון הם בלתי-תלויים לינארית, אם"ם כל רכיב קשירות לא כולל אף מעגל חיובי וכולל לכל היותר מעגל שלילי אחד. הגדרות: מעגל חיובי מעגל שמספר הקשתות השליליות בו הוא זוגי. מעגל שלילי מעגל שמספר הקשתות השליליות בו הוא אי-זוגי. לכן כל שעלינו לעשות בכל שלב, הוא לבדוק האם הקשת שאנו שוקלים לצרף, סוגרת מעגל חיובי, או סוגרת מעגל שלילי שני. הגדרות: מסלול חיובי מסלול שמספר הקשתות השליליות בו הוא זוגי. מסלול שלילי מסלול שמספר הקשתות השליליות בו הוא אי-זוגי. הזוגיות של מסלול נקבעת על-ידי הזוגיות של מספר הקשתות השליליות במסלול. באופן אינטואיטיבי, קשת שלילית הופכת את הזוגיות של המסלול. מצאנו כי יש בדיוק 5 דרכים שונות לתמוך בקשת (בניגוד לדרך אחת ויחידה שקיימת כאשר כל הקשתות הן חיוביות). בנוסף זה קל להראות, כי המקדמים בקומבינציה הלינארית של וקטורי קשתות לא ממושקלים הם כולם ±,, ±, ± 0. חמש הדרכים הן הבאות:. תמיכה בקשת חיובית באמצעות מסלול חיובי.. תמיכה בקשת שלילית באמצעות מסלול שלילי. 3. תמיכה בקשת חיובית באמצעות רכיב קשירות הכולל מעגל שלילי ומסלול שלילי בין נקודות הקצה של הקשת. 4. תמיכה בקשת שלילית באמצעות רכיב קשירות הכולל מעגל שלילי ומסלול חיובי בין נקודות הקצה של הקשת.

8 5. תמיכה בקשת באמצעות שני רכיבי קשירות הכוללים מעגל שלילי. נסמן בכתום קשתות / מסלולים / מעגלים שליליים, בכחול קשתות / מסלולים חיוביים ובשחור מסלולים בזוגיות כלשהי. השרטוט הבא מתאר את חמש הדרכים לתמוך בקשת: יהי u k (או ( u וקטור ב U שמשקלו w. מה נוכל להגיד על k > < המקדמים של הוקטורים ב V בקומבינציה הלינארית שמייצגת את u? אם נביט בקומבינציה הלינארית של הוקטורים הלא ממושקלים ב V לוקטור,<> הרי טענו כי המקדמים האלו כולם ±,, ±, ± 0, ובפרט כולם קטנים בערכם המוחלט מ. אם נתחשב במשקלים, אז את המקדם של הוקטור ה k ב V נצטרך להכפיל ב - הוא משקל הוקטור ה k). הראינו כבר שכיון ש V בסיס מקסימלי, b k b k (כאשר. מכאן b k שהמקדמים כולם קטנים או שווים מ בערכם המוחלט. כלומר מצאנו W שמקיים,UVW כך שכל הערכים ב W קטנים או שווים בערכם המוחלט מ. mx σ ( UU, VV ) W W w 4mn F i, מצאנו גם דרך להכליל את אלגוריתם הוספת הקשתות של Vidy ל preconditioners המבוססים על בסיס מקסימלי. הרעיון מבוסס על הפעלת reeprtition על כל רכיב קשירות בבסיס (לאחר הסרת קשת במעגל אם קיים מעגל). בין כל זוג חלקים שונים יש להוסיף לכל היותר שני וקטורים כדי להשלים לבסיס.

הטכניון מכון טכנולוגי לישראל אלגוריתמים 1 )443432( סמסטר חורף הפקולטה למדעי המחשב תרגול 9 מסלולים קלים ביותר תרגיל APSP - 1 עד כה דנו באלגור

הטכניון מכון טכנולוגי לישראל אלגוריתמים 1 )443432( סמסטר חורף הפקולטה למדעי המחשב תרגול 9 מסלולים קלים ביותר תרגיל APSP - 1 עד כה דנו באלגור תרגול 9 מסלולים קלים ביותר תרגיל APSP - 1 עד כה דנו באלגוריתמים לפתרון בעית מסלולים קלים מציאת מסלולים קלים ביותר מצומת ביותר ממקור יחיד. כלומר, V לכל צמתי הגרף. בעיה אחרת הקשורה לבעיה זו היא בעית ה-(

קרא עוד

מבנים בדידים וקומבינטוריקה סמסטר אביב תשע"ט מספרי רמזי תרגול 11 הגדרה: (t R = R(s, הוא המספר הטבעי הקטן ביותר כך שבכל צביעה של צלעות הגרף וכחול(, קיים

מבנים בדידים וקומבינטוריקה סמסטר אביב תשעט מספרי רמזי תרגול 11 הגדרה: (t R = R(s, הוא המספר הטבעי הקטן ביותר כך שבכל צביעה של צלעות הגרף וכחול(, קיים מספרי רמזי תרגול 11 הגדרה: (t R = R(s הוא המספר הטבעי הקטן ביותר כך שבכל צביעה של צלעות הגרף וכחול( קיים תת-גרף שלם K s שצבוע בכחול או שקיים תת-גרף שלם K t שצבוע באדום. הגדרה שקולה: עבור גרף עם לפחות (t

קרא עוד

תרגול מס' 7 – חזרה על MST ואלגוריתם Dijkstra

תרגול מס' 7 – חזרה על MST ואלגוריתם Dijkstra תרגול מס' 10 תכנון ליניארי תכנון לינארי הינו כלי שימושי במדעי המחשב. בקורס ראינו כיצד ניתן להציג בעיות שונות במסגרת תכנון לינארי. בנוסף, ראינו שימושים לדואליות של תוכניות לינאריות, אשר מקשרת בין בעיות

קרא עוד

. שאלה 1: ה אי x] T : R 4[ x] R 4[ אופרטור ליניארי מוגדר על-ידי T( ax bx cx d) bx ax cx c )13 נק'( א( מצאו את הערכים העצמיים, המרחבים העצמיים

. שאלה 1: ה אי x] T : R 4[ x] R 4[ אופרטור ליניארי מוגדר על-ידי T( ax bx cx d) bx ax cx c )13 נק'( א( מצאו את הערכים העצמיים, המרחבים העצמיים שאלה : ה אי x] : R4[ x] R4[ אופרטור ליניארי מוגדר על-ידי ( ax bx cx d) bx ax cx c )3 נק'( א( מצאו את הערכים העצמיים המרחבים העצמיים והפולינום המורכב מוקטורים עצמיים של R [ [x האופייני של מצאו בסיס של 4

קרא עוד

Microsoft Word - ExamA_Final_Solution.docx

Microsoft Word - ExamA_Final_Solution.docx סמסטר חורף תשע"א 18 בפבואר 011 הטכניון מכון טכנולוגי לישראל הפקולטה למדעי המחשב מרצה: מתרגלים: רן אל-יניב נועה אלגרבלי, גיא חפץ, נטליה זילברשטיין, דודו ינאי (אחראי) סמסטר חורף תשע" מבחן סופי פתרון (מועד

קרא עוד

áñéñ åîéîã (ñéåí)

áñéñ åîéîã (ñéåí) מתו% 5 בסיס ומימד סיום) במסגרת הוכחת משפט של בסיסי לכל שני בסיסי של אותו מ"ו יש אותו מספר איברי ), הוכחנו בעצ יותר: משפט: א V מ"ו נוצר סופית, A V קבוצה בת"ל, B V קבוצה פורשת אז. A B הערה: מרחב וקטורי הוא

קרא עוד

Microsoft Word - tutorial Dynamic Programming _Jun_-05.doc

Microsoft Word - tutorial Dynamic Programming _Jun_-05.doc הטכניון מכון טכנולוגי לישראל אלגוריתמים (3447) סמסטר חורף 006/007 הפקולטה למדעי המחשב תכנון דינאמי תרגיל תת מחרוזת משותפת ארוכה ביותר תת-מחרוזת z k שקיימת סדרה עולה ממש,... z = z של מחרוזת נתונה x m,...,,

קרא עוד

MathType Commands 6 for Word

MathType Commands 6 for Word 0 אלגברה לינארית גיא סלומון סטודנטים יקרים ספר תרגילים זה הינו פרי שנות ניסיון רבות של המחבר בהוראת מתמטיקה באוניברסיטת תל אביב, באוניברסיטה הפתוחה, במכללת שנקר ועוד שאלות תלמידים וטעויות נפוצות וחוזרות

קרא עוד

Algorithms Tirgul 1

Algorithms Tirgul 1 - מעגלי אוילר ומסלולי אוילר תרגול 1 חידה: האם אפשר לצייר את הציורים הבאים בלי להרים את העיפרון מהנייר? 1 קצת אדמיניסטרציה אופיר פרידלר ophir.friedler@gmail.com אילן כהן - ilanrcohen@gmail.com שעות קבלה

קרא עוד

תכנון אלגוריתמים, אביב 1021, תרגול מס' 4 תכנון דינאמי תכנון דינאמי בתרגול זה נדון בבעיית הכפלת סדרת מטריצות (16.1.(CLR ראשית נראה דוגמא: דוגמא: תהינה

תכנון אלגוריתמים, אביב 1021, תרגול מס' 4 תכנון דינאמי תכנון דינאמי בתרגול זה נדון בבעיית הכפלת סדרת מטריצות (16.1.(CLR ראשית נראה דוגמא: דוגמא: תהינה תכנון דינאמי בתרגול זה נדון בבעיית הכפלת סדרת מטריצות (6..(CLR ראשית נראה דוגמא: דוגמא: תהינה ארבע מטריצות:. A, A, A, A נסמן את גודל המטריצות בסדרה ע"י סדרת גדלים כאשר, p 5 5 p היא בגודל A {,,,5,}, P כלומר

קרא עוד

תכנון אלגוריתמים עבודת בית 4: תכנון אלגוריתמים תאריך הגשה: 02: , בצהריים,תא מספר 66 בקומת כניסה של בניין 003 מתרגל אחראי: אורי 0

תכנון אלגוריתמים עבודת בית 4: תכנון אלגוריתמים תאריך הגשה: 02: , בצהריים,תא מספר 66 בקומת כניסה של בניין 003 מתרגל אחראי: אורי 0 22 עבודת בית 4: תכנון אלגוריתמים תאריך הגשה: 2: 622, בצהריים,תא מספר 66 בקומת כניסה של בניין 3 מתרגל אחראי: אורי הוראות כלליות: כל עוד לא נאמר אחרת, כאשר הנכם מתבקשים לתאר אלגוריתם יש לספק את הבאות: תיאור

קרא עוד

תכנות דינמי פרק 6, סעיפים 1-6, ב- Kleinberg/Tardos סכום חלקי מרחק עריכה הרעיון: במקום להרחיב פתרון חלקי יחיד בכל צעד, נרחיב כמה פתרונות אפשריים וניקח

תכנות דינמי פרק 6, סעיפים 1-6, ב- Kleinberg/Tardos סכום חלקי מרחק עריכה הרעיון: במקום להרחיב פתרון חלקי יחיד בכל צעד, נרחיב כמה פתרונות אפשריים וניקח תכנות דינמי פרק 6, סעיפים -6, ב- Kleinberg/Tardos סכום חלקי מרחק עריכה הרעיון: במקום להרחיב פתרון חלקי יחיד בכל צעד, נרחיב כמה פתרונות אפשריים וניקח בסוף את הטוב ביותר. סכום חלקי sum) (subset הקלט: סדרה

קרא עוד

מועד: א בחינה סופית במתמטיקה דיסקרטית משך הבחינה: 2 1 שעות מרצה: פרופ' תאופיק מנסור תאריך: סמסטר: א תשע"ח m 2 הוראות לנבחן: )1( הבחינה מו

מועד: א בחינה סופית במתמטיקה דיסקרטית משך הבחינה: 2 1 שעות מרצה: פרופ' תאופיק מנסור תאריך: סמסטר: א תשעח m 2 הוראות לנבחן: )1( הבחינה מו מועד: א בחינה סופית במתמטיקה דיסקרטית משך הבחינה: 2 1 שעות מרצה: פרופ' תאופיק מנסור תאריך: 26.01.2018 2 סמסטר: א תשע"ח m 2 הוראות לנבחן: )1( הבחינה מורכבת מ- 6 שאלות. כל שאלה מזכה ב- 20 נקודות כך הנקודות

קרא עוד

Microsoft Word - SDAROT 806 PITRONOT.doc

Microsoft Word - SDAROT 806 PITRONOT.doc 5 יח"ל - תרגילים הכנה לבגרות תרגיל 8 נסמן ב- את האיבר הראשון ונסמן ב- את מנת הסדרה. על פי הנתון מתקיים: 6 ( S6 89 89 0 5 0 5 S0 S5 ( 0 5 0 t t 0 6 (. לפיכך, 89 5 נסמן t ונקבל: 5 t או או או 5 t נפסול את

קרא עוד

תורת החישוביות תרגול הכנה לוגיקה ותורת הקבוצות מה יש כאן? בקורס תורת החישוביות נניח ידע בסיסי בתורת הקבוצות ובלוגיקה, והכרות עם מושגים בסיסיים כמו א"ב

תורת החישוביות תרגול הכנה לוגיקה ותורת הקבוצות מה יש כאן? בקורס תורת החישוביות נניח ידע בסיסי בתורת הקבוצות ובלוגיקה, והכרות עם מושגים בסיסיים כמו אב תורת החישוביות תרגול הכנה לוגיקה ותורת הקבוצות מה יש כאן? בקורס תורת החישוביות נניח ידע בסיסי בתורת הקבוצות ובלוגיקה, והכרות עם מושגים בסיסיים כמו א"ב, מילה ושפה לטובת מי ששכח חומר זה, או שלא למדו מעולם,

קרא עוד

פקולטה: מחלקה: שם הקורס: קוד הקורס: מדעי הטבע מדעי המחשב ומתמטיקה מתמטיקה בדידה תאריך בחינה: _ 07/07/2015 משך הבחינה: 3 שעות סמ' _ב' מועד

פקולטה: מחלקה: שם הקורס: קוד הקורס: מדעי הטבע מדעי המחשב ומתמטיקה מתמטיקה בדידה תאריך בחינה: _ 07/07/2015 משך הבחינה: 3 שעות סמ' _ב' מועד פקולטה: מחלקה: שם הקורס: קוד הקורס: מדעי הטבע מדעי המחשב ומתמטיקה מתמטיקה בדידה 2-7012610-3 תאריך בחינה: _ 07/07/2015 משך הבחינה: 3 שעות סמ' _ב' מועד ב' שם המרצה: ערן עמרי, ענת פסקין-צ'רניאבסקי חומר עזר:

קרא עוד

חשבון אינפיניטסימלי מתקדם 1

חשבון אינפיניטסימלי מתקדם 1 חשבון אינפיניטסימלי מתקדם הסיכומים של דינה מבוסס על הרצאות ותרגולים מאת: פרופ' רז קופרמן מר אורי שפירא ירושלים 007 תוכן עניינים מרחבים מטריים 3 נספח א' נספח ב' הגדרות ודוגמאות 3 קבוצות מיוחדות במרחב מטרי

קרא עוד

מבוא לאנליזה נומרית na191 Assignment 2 solution - Finding Roots of Nonlinear Equations y cos(x) שאלה 1 היכן נחתכים הגרפים של? y x 3 1 ושל ממש פתרונות

מבוא לאנליזה נומרית na191 Assignment 2 solution - Finding Roots of Nonlinear Equations y cos(x) שאלה 1 היכן נחתכים הגרפים של? y x 3 1 ושל ממש פתרונות מבוא לאנליזה נומרית na191 Assignmnt 2 solution - Finding Roots of Nonlinar Equations y cos() שאלה 1 היכן נחתכים הגרפים של? y 3 1 ושל ממש פתרונות בעזרת שיטת החצייה ובעזרת Rgula Falsi )אין צורך לפתור אנליטית(

קרא עוד

פתרון וחקירת מערכות של משוואות לינאריות שאלות: 1( מצא אילו מהמערכות הבאות הן מערכות שקולות: 2x+ y= 4 x+ y= 3 x y = 0 2x+ y = 3 x+ 10y= 11 א. 2x 2y= 0

פתרון וחקירת מערכות של משוואות לינאריות שאלות: 1( מצא אילו מהמערכות הבאות הן מערכות שקולות: 2x+ y= 4 x+ y= 3 x y = 0 2x+ y = 3 x+ 10y= 11 א. 2x 2y= 0 פתרון וחקירת מערכות של משוואות לינאריות שאלות: 1( מצא אילו מהמערכות הבאות הן מערכות שקולות: x+ y= x+ y= 3 x y = 0 x+ y = 3 x+ 10y= 11 x y= 0 x y= 7 x y= 1 ד x = 3 x+ y = z+ t = 8 רשום את המטריצות המתאימות

קרא עוד

מטלת מנחה (ממ"ן) 11 הקורס: חשבון אינפיניטסימלי II חומר הלימוד למטלה: יחידות 2,1 4 מספר השאלות: 7 משקל המטלה: נקודות סמסטר: ב 2007 מו

מטלת מנחה (ממן) 11 הקורס: חשבון אינפיניטסימלי II חומר הלימוד למטלה: יחידות 2,1 4 מספר השאלות: 7 משקל המטלה: נקודות סמסטר: ב 2007 מו מטלת מנחה (ממ"ן) הקורס: - חשבון אינפיניטסימלי II חומר הלימוד למטלה: יחידות, 4 מספר השאלות: 7 משקל המטלה: נקודות 337 סמסטר: ב 7 מועד אחרון להגשה: אנא שים לב: מלא בדייקנות את הטופס המלווה לממ"ן בהתאם לדוגמה

קרא עוד

Microsoft Word - solutions.doc

Microsoft Word - solutions.doc תחרות גיליס 009-00 הרי פוטר הגיע לחנות הדובשנרייה בהוגסמיד. הוא מגלה, שהכסף שלו מספיק בדיוק ל- סוכריות קוסמים ול- 5 קרפדות שוקולד, או בדיוק ל- 0 קרפדות שוקולד ול- 0 נשיקות מנטה, או בדיוק ל- 45 נשיקות מנטה

קרא עוד

Microsoft Word - Sol_Moedb10-1-2,4

Microsoft Word - Sol_Moedb10-1-2,4 הפקולטה למתמטיקה - הטכניון חיפה מד''ח - 48 חורף תשע''א - בחינה סופית מועד ב' שאלה : תהי נתונה המד"ח הבאה: u + uu = y א. מצא את העקומים האופייניים של משוואה זו בצורה פרמטרית. ב. פתור את המד"ח הנתונה לעיל

קרא עוד

תרגיל 9 מבוא ללוגיקה ותורת הקבוצות, סתיו תשע"ד 1. תהי L השפה בעלת סימן פונקצייה דו מקומי G, סימן פונקציה חד מקומי T, סימן יחס תלת מקומי.c, d וקבועים L

תרגיל 9 מבוא ללוגיקה ותורת הקבוצות, סתיו תשעד 1. תהי L השפה בעלת סימן פונקצייה דו מקומי G, סימן פונקציה חד מקומי T, סימן יחס תלת מקומי.c, d וקבועים L תרגיל 9 מבוא ללוגיקה ותורת הקבוצות, סתיו תשע"ד 1. תהי L השפה בעלת סימן פונקצייה דו מקומי G, סימן פונקציה חד מקומי T, סימן יחס תלת מקומי.c, d וקבועים L, K סימני יחס חד מקומיים,R לכל אחד מהביטויים הבאים,

קרא עוד

<4D F736F F D20F4FAF8E5EF20EEE5F2E320E020F1EEF1E8F820E120FAF9F2E3>

<4D F736F F D20F4FAF8E5EF20EEE5F2E320E020F1EEF1E8F820E120FAF9F2E3> האקדמית תל אביב-יפו מבוא ללוגיקה ותורת הקבוצות מועד א' סמסטר ב' תשע"ד הפתרון לא נכתב על ידי גורם רשמי ובהחלט יכול להיות שנפלו טעויות פה ושם עשיתי כמיטב יכולתי אבל תשימו לב ותפעילו שיקול דעת אשמח לשמוע

קרא עוד

Tutorial 11

Tutorial 11 מבוא לשפת C תרגול 8: מערכים רב-ממדיים תרגילים בנושא מערכים ורקורסיה מבוסס על השקפים שחוברו ע"י שי ארצי, גיתית רוקנשטיין, איתן אביאור וסאהר אסמיר עבור הקורס "מבוא למדעי המחשב" נכתב ע"י טל כהן, עודכן ע"י

קרא עוד

עב 001 ינואר 12 מועד חורף פתרונות עפר

עב 001 ינואר 12 מועד חורף פתרונות עפר ק( נסמן ב- את מהירות המשאית שיצאה מעיר A (קמ"ש, קבועה) בגרות עב ינואר מועד חורף שאלון 35 נסמן ב- y את מהירות המכונית שיצאה מעיר B (קמ"ש, קבועה) B A נסמן ב- s את המרחק מעיר לעיר "מ) s v עד מפגש ראשון משאית

קרא עוד

Microsoft Word - עבודת פסח לכיתה י 5 יחל.doc

Microsoft Word - עבודת פסח לכיתה י 5 יחל.doc עבודת פסח במתמטיקה לכיתה י' (5 יחידות) תרגילים שבעבודה על החומר שנלמד בכיתה ומיועדים לחזרה יש לעשות לא פחות מ- תרגילים מכל פרק אלגברה פתור את מערכת המשוואות הבאות: y x 1 y y 1 x y m x 1 x עבור אילו ערכים

קרא עוד

! 1! משוואות מסדר ראשו! (הפרדת משתני*, הומוגנית, לינארית) xyy = 1 x y xy 2 = 2xy 2 מצא את הפתרו' הכללי: x y y = 3 א) y ג) ב) ד) y tan x = y (1 ( x+ y

! 1! משוואות מסדר ראשו! (הפרדת משתני*, הומוגנית, לינארית) xyy = 1 x y xy 2 = 2xy 2 מצא את הפתרו' הכללי: x y y = 3 א) y ג) ב) ד) y tan x = y (1 ( x+ y !! משוואות מסדר ראשו! (הפרדת משתני*, הומוגנית, לינארית) tan ( a a z 0 a z s ds dt (רמז: cos d d ז) d ( ) d ( ) ח) ) מצא את הפתרונות המקיימי :. () 0 ( ). (). () 0 d ( ) d ( ) π. sin ln ) tan cos d cos d

קרא עוד

שעור 6

שעור 6 שעור 6 Open addressing אין רשימות מקושרות. (נניח שהאלמנטים מאוחסנים בטבלה עצמה, לחילופין קיים מצביע בהכנסה המתאימה לאלמנט אם אין שרשור). ב- addressing open הטבלה עלולה להימלא ב- factor α load תמיד. במקום

קרא עוד

מתמטיקה של מערכות

מתמטיקה של מערכות מתמטיקה של מערכות פתרון לתרגיל נגזור את שני האגפים לפי ונקבל : ) ולכן נתון ש- אז א ) e e נתון ש- א ) נגזור את שני האגפים לפי ונקבל: e, ולכן ) e e e ונקבל: נחלק את שני האגפים ב- נתון ש- ו- וגם ש- פונקציות

קרא עוד

Microsoft Word - hedva 806-pitronot-2011.doc

Microsoft Word - hedva 806-pitronot-2011.doc ו- ( ( השייכים לתחום ההגדרה שאלה פתרון: א. לפי ההגדרה, f היא פונקציה זוגית, אם לכל ( ) שלה, מתקיים. f f נציב את במקום בפונקציה הנתונה ונקבל: ( ) ( ) ( ) + + + + ( ) f f f כלומר, הפונקציה היא זוגית. על

קרא עוד

Microsoft Word - 01 difernziali razionalit

Microsoft Word - 01 difernziali razionalit פונקציות רציונליות 5 יחידות מתוך הספר 806 כרך ד' 0, כל הזכויות שמורות ל ואריק דז'לדטי חל איסור מוחלט לתרגם, להעתיק או לשכפל חוברת זו או קטעים ממנה, בשום צורה ובשום אמצעי אלקטרוני, אופטי או מכני (לרבות

קרא עוד

אלגברה ליניארית תאוריה ותרגילים פרופ' שלמה הבלין, אוניברסיטת בר אילן ד"ר יפית מעין, מרכז אקדמי לב

אלגברה ליניארית תאוריה ותרגילים פרופ' שלמה הבלין, אוניברסיטת בר אילן דר יפית מעין, מרכז אקדמי לב אלגברה ליניארית תאוריה ותרגילים פרופ' שלמה הבלין, אוניברסיטת בר אילן ד"ר יפית מעין, מרכז אקדמי לב 1 א. תכונות וקטורים תוכן עניינים 1 1 1 2 2 2 3 3 4 4 5 5 5 6 7 8 9 9 10 10 11 11 12 12 וקטור שוויון וקטורים

קרא עוד

Microsoft Word - Questions Booklet Spring 2009

Microsoft Word - Questions Booklet Spring 2009 אלגוריתמים 1 חוברת תרגילים נא לשלוח כל הערה לגיל כהן במייל cohen@cs.technion.ac.il מפתח שאלות לפי נושאים 1, 45, 54, 55, 56, 76 5, 63 :BFS :DFS מיון טופולוגי: 17, 31, 32, 57, 67, 68 2, 25, 26, 28, 50 21,

קרא עוד

אנליזה מתקדמת

אנליזה מתקדמת א) א) ג) -- אוניברסיטת בן- מדור בחינות מס' גוריון בנגב תאריך הבחינה: 7/0/00 שם המרצים: פונף, בסר, טקצ'נקו, ליידרמן חדו"א א בחינה ב: 0--00 מס' הקורס: מתמטיקה,מדעי המחשב, הנדסת תכנה מיועד לתלמידי: א' מועד:

קרא עוד

שאלה 2. תכנות ב - CShell

שאלה 2. תכנות ב - CShell ביה"ס למדעי המחשב 4.2.2018 האקדמית נתניה מבחן מועד א' יסודות מערכות פתוחות סמסטר חורף, תשע"ח משך המבחן: שלוש וחצי שעות. יש לענות על כל השאלות. מותר השימוש בחומר עזר כלשהו, פרט למחשבים, (מחשבונים מותר).

קרא עוד

67865 כלים מתמטיים 7 בינואר 2014 מרצה: מיכאל בן אור מתרגל: צור לוריא איני לוקחת אחריות על מה שכתוב כאן, so tread lightly אין המרצה קשור לסיכום זה בשום

67865 כלים מתמטיים 7 בינואר 2014 מרצה: מיכאל בן אור מתרגל: צור לוריא איני לוקחת אחריות על מה שכתוב כאן, so tread lightly אין המרצה קשור לסיכום זה בשום 67865 כלים מתמטיים 7 בינואר 2014 מרצה: מיכאל בן אור מתרגל: צור לוריא איני לוקחת אחריות על מה שכתוב כאן, so tread lightly אין המרצה קשור לסיכום זה בשום דרך הערות יתקבלו בברכה nogarotman@gmailcom אהבתם?

קרא עוד

תאריך פרסום: תאריך הגשה: מבנה נתונים תרגיל 5 )תיאורטי( מרצה ומתרגל אחראים: צחי רוזן, דינה סבטליצקי נהלי הגשת עבודה: -את העבודה יש לה

תאריך פרסום: תאריך הגשה: מבנה נתונים תרגיל 5 )תיאורטי( מרצה ומתרגל אחראים: צחי רוזן, דינה סבטליצקי נהלי הגשת עבודה: -את העבודה יש לה תאריך פרסום: 01.01.15 תאריך הגשה: 15.01.15 מבנה נתונים תרגיל 5 )תיאורטי( מרצה ומתרגל אחראים: צחי רוזן, דינה סבטליצקי נהלי הגשת עבודה: -את העבודה יש להגיש בזוגות. -העבודה חייבת להיות מוקלדת. -הקובץ חייב

קרא עוד

מספר זהות: סמסטר ב' מועד א' תאריך: 11102/4// שעה: 9:22 משך הבחינה: 3 שעות חומר עזר: אין מותר השימוש במחשבון פשוט בחינה בקורס: מבני נתונים מרצה: הדר בי

מספר זהות: סמסטר ב' מועד א' תאריך: 11102/4// שעה: 9:22 משך הבחינה: 3 שעות חומר עזר: אין מותר השימוש במחשבון פשוט בחינה בקורס: מבני נתונים מרצה: הדר בי מספר זהות: סמסטר ב' מועד א' תאריך: 11102/4// שעה: 9:22 משך הבחינה: 3 שעות חומר עזר: אין מותר השימוש במחשבון פשוט בחינה בקורס: מבני נתונים מרצה: הדר בינסקי הנחיות: יש לענות על כל השאלות. יש לענות על כל

קרא עוד

מצגת של PowerPoint

מצגת של PowerPoint שלום לתלמידי י"א חמש יחידות מתמטיקה גיל קרסיק מורה למתמטיקה בשעה וחצי הקרובות נדבר על שאלון 806 סדרות הנדסיות וחשבוניות ארבעה תרגילים שהיו בבחינות בגרות ארבעה טיפים )טיפ אחד אחרי כל תרגיל שנפתור הערב(

קרא עוד

Microsoft Word - 28

Microsoft Word - 28 8-6-7-8 - פתרון מבחן מס' 8 (ספר לימוד שאלון 87) y M (, ) y מרכז המעגל החוסם את המשולש נמצא בנקודת חיתוך האנכים האמצעיים y y לצלעות המשולש: y M _, y y R M ( M) ( M) () R M y m 9 9 69 9 9 9 9 (ב) משוואת

קרא עוד

בגרות עז יולי 17 מועד קיץ ב שאלון ,000 א. ניתוח הנתונים מחירה של ספה הוא שקלים, והיא התייקרה ב-. 25% כאשר המחיר מתייקר ב- המחיר החדש הוא פי,

בגרות עז יולי 17 מועד קיץ ב שאלון ,000 א. ניתוח הנתונים מחירה של ספה הוא שקלים, והיא התייקרה ב-. 25% כאשר המחיר מתייקר ב- המחיר החדש הוא פי, ,000 א ניתוח הנתונים מחירה של ספה הוא שקלים, והיא התייקרה ב- 5% כאשר המחיר מתייקר ב- המחיר החדש הוא פי, 5% לכן, המחיר החדש הוא: 5,000 00 5 5 00 שקלים ממחירו הקודם 0005 תשובה: מחיר הספה לאחר ההתייקרות הוא

קרא עוד

פתרונות לדף מס' 5

פתרונות לדף מס' 5 X הוכיחו כי קבוצה X סגורה אמ"מ פתוחה P נקודה כלשהי עלינו למצוא כך ש- X P X פתרון: תהא X קבוצה סגורה ניקח נניח בשלילה כי לא קיים כזה, ז"א לכל קיימת כך ש- X מכיוון ש- P P נסיק כי d P, P סגורה מתקיים P B

קרא עוד

Microsoft Word - ex04ans.docx

Microsoft Word - ex04ans.docx 1 אריאל סטולרמן סטטיסטיקה / תרגיל #4 קבוצה 03 Φ2. ההתפלגות הנורמלית (1) Φ2.2. Φ2.22. Φ1.5 1Φ1.5. Φ0. Φ5 1Φ5 1Φ4.417. Φ 1Φ 1Φ4.417. נתון: ~ 0,1 ( a )להלן חישוב ההסתברויות: 2.22 1.55 Φ1.55 Φ2.22 Φ1.55 1Φ2.22

קרא עוד

PRESENTATION NAME

PRESENTATION  NAME נכתב ע"י כרמי גרושקו. כל הזכויות שמורות 2010 הטכניון, מכון טכנולוגי לישראל הקצאה דינמית )malloc( מערכים דו-מימדיים סיבוכיות: ניתוח כזכור, כדי לאחסן מידע עלינו לבקש זכרון ממערכת ההפעלה. 2 עד עכשיו: הגדרנו

קרא עוד

שיטות הסתברותיות ואלגוריתמים חוברת התרגילים 25 באוקטובר 2015 חוברת זו מכילה תרגילים נבחרים מהיסטוריית הקורס ופתרונם. בשעות האימון יוצג מבחר מהתרגילים

שיטות הסתברותיות ואלגוריתמים חוברת התרגילים 25 באוקטובר 2015 חוברת זו מכילה תרגילים נבחרים מהיסטוריית הקורס ופתרונם. בשעות האימון יוצג מבחר מהתרגילים שיטות הסתברותיות ואלגוריתמים חוברת התרגילים 5 באוקטובר 05 חוברת זו מכילה תרגילים נבחרים מהיסטוריית הקורס ופתרונם. בשעות האימון יוצג מבחר מהתרגילים בחוברת. מרחק בין התפלגויות קרבה בין התפלגויות עבור שתי

קרא עוד

סיכום אינפי 2 28 ביולי 2010 מרצה: צביק איתמר, בעזרת סיכומים משיעוריו של נועם ברגר מתרגלים: ינאי ג', איב גודין אין המרצה או המתרגלים קשורים לסיכום זה ב

סיכום אינפי 2 28 ביולי 2010 מרצה: צביק איתמר, בעזרת סיכומים משיעוריו של נועם ברגר מתרגלים: ינאי ג', איב גודין אין המרצה או המתרגלים קשורים לסיכום זה ב סיכום אינפי 2 28 ביולי 200 מרצה: צביק איתמר, בעזרת סיכומים משיעוריו של נועם ברגר מתרגלים: ינאי ג', איב גודין אין המרצה או המתרגלים קשורים לסיכום זה בשום דרך..אינני לוקחת אחריות על מה שכתוב מטה. השימוש

קרא עוד

שאלון להערכה עצמית במתמטיקה לקראת לימודי שנה א מדוע להתכונן לשנה א מסלולי לימוד רבים באוניברסיטה (מדעי המחשב, הנדסה, פיזיקה וכמובן מתמטיקה) דורשים לימ

שאלון להערכה עצמית במתמטיקה לקראת לימודי שנה א מדוע להתכונן לשנה א מסלולי לימוד רבים באוניברסיטה (מדעי המחשב, הנדסה, פיזיקה וכמובן מתמטיקה) דורשים לימ שאלון להערכה עצמית במתמטיקה לקראת לימודי שנה א מדוע להתכונן לשנה א מסלולי לימוד רבים באוניברסיטה (מדעי המחשב, הנדסה, פיזיקה וכמובן מתמטיקה) דורשים לימודי מתמטיקה בשנה א. אין מבחני כניסה לקורסים אלו, אולם

קרא עוד

<4D F736F F D20EEF9E5E5E0E5FA20E3E9F4F8F0F6E9E0ECE9E5FA2E646F63>

<4D F736F F D20EEF9E5E5E0E5FA20E3E9F4F8F0F6E9E0ECE9E5FA2E646F63> משוואות דיפרנציאליות מושגי ייסוד: משוואה המקשרת את גורם הפונקציה עם הפונקציה והנגזרות שלה או הדיפרנציאלים שלה, נקראת "משוואה דיפרנציאלית רגילה" לפתור משוואה דיפרנציאלית פירושו, למצוא את הפונקציה המקיימת

קרא עוד

2019 שאלות מומלצות לתרגול מס' דיפרנציאביליות של פונקציה סקלרית )המשך(. כלל השרשרת. S = ( x, y, z) z = x + 3y על המשטח מצאו נקודה בה מישור משיק

2019 שאלות מומלצות לתרגול מס' דיפרנציאביליות של פונקציה סקלרית )המשך(. כלל השרשרת. S = ( x, y, z) z = x + 3y על המשטח מצאו נקודה בה מישור משיק דיפרנציאביליות של פונקציה סקלרית )המשך( כלל השרשרת S ( z) z + על המשטח מצאו נקודה בה מישור משיק מקביל : f ( ) + הפונקציה מוגדרת וגזירה ברציפות בכל M( ) שאלה נתון פרבולואיד אליפטי P ( z) + 6 + z + 8 למישור

קרא עוד

שיעור 1

שיעור 1 שיעור קצב גדילת פונקציות אנחנו בודקים את היעילות האסימפטותית של האלגוריתם, כיצד גדל זמן הריצה כאשר גודל הקלט גדל ללא גבול. בדר"כ אלגוריתמים עם "סיבוכיות" ריצה טובה יותר יהיו יעילים יותר מלבד לקלטים קצרים

קרא עוד

אוניברסיטת בן-גוריון המחלקה למדעי המחשב בוחן במבנים בדידים וקומבינטוריקה פרופ' מתיא כ"ץ, ד"ר עופר נימן, ד"ר סטוארט סמית, ד"ר נתן רובין, גב'

אוניברסיטת בן-גוריון המחלקה למדעי המחשב בוחן במבנים בדידים וקומבינטוריקה פרופ' מתיא כץ, דר עופר נימן, דר סטוארט סמית, דר נתן רובין, גב' אוניברסיטת בן-גוריון המחלקה למדעי המחשב בוחן במבנים בדידים וקומבינטוריקה 0-- פרופ' מתיא כ"ץ, ד"ר עופר נימן, ד"ר סטוארט סמית, ד"ר נתן רובין, גב' יעל שטיין טל באומל, לילך חייטמן-ירושלמי, נתי פטר, ד ר סטוארט

קרא עוד

Microsoft Word - c_SimA_MoedA2006.doc

Microsoft Word - c_SimA_MoedA2006.doc מבוא למדעי המחשב בחינת מועד א', סמסטר א' תשס"ו,..006 מרצה: מתרגלת: גב' יעל כהן-סיגל. גב' ליאת לוונטל. משך המבחן: שעתיים וחצי. חומר עזר: מותר כל חומר עזר, מלבד מחשב. הנחיות:. יש לענות על כל השאלות.. קראו

קרא עוד

מבוא למדעי המחשב

מבוא למדעי המחשב מבוא למדעי המחשב גרפים 1 תוכן עניינים סיכום ביניים מה היה לנו? מושג האלגוריתם, תכנות פרוצדורלי הכרות עם בעיות במדעי המחשב הכרות עם בעיות ברקורסיה מתקדמת (כולל (memoization תכנות מונחה עצמים (מחלקה, הורשה,

קרא עוד

פתרון מוצע לבחינת מה"ט ב_שפת c מועד ב אביב תשע"ט, אפריל 2019 מחברת: גב' זהבה לביא, מכללת אורט רחובות שאלה מספר 1 מוגדרת מחרוזת המורכבת מהספרות 0 עד 9.

פתרון מוצע לבחינת מהט ב_שפת c מועד ב אביב תשעט, אפריל 2019 מחברת: גב' זהבה לביא, מכללת אורט רחובות שאלה מספר 1 מוגדרת מחרוזת המורכבת מהספרות 0 עד 9. פתרון מוצע לבחינת מה"ט ב_שפת c מועד ב אביב תשע"ט, אפריל 2019 מחברת: גב' זהבה לביא, מכללת אורט רחובות שאלה מספר 1 מוגדרת מחרוזת המורכבת מהספרות 0 עד 9. הדפסה ראשונה: מתבצעת לולאה שרצה מאפס עד אורך המחרוזת.

קרא עוד

PowerPoint Presentation

PowerPoint Presentation מבוא למדעי המחשב תירגול 6: כתובות ומצביעים 1 תוכנייה מצביעים מצביעים ומערכים, אריתמטיקה של מצביעים 2 3 מצביעים תזכורת- כתובות זיכרון הזיכרון כתובת התא #1000 #1004 #1008 ערך השמור בתא תא 10-4 לא מאותחל

קרא עוד

ע 003 מרץ 10 מועד מיוחד פתרונות עפר

ע 003 מרץ 10 מועד מיוחד פתרונות עפר בגרות ע מרץ 0 מועד מיוחד שאלון 5005. x א. () יש למצוא את הערך של m שעבורו גרף + ) mx f ( x) mm ( 6) x + ( כאשר נציב m או 6 m נקבל 0 0 ונקבל פונקציה עולה ובהתאם הישר לא מקביל לציר ה - הוא ישר המקביל לציר

קרא עוד

תיק משימטיקה מגרף הנגזרת לגרף הפונקציה להנגשה פרטנית נא לפנות: כל הזכויות שמורות

תיק משימטיקה מגרף הנגזרת לגרף הפונקציה להנגשה פרטנית נא לפנות: כל הזכויות שמורות תיק משימטיקה מגרף הנגזרת לגרף הפונקציה להנגשה פרטנית נא לפנות: st.negishut@weizmann.ac.il תוכן העניינים מטרות התיק... 3 זמני עבודה משוערים... 3 החומרים והעזרים הדרושים... 4 רקע... 5 הצעה למהלך העבודה...

קרא עוד

תשובות מלאות לבחינת הבגרות במתמטיקה מועד ג' תשע"ד, מיום 0/8/0610 שאלונים: 313, מוצע על ידי בית הספר לבגרות ולפסיכומטרי של אבירם פלדמן שאלה מספר

תשובות מלאות לבחינת הבגרות במתמטיקה מועד ג' תשעד, מיום 0/8/0610 שאלונים: 313, מוצע על ידי בית הספר לבגרות ולפסיכומטרי של אבירם פלדמן שאלה מספר תשובות מלאות לבחינת הבגרות במתמטיקה מועד ג' תשע"ד, מיום 0/8/0610 שאלונים: 313, 635863 מוצע על ידי בית הספר לבגרות ולפסיכומטרי של אבירם פלדמן שאלה מספר 1 נתון: 1 תלמיד קנה 11 מחברות דקות ו- 4 מחברות עבות,

קרא עוד

מבחן חוזר במכניקה 55 א יא יח""ללח פתור 3 מהשאלות 1-5 לכל שאלה 33%. חומר עזר מותר מחשבון ונוסחאון של בגרות. v m sec משך הבחינה 105 דקות. שאלה מספר 1 4

מבחן חוזר במכניקה 55 א יא יחללח פתור 3 מהשאלות 1-5 לכל שאלה 33%. חומר עזר מותר מחשבון ונוסחאון של בגרות. v m sec משך הבחינה 105 דקות. שאלה מספר 1 4 מבחן חוזר במכניקה 55 א יא יח""ללח פתור 3 מהשאלות 1-5 לכל שאלה 33%. חומר עזר מותר מחשבון ונוסחאון של בגרות. v sec משך הבחינה 105 דקות. שאלה מספר 1 4 גוף נע לאורך ציר X כך שברגע. x הוא נמצא 0 t 0-10 16 19

קרא עוד

Microsoft PowerPoint - T-10.ppt [Compatibility Mode]

Microsoft PowerPoint - T-10.ppt [Compatibility Mode] מבוא למחשב בשפת Matlab לולאות בלוקי try-catch :10 תרגול מבוסס על השקפים שחוברו ע"י שי ארצי, גיתית רוקשטיין, איתן אביאור, סאהר אסמיר וטל כהן עבור הקורס "מבוא למדעי המחשב" נכתב על-ידי רמי כהן,אולג רוכלנקו,

קרא עוד

פתרונות מלאים לשלב א' אולימפיאדה ארצית במתמטיקה חטיבה כיתות ז' 1. נתונה המשוואה השגויה הבאה: הזיזו גפרור אחד בלבד כדי שהמשוואה תהיה נכונה. פתרון לחידו

פתרונות מלאים לשלב א' אולימפיאדה ארצית במתמטיקה חטיבה כיתות ז' 1. נתונה המשוואה השגויה הבאה: הזיזו גפרור אחד בלבד כדי שהמשוואה תהיה נכונה. פתרון לחידו פתרונות מלאים לשלב א' אולימפיאדה ארצית במתמטיקה חטיבה כיתות ז'. נתונה המשוואה השגויה הבאה: הזיזו גפרור אחד בלבד כדי שהמשוואה תהיה נכונה. לחידות גפרורים יש לעיתים פתרונות רבים. אנו הצענו במחוון אחד: ישנו

קרא עוד

מקביליות

מקביליות תכונות בטיחות Safety Properties גרא וייס המחלקה למדעי המחשב אוניברסיטת בן-גוריון 2 תזכורת: תכונות זמן ליניארי Linear Time Properties תכונות זמן-ליניארי מתארות קבוצת עקבות שהמערכת צריכה לייצר מכוונים ללוגיקה

קרא עוד

תוכן העניינים

תוכן העניינים הוצאת חושבים קדימה הילה קדמן חלק ב יעוץ מקצועי: חיים אברבוך מותאם לתכנית הלימודים החדשה בבתי הספר התיכוניים מהדורה חמישית הוצאת חושבים קדימה ת.ד. 1293 רעות 71908 www.kadman.net הילה קדמן 0522 525527 kadman11@gmail.com

קרא עוד

דף נגזרות ואינטגרלים לשאלון 608 כללים למציאת נגזרת של פונקציה: n 1. y' n x n, y הנגזרת x.1 נכפול בחזקה )נרשום אותה משמאל ל- (. x א. נחסר אחד מהחזקה. ב

דף נגזרות ואינטגרלים לשאלון 608 כללים למציאת נגזרת של פונקציה: n 1. y' n x n, y הנגזרת x.1 נכפול בחזקה )נרשום אותה משמאל ל- (. x א. נחסר אחד מהחזקה. ב דף נגזרות ואינטגרלים לשאלון 608 כללים למציאת נגזרת של פונקציה: n n n, y הנגזרת נכפול בחזקה )נרשום אותה משמאל ל- ( א נחסר אחד מהחזקה ב 7 y כאשר גוזרים כופלים בחזקה, 7 כלומר נרשום אותה משמאל ל-, ובחזקה של

קרא עוד

תוכן העניינים

תוכן העניינים הוצאת חושבים קדימה הילה קדמן # חלק ב יעוץ מקצועי: חיים אברבוך מותאם לתכנית הלימודים החדשה בבתי הספר התיכוניים מהדורה חמישית הוצאת חושבים קדימה ת.ד. 1293 רעות 71908 www.kadman.net הילה קדמן 0522 525527

קרא עוד

מבוא לתכנות ב- JAVA תרגול 7

מבוא לתכנות ב- JAVA  תרגול 7 מבוא לתכנות ב- JAVA תרגול 8 תזכורת - מבנה של פונקציה רקורסיבית.2 פונקציה רקורסיבית מורכבת משני חלקים עיקריים 1. תנאי עצירה: מקרה/מקרים פשוטים בהם התוצאה לא מצריכה קריאה רקורסיבית לחישוב צעד רקורסיבי: קריאה

קרא עוד

Microsoft Word - 38

Microsoft Word - 38 08.05.6-80 - פתרון מבחן מס' 8 (ספר מבחנים שאלון 0580) t (v 75) (א) מהירות ההתקרבות של שני הרוכבים היא לכן הזמן שעבר מיציאת הרוכבים ועד הפגישה: קמ"ש, שעות 60 v 75 לפי הנתון בשאלה, נרכיב את המשוואות: 60

קרא עוד

Slide 1

Slide 1 מבוא לתכנות ב- JAVA תרגול 5 מה בתרגול מחרוזות מערכים דו ממדיים מחרוזות (Strings) מחרוזת היא רצף של תווים. immutable על מנת ליצור ולטפל במחרוזות נשתמש במחלקה String למחלקה String מתודות שונות שמאפשרות פעולות

קרא עוד

HaredimZ2.indb

HaredimZ2.indb יחידה :31חופפים משולשים נחפוף משולשים ונוכיח תכונות של אלכסוני משולשים שווה שוקיים ואלכסוני המלבן. שיעור.1חופפים במשולש שווה שוקיים נחקור ונוכיח תכונות של משולש שווה שוקיים נתון משולש שווה שוקיים שבו.

קרא עוד

אוניברסיטת חיפה החוג למדעי המחשב מבוא למדעי המחשב מועד א' סמסטר ב', תשע"ג, משך המבחן: שעתיים וחצי חומר עזר: אסור הנחיות: וודאו כי יש בידיכם

אוניברסיטת חיפה החוג למדעי המחשב מבוא למדעי המחשב מועד א' סמסטר ב', תשעג, משך המבחן: שעתיים וחצי חומר עזר: אסור הנחיות: וודאו כי יש בידיכם אוניברסיטת חיפה החוג למדעי המחשב מבוא למדעי המחשב מועד א' סמסטר ב', תשע"ג,.6.013 משך המבחן: שעתיים וחצי חומר עזר: אסור הנחיות: וודאו כי יש בידיכם 8 עמודי שאלון )כולל עמוד זה(. עליכם לכתוב את התשובות על

קרא עוד

תרגול 1

תרגול 1 תרגול rcsin d rcsin t d שאלה חשב את האינטגרלים המסוימים הבאים: sin cos d rcsin d sin cos d א ב ג פתרון שאלה סעיף א נציב dt sin d t cos עבור נקבל t cos cos עבור נקבל sin cos d tdt סעיף ב נפתור תחילה בעזרת

קרא עוד

פיסיקה 1 ב' מרצים: גולן בל, משה שכטר, מיכאל גדלין מועד ב משך המבחן 3 שעות חומר עזר: דף נוסחאות מצורף, מחשבון אסור בהצלחה! חלק א'

פיסיקה 1 ב' מרצים: גולן בל, משה שכטר, מיכאל גדלין מועד ב משך המבחן 3 שעות חומר עזר: דף נוסחאות מצורף, מחשבון אסור בהצלחה! חלק א' פיסיקה 1 ב' 203-1-1391 מרצים: גולן בל, משה שכטר, מיכאל גדלין מועד ב 03.08.2017 משך המבחן 3 שעות חומר עזר: דף נוסחאות מצורף, מחשבון אסור בהצלחה! חלק א' - שאלות אמריקאיות (כל שאלה - 5 נק') - יש לסמן תשובה

קרא עוד

סט נובמבר 08 מועד מיוחד - פתרונות עפר.doc

סט נובמבר 08 מועד מיוחד - פתרונות עפר.doc נפתור את מערכת המשוואות y+ 3 = 5 5 7 3 2y + = 8 3 נארגן את המשוואה הראשונה 1/ 5/ y+ 3 5 = 5 1 y+ 3= 5(5 ) y+ 3= 25 5 8+ y= 25 /5 נארגן את המשוואה השנייה 3 1 3 / / / 2y 7 3 8 + = 1 3 1 6y+ 7 3= 24 7+ 6y

קרא עוד

Homework Dry 3

Homework Dry 3 Homework Dry 3 Due date: Sunday, 9/06/2013 12:30 noon Teaching assistant in charge: Anastasia Braginsky Important: this semester the Q&A for the exercise will take place at a public forum only. To register

קרא עוד

<4D F736F F D20F4F2E5ECE5FA20EEE5EEF6E0E5FA20312E646F63>

<4D F736F F D20F4F2E5ECE5FA20EEE5EEF6E0E5FA20312E646F63> 1 תרגול פעולות מומצאות ( ( $ מה מהתשובות לא יכולה להיות תוצאה של הפעולה ) ( $ 1 הוגדרה פעולה חדשה $ + 1 1 + 10 + () () מה תוצאת הפעולה ) ( @ @ 10 = הוגדרה הפעולה החדשה 10 1 () 10 () 10 $ 19 $ 17 a) ( $

קרא עוד

Slide 1

Slide 1 מבוא למחשב בשפת C : מערכים חד ודו-ממדיים מבוסס על השקפים שחוברו ע"י שי ארצי, גיתית רוקשטיין, איתן אביאור וסאהר אסמיר עבור הקורס "מבוא למדעי המחשב". עודכן ע"י דן רביב נכתב על-ידי טל כהן, נערך ע"י איתן אביאור.

קרא עוד

. [1,3] ו = 0 f(3) f(1) = עמוד 1 מתוך 6 דר' ז. אולחא מס' הקורס 9711 חדו''א הנ מכונות 1 f ( x) = ( x 1)( x 2)( x 3) c= f c = c (1,3), c תשובות I 1) פונ

. [1,3] ו = 0 f(3) f(1) = עמוד 1 מתוך 6 דר' ז. אולחא מס' הקורס 9711 חדו''א הנ מכונות 1 f ( x) = ( x 1)( x 2)( x 3) c= f c = c (1,3), c תשובות I 1) פונ . [,] ו 0 f() f() עמוד מתוך 6 ז. אולחא מס' הקורס 97 חדו''א הנ מכונות f ( ) ( )( )( ) f (,), תשובות I ) פונ' לכן קיים פתרון רציפה וגזירה בקטע כך ש 0 ) (? f ( ) +, ± ± 0.58 (, ),.58,.4 יש n פעמים להשתמש

קרא עוד

תאריך הבחינה 30

תאריך הבחינה   30 אוניברסיטת בן-גוריון בנגב מדור בחינות 9//8 תאריך הבחינה : ד"ר ס. סמית, דר' דבורה שמות המורים : פרץ, פרופ' גריגורי דרפל מבחן ב: חדו"א ג' --9 מס' הקורס: מיועד לתלמידי: ביולוגיה, כימיה וגאולוגיה ב מועד: א

קרא עוד

עבודה במתמטיקה לכיתה י' 5 יח"ל פסח תשע"ה אפריל 5105 קשה בלימודים, קל במבחנים, קל בחיים עבודה במתמטיקה לכיתה י' 5 יח"ל פסח תשע"ה יש לפתור את כל השאלות

עבודה במתמטיקה לכיתה י' 5 יחל פסח תשעה אפריל 5105 קשה בלימודים, קל במבחנים, קל בחיים עבודה במתמטיקה לכיתה י' 5 יחל פסח תשעה יש לפתור את כל השאלות עבודה במתמטיקה לכיתה י' 5 יח"ל פסח תשע"ה יש לפתור את כל השאלות על דפים משובצים. רשמו את שמכם על כל אחד מהדפים הפתרונות יוגשו אחרי חופשת הפסח. מומלץ לכתוב דואר אלקטרוני, Whatspp כאשר נתקלים בקושי. מישהו

קרא עוד

ע 001 ינואר 10 מועד חורף פתרונות עפר

ע 001 ינואר 10 מועד חורף פתרונות עפר בגרות ע 00 ינואר 0 שאלון 50 הציר האופקי, ציר ה-, x מתאר את הזמן שעובר, בשניות, מתחילת השחייה כל משבצת היא בת 0 שניות הציר האנכי, ציר ה - y, מתאר את המרחק מקצה הבר כה כל משבצת היא בת 0 מטר כאשר הקו עולה

קרא עוד

מקומות גיאומטריים השתלמות קיץ הקדמה: נושא המקומות הגיאומטריים הינו מרכזי בתכנית הלימוד ל- 5 יח"ל. פרק זה מאגד בתוכו את כל המרכיבים של הגיאומטרי

מקומות גיאומטריים השתלמות קיץ הקדמה: נושא המקומות הגיאומטריים הינו מרכזי בתכנית הלימוד ל- 5 יחל. פרק זה מאגד בתוכו את כל המרכיבים של הגיאומטרי מקומות גיאומטריים השתלמות קיץ - 015 הקדמה: נושא המקומות הגיאומטריים הינו מרכזי בתכנית הלימוד ל- 5 יח"ל פרק זה מאגד בתוכו את כל המרכיבים של הגיאומטריה האנליטית: ישר, מעגל, אליפסה ופרבולה בראיה מוכללת נושא

קרא עוד

עמוד 1 מתוך 5 יוחאי אלדור, סטטיסטיקאי סטטיסטיקה תיאורית + לוחות שכיחות בדידים/רציפים בגדול מקצוע הסטטיסטיקה נחלק ל- 2 תחומים עיקריים- סטט

עמוד 1 מתוך 5 יוחאי אלדור, סטטיסטיקאי סטטיסטיקה תיאורית + לוחות שכיחות בדידים/רציפים בגדול מקצוע הסטטיסטיקה נחלק ל- 2 תחומים עיקריים- סטט עמוד מתוך + לוחות שכיחות בדידים/רציפים בגדול מקצוע הסטטיסטיקה נחלק ל- תחומים עיקריים- וסטטיסטיקה היסקית; בסטטיסטיקה היסקית משערים השערות, משווים בין קבוצות באוכלוסיה ועוד, אך גם מ ניתן ללמוד הרבה על האוכלוסיה-

קרא עוד

סז 002 נואר 07 מועד חורף פתרונות עפר

סז 002 נואר 07 מועד חורף פתרונות עפר הציר האופקי מציג את מספר פעימות המונה הציר האנכי מציג את המחיר שגובה חברת הטלפונים (שקלים) ב. א. יש למצוא מהו המחיר ל- 00 פעימות המונה הראשונות בחודש. הנקודה המסומנת בגרף, בעיגול, מראה כי עבור 00 פעימות

קרא עוד

Untitled

Untitled 2 אגודת הסטודנטים, בן-גוריון 3 פתרון מבחן מועד ב', חדו"א 2 להנדסת חשמל, סמסטר ב', תשע"ו שאלה : א הטור המגדיר את fx הוא טור טלסקופי. הסכומים החלקיים של טור זה הם S n x n k kxe kx k xe k x nxe nx x fx lim

קרא עוד

מקביליות

מקביליות PROMELA גרא וייס המחלקה למדעי המחשב אוניברסיטת בן-גוריון עדכון אחרון: 21:40 15/06/2013 2 שפת מ פ ר ט עם ס מ נ ט יק ה מוגדרת באופן מתמטי "שפת תכנות" למודלים המטרה: לאפשר גם לכאלה שאינם חוקרים בתחום לבנות

קרא עוד

מקביליות

מקביליות תכונות שמורה Invariant Properties גרא וייס המחלקה למדעי המחשב אוניברסיטת בן-גוריון 2 בדיקות מודל Checking( )Model מערכת דרישות מידול פירמול בדיקות מודל )Model Checking( מודל של המערכת תכונות פורמליות סימולציה

קרא עוד

מבחן 7002 פרטים כלליים מועד הבחינה: בכל זמן מספר השאלון: 1 משך הבחינה: 3 שעות חומר עזר בשימוש: הכל )ספרים ומחברות( המלצות: קרא המלצות לפני הבחינה ובדי

מבחן 7002 פרטים כלליים מועד הבחינה: בכל זמן מספר השאלון: 1 משך הבחינה: 3 שעות חומר עזר בשימוש: הכל )ספרים ומחברות( המלצות: קרא המלצות לפני הבחינה ובדי מבחן 7002 פרטים כלליים מועד הבחינה: בכל זמן מספר השאלון: 1 משך הבחינה: 3 שעות חומר עזר בשימוש: הכל )ספרים ומחברות( המלצות: קרא המלצות לפני הבחינה ובדיקות אחרונות לפני מסירה )עמודים 8-11( מבנה השאלון 5

קרא עוד

<4D F736F F D20FAF8E2E5EC20E0ECE2E1F8E420EEF2E5F8E D F9E0ECE5FA2E646F63>

<4D F736F F D20FAF8E2E5EC20E0ECE2E1F8E420EEF2E5F8E D F9E0ECE5FA2E646F63> < 0 a b b a > 0 נתון: מכאן ניתן לומר בוודאות כי -. a < b ab < 0 a 0 b > לא ניתן לקבוע בוודאות.. ( 0)?. לא ניתן לדעת. + ( + ) ( ) + + נתון: כמה ערכי שונים מקיימים את המשוואה?. אינסוף 0 +. תשובות ו נכונות

קרא עוד

שימו לב! יש לענות על כל השאלות בתוך טופס הבחינה, מחברות טיוטא הולכות לגריסה. על השאלות יש לענות במקום המיועד אחרי כל שאלה. תאריך הבחינה: שם

שימו לב! יש לענות על כל השאלות בתוך טופס הבחינה, מחברות טיוטא הולכות לגריסה. על השאלות יש לענות במקום המיועד אחרי כל שאלה. תאריך הבחינה: שם שימו לב! יש לענות על כל השאלות בתוך טופס הבחינה, מחברות טיוטא הולכות לגריסה. על השאלות יש לענות במקום המיועד אחרי כל שאלה. תאריך הבחינה: 26.01.2018 שם המרצים: דר' אלה שגב, דר' יובל ביתן שם הקורס: מבוא

קרא עוד

מבוא ללוגיקה ולתורת הקבוצות

מבוא ללוגיקה ולתורת הקבוצות תורת הקבוצות מושגים בסיסיים מבוא ללוגיקה ולתורת הקבוצות חוברת תרגילים כתוב באופן מפורש את הקבוצות הבאות: 5 2x + 3< היא קבוצת המספרים השלמים המקיימים : 7 B היא קבוצת האותיות הקודמות לאות f באלף-בית הלטיני.

קרא עוד

תוצאות סופיות מבחן אלק' פיקוד ובקרה קיץ 2014

תוצאות סופיות מבחן  אלק' פיקוד ובקרה קיץ  2014 תוצאות סופיות למערכות אלק' פיקוד ובקרה להנדסאים וטכנאים מועד קיץ תשע"ד 7/2014 פותר המבחן: מתי דוד למרות מאמצי לפתור נכון, יתכן ונפלו טעויות בפתרון, אשמח לקבל הערותיכם בדוא"ל : @hotmail.com ההצלחה שלי היא

קרא עוד

א. נציג את השרטוט המתאים ונסביר בהמשך: שטח המשולש גדול פי משטח המשולש בגרות סט יולי 09 מועד קיץ ב שאלון CAE, CEB כאשר לשני המשולשים גובה משותף

א. נציג את השרטוט המתאים ונסביר בהמשך: שטח המשולש גדול פי משטח המשולש בגרות סט יולי 09 מועד קיץ ב שאלון CAE, CEB כאשר לשני המשולשים גובה משותף א. נציג את השרטוט המתאים ונסביר בהמשך: שטח המשולש גדול פי משטח המשולש 3 CAE, CEB כאשר לשני המשולשים גובה משותף, E בהתאמה. לכן, הנקודה BE.3: לצלעות AE מחלקת את ו- AB ביחס של ע"פ נוסחת חלוקת קטע ביחס נתון

קרא עוד

חלק א' – הקדמה

חלק א' – הקדמה ספרות עזר: סירס-זימנסקי/פיסיקה תיכונית, קול וחום, פרקים ו- ; 3 חשמל ומגנטיות א', 5.8 Resnick & Halliday /Physics, part I,.4 Sears & Zemansky /Univesity Physics, 15.1, 16.6, 17.10, 8.8-8.9.1..3 מבוא מצבי

קרא עוד

משוואות דיפרנציאליות מסדר ראשון

משוואות דיפרנציאליות מסדר ראשון אינטגרל מסוים i שאינו תלוי בחלוקה ] [ ובחירה m. S f סכום אינטגרלי + f + K i lim S כאשר i 0. I f I הגדרה אם קיים נקרא אינטגרל מסוים ומסומן הצבה.[ רציפות ב- ] אז הוא f g g g כאשר f g g כאשר udv uv vdu g

קרא עוד

מהוא לתכנות ב- JAVA מעבדה 3

מהוא לתכנות ב- JAVA מעבדה 3 מבוא לתכנות ב- JAVA מעבדה 3 נושאי התרגול לולאות ניפוי שגיאות לולאות - הקדמה כיצד הייתם כותבים תוכנית שתדפיס את המספרים השלמים בין 1 ל- 100 בעזרת הכלים שלמדתם עד עתה? חייבת להיות דרך אחרת מאשר לכתוב 100

קרא עוד

Disclaimer מסמך זה הינו סיכום און-ליין של השיעור ולא עבר עריכה כלל. מצאת טעות? שלח/י לי מייל ואתקן: 07/05/2009 קורס: מערכות ה

Disclaimer מסמך זה הינו סיכום און-ליין של השיעור ולא עבר עריכה כלל. מצאת טעות? שלח/י לי מייל ואתקן: 07/05/2009 קורס: מערכות ה הרעיון: דפדוף paging וזכרון וירטואלי.1.2.3 לחלק את מרחב הכתובות לדפים בגודל קבוע )למשל )4KB את הדפים ממפים לזכרון פיסי a. לא רציף b. לא כולם העברה מזכרון לדיסק לפי הצורך מספר הדף: page = addr 4K המיקום

קרא עוד

סדרה חשבונית והנדסית

סדרה חשבונית והנדסית .2 סדרות חשבוניות וסדרות הנדסיות n = 5 טבעי על-ידי כלל הנסיגה: + = an + 3. סדרה מוגדרת לכל n רשמו את ארבעת האיברים הראשונים בסדרה. הסבירו מדוע הסדרה הנתונה היא סדרה חשבונית עולה. מצאו את האיבר ה- 57 בסדרה.

קרא עוד

תוכן הגדרת שאלת רב-ברירה ]אמריקאית[...2 הגדרת שאלת נכון\לא נכון...8 שאלות אמריקאיות 1

תוכן הגדרת שאלת רב-ברירה ]אמריקאית[...2 הגדרת שאלת נכון\לא נכון...8 שאלות אמריקאיות 1 תוכן הגדרת שאלת רב-ברירה ]אמריקאית[...2 הגדרת שאלת נכון\לא נכון...8 1 הגדרת שאלת רב-ברירה ]אמריקאית[ הוספת השאלה 1. בבלוק הניהול הנמצא מימין נלחץ על מאגר שאלות.. 2. על מנת להוסיף שאלה חדשה נלחץ על לחצן

קרא עוד

<4D F736F F D20F4E9E6E9F7E420FAF8E2E5ED20ECF2E1F8E9FA20E4E2E4E420F1E5F4E9FA20496C616E2E646F63>

<4D F736F F D20F4E9E6E9F7E420FAF8E2E5ED20ECF2E1F8E9FA20E4E2E4E420F1E5F4E9FA20496C616E2E646F63> מתקף ותנע מבוא תרשים 1 כשמפעילים מתקף על גוף כלשהו, התנע שלו משתנה. שינוי התנע שווה למתקף, שהוא השטח מתחת לגרף הכוח כתלות בזמן: Δp = F dt 51 m v m v1 = dt 2 F כאשר F הוא הכוח המופעל על הגוף, p הוא השינוי

קרא עוד