... תינאילוב הרבגלא - 1 קרפ

Μέγεθος: px
Εμφάνιση ξεκινά από τη σελίδα:

Download "... תינאילוב הרבגלא - 1 קרפ"

Transcript

1

2 II

3 תוכן עניינים III פרק המבוא... הקדמה... מבנה הספר... תודות... פרק - 1 אלגברה בוליאנית... מבוא לפרק... אלגברה בוליאנית ויישומיה... לוגיקה סימבולית ו... statements פעולות לוגיות על... statements מושגים בתורת הקבוצות... פעולות בוליאנית שנעשות על קבוצות... חוקים באלגברה בוליאנית ודפוסי החשיבה ההגיונית שלנו... בדיקת זהויות באמצעות... Venn Diagrams הגדרות בסיסיות באלגברה בוליאנית... אוסף חוקים בסיסי... תיאור פונקציות לוגיות בטבלת אמת... הוכחת זהויות באמצעות טבלת אמת... הוכחת כמה הרחבות לחוקי היסוד... דף חזרה וסיכום לחוקים של אלגברה בוליאנית... דוגמה מורכבת יותר להוכחת זהות... חוקים משותפים לאלגברה רגילה ולאלגברה בוליאנית... חוקים באלגברה בוליאנית שאינם קיימים באלגברה רגילה... דוגמה נוספת להוכחת זהות... זהירות מביצוע פעולות שאינן חוקיות באלגברה בוליאנית!... צורות רישום של פונקציה כסכום מכפלות Products) (Sum Of... צורת רישום של פונקציה כסכום מכפלות מלאות... צורות רישום של פונקציה כמכפלת סכומים Sums) (Product Of... צורת רישום של פונקציה כמכפלת סכומים מלאים... רישום של צורות קנוניות באופן מקוצר... הצגת נוספת של הקשר בין טבלת אמת וייצוג קנוני של הפונקציה *... הוכחת חוקים שימושיים נוספים... מקבץ תרגילים... פרק - 2 מימוש לוגי באמצעים שונים... מבוא לפרק... מתגים מכאניים וצורות הסימון שלהם... מצבים לוגיים וסוגי מגעים של מתגים... מימוש פעולות לוגיות בסיסיות באמצעות מגעי מתגים... מימוש פונקציות לוגיות כל שהן באמצעות מגעי מתגים... מימוש מערכת לוגית באמצעות חומרת מתגים... סימולציה (הדמיה) ידנית... צמצום אלגברי של הפונקציה... תפקידם של מתגים בעולם הספרתי המודרני... הממסר... תוכן עניינים

4 מימוש לוגי באמצעות ממסרים... האם יש לממסרים תפקיד בעולם הספרתי המודרני?... מימושים אלקטרוניים ראשונים... התפתחות הטכנולוגיה האלקטרונית טרנזיסטורים... החומרים שמהם בנויים רכיבים אלקטרוניים *... פעולה אלקטרונית עקרונית של שער... NOT פעולה אלקטרונית עקרונית של שערי OR ו... AND התפתחות הטכנולוגיה האלקטרונית - מעגלים משולבים... התפתחותן של משפחות לוגיות וחשיבותן... היסטוריה קצרה של משפחות לוגיות *... כמה דוגמאות ל I/O Standards של משפחות לוגיות *... האם עדיין קיימות כיום משפחות לוגיות? *... שימוש באבני הבניה שלנו - בשערים... מעבר מעשי בין שערים עם מספר גדול וקטן של כניסות... כללי חיווט חיווט כניסות שאינן בשימוש... כללי חיווט איסור חיווט בין יציאות... סכימה של מימוש שנעשה עם שערים ומעבר ממנה לפונקציה... הפיכת פונקציה לסכימה לוגית שממומשת באמצעות שערים... מימוש אלקטרוני של המערכת של הדיירים החסכנים... צורות מימוש הפוכות... סימולציה (הדמיה) ידנית על שערים... מימושים ישנים עם רכיבים סטנדרטיים... מימוש אלקטרוני מודרני באמצעות רכיב מתוכנת... לוגיקה חיובית ושלילית *... מקבץ תרגילים... פרק - 3 מימוש באמצעות טבלאות שונות ובלעדיהן... מבוא לפרק... טבלת אמת עם דרגות חופש (Φ) ביציאות... טבלת אמת עם משתנים בצד ימין של הטבלה... רישום הפונקציה של טבלה עם משתנים... הפיכת טבלת אמת עם משתנים בצד ימין לטבלה רגילה... הפיכת טבלת אמת רגילה לטבלת אמת עם משתנים בצד ימין... תיאור מילולי של טבלת אמת עם אותיות בצד ימין של הטבלה... משתנים מצד שמאל שמופיעים גם בצד ימין... טבלאות דו ממדיות... טבלאות אמת עם ברירת מחדל... טבלאות אמת עם Φ בצד שמאל של הטבלה... טבלאות מקוצרות שאינן ממצות או שכוללות סתירות פנימיות... הפיכת טבלה רגילה למקוצרת... קבלת טבלת אמת מקוצרת ישירות מבעיה מילולית... דוגמה למציאת הפונקציה במקרה של טבלה מעורבת... מקבץ תרגילים... תוכן עניינים IV

5 V פרק - 4 צמצום של מערכות צירופיות... מבוא לפרק... צמצום אלגברי... מפות קרנו... מינימיזציה של סכומי מכפלות באמצעות מפות קרנו של שני משתנים... מינימיזציה SOP באמצעות מפות קרנו של שלושה וארבעה משתנים... הקצוות של מפות קרנו... מינימיזציה של מכפלות סכומים וצורות הפוכות... טיפים נוספים בקשר למינימיזציה עם מפות קרנו... מינימיזציה עם מפות קרנו לחמישה ושישה משתנים... מינימיזציה עם דרגות חופש... צמצום פונקציות עם משתנים שמוכנסים בטבלה Variables) (Map Entered... צמצום מכפלות סכומים (POS) עם משתנים שמוכנסים בטבלה... טיפים נוספים בקשר לצמצום עם משתנים שמוכנסים בטבלה... שימוש ב - MEV יוצר צמצום אך לא מינימיזציה... צמצום באמצעות שיתוף משאבים ברמת הפונקציות והשערים... שיתוף משאבים עם פונקציה סגורה... ביצוע פעולות במפות קרנו כפעולות על קבוצות... צמצום קבוצתי Reduction) (Group... הכרת מושגים: Implicants ו * Prime Implicants... מינימיזציה בשיטת QM מציאת Prime Implicants של הפונקציה *... מציאת כיסוי מינימלי לפונקציה (בשיטת (Quine McClusky *... שיטות צמצום לטבלת הכיסוי של * Quine McClusky... מימוש POS (בשיטת (Quine McClusky *... צמצום טבלת כיסוי במקרה של הסתעפות (בשיטת (Quine McClusky *... רישום המכפלות בטבלת הכיסוי - כביטוי לוגי (בשיטת (Quine McClusky *... מינימיזציה קבוצתית Minimization) (Group בשיטת * Quine-McClusky... מקבץ תרגילים... פרק - 5 שערים מיוחדים... מבוא לפרק... מערכת שערים שלמה... שערי... NAND שערי... NOR ניתוח מערכות עם שערי NAND ו... NOR מימוש מערכות עם שערי... NAND מימוש מערכות עם שערי... NOR שערי... XOR מעבר מאלגברה בוליאנית לאלגברת... Reed Muller פעולת... XNOR הוכחת משפט כביטוי שתמיד שווה ל - '1' לוגי *... מפות קרנו של פעולות XOR ו XOR הפוך... תוכן עניינים

6 דוגמה למימוש פונקציה באמצעות שערי... XOR שימוש בשערי XOR ו XNOR ליישום של יצירת ובדיקת... Parity קצת על תכונות אלגבריות של שדות סופיים Fields) (Finite *... השדה הסופי הבינארי GF(2) *... מקבץ תרגילים... פרק - 6 גורם הזמן במערכות צירופיות... מבוא לפרק... זמן השהיית מעבר... האם tpd יכול להיות אפסי?... השפעת קיבול היציאה הפרזיטי... דוגמאות לזמני השהייה בדפי היצרן... זמני השהייה שמדווחים בכלי פיתוח בתכן מודרני... דוגמה להפרעות לוגיות שנוצרות כתוצאה מהשהייה... התנאי ההכרחי הנדרש ליצירת מימוש ללא הפרעות לוגיות... טענת עזר ראשונה... יצירת Spike במתכוון באמצעות גוזרים א-סינכרוניים... טענת עזר שנייה... מתי נוצרים Static Hazards במימוש? SOP... כיצד נוצר Hazard סטטי במימוש? SOP... כיצד מונעים Hazard סטטי במימושSOP?... מניעת Hazards במימושים מסוג SOP חיובי ושלילי... מניעת Hazards במימושים מסוג POS חיובי ושלילי... טיפול במכפלות משיקות באופן אלגברי *... טיפול בסכומים משיקים באופן אלגברי *... דיאגרמת זמנים של מכונת מצבים לעומת מערכת צירופית... משוב שיוצר מרוצים... מודלים ממוחשבים לזמני השהייה *... מקבץ תרגילים... פרק - 7 חשבונות בבסיסים שונים וקודים מבוא לפרק... ספירה בשיטות שונות כללים אריתמטיים בסיסיים בשיטת ייצוג בינארית חיבור בינארי חיסור בינארי כפל בינארי חילוק בינארי לעומת עשרוני... חילוק בינארי עם שארית חילוק בינארי עם תוצאה של שבר מתמשך עיגול שברים בבסיס הבינארי... המשמעות של שיטות ייצוג של מספרים הדגמה מדוע הערך של הספרות צריך להיות קטן מהבסיס? הוכחה שהייצוג של כל מספר הוא אחד ויחיד * דוגמאות קוד בשפת VHDL להמרת ערך בינארי לעשרוני באמצעות הנוסחה * המרה מעשרוני לבינארי של שלמים - בשיטת החלוקות ב מדוע האלגוריתם של חלוקה ב - 2 עובד? *... תוכן עניינים VI

7 דוגמה לקוד VHDL עם אלגוריתם החלוקות ב - 2 *... המרה מעשרוני לבינארי שלמים - בשיטת החלוקות בחזקות של... 2 מדוע האלגוריתם של חלוקה בחזקות של - 2 עובד?... המרה של שברים עשרוניים לבינאריים... רישום מקוצר של המרה של שברים עשרוניים לבינאריים... מדוע האלגוריתם של כפל ב - 2 עובד?... דוגמה לקוד VHDL עם אלגוריתם הכפלות ב - 2 *... המרת שברים עשרוניים לבינאריים באמצעות חלוקה בחזקות שליליות *... מעבר מעשרוני לבינארי כאשר החישובים נעשים בבינארי *... מעברים בין עשרוני ואוקטלי... חשיבותה של שיטת הייצוג האוקטלית... מעברים בין עשרוני והקסדצימלי... דוגמה לתרגיל מעבר בין שני שלמים מבסיסים כלשהם... דוגמאות לקודים של המרה מבסיס לבסיס בשפת * C... קוד... BCD מעבר ישיר מ - BCD לבינארי באמצעות חיבור בינארי של משקלי סיביות * BCD. מעבר ישיר מבינארי ל - BCD באמצעות חיסור בינארי של משקלי סיביות * BCD מעבר ישיר מ - BCD לבינארי באמצעות הזזות ימינה והתאמות *... מעבר ישיר מבינארי ל BCD בשיטת התאמות והזזות שמאלה *... הכפלה וחילוק ייצוג בינארי בחזקות של 2 ופעולת הזזה... קיצוץ של מספר בינארי שלם משמאל ופעולת השארית של חלוקה בחזקות של 2... חשבון במספר מוגבל של ספרות - מקרה פרטי... חשבון במספר מוגבל של ספרות - מקרה כללי... המשלים המוקטן לבסיס... המשלים המלא (האמיתי) לבסיס... מציאת המשלים האמיתי לבסיס 2 בשתי דרכים מקוצרות... ייצוג מספרים בעלי סימן בשיטות שונות... שיטת הסימן וגודל... שיטת המשלים ל 1... שיטת המשלים ל 2... שיטת ההיסט הבינארי... מקבץ תרגילי המרה משיטת ייצוג אחת לשניה... המרות עקיפות וישירות עם עשרוני... גלישה בחיבור וחיסור מספרים ב - 2C... הכפלה של ייצוג 2C בחזקות של... 2 הוכחה שהזזה לוגית שמאלה של ייצוג ב - 2C אכן מכפיל את המספר ב - 2 *... חילוק של ייצוג 2C בחזקות של... 2 הוכחה שהזזה אריתמטית ימינה של ייצוג ב - 2C אכן מחלק את המספר ב - 2 *... הרחבה וצמצום של רוחב מערכת ב - 2C... קוד... Gray דוגמאות לקוד המרה בין בינארי ו Gray בשפת * VHDL... כמה תכונות מעניינות נוספות של קוד... Gary קוד אלפאנומרי - למשל... ASCII מקבץ תרגילים... VII תוכן עניינים

8 פרק - 8 רכיבים אריתמטיים... מבוא לפרק... דוגמה למימוש מחבר ברוחב שתי סיביות... מימוש מחבר מודולרי לסיבית אחת... השם המוזר Full-Adder ומימושים אלטרנטיביים שלו... מחבר מודולרי לכמה סיביות... גילוי שגיאה בחיבור של שני מספרים... חיסור מספרים באמצעות מחסר מודולרי... גילוי שגיאה בפעולת חיסור... מבנים פנימיים אפשריים של מחבר ברוחב של כמה סיביות *... יצירת Carry מהיר בשיטת * Carry Look Ahead... שימוש ב - CLA בהיררכיה גבוהה יותר *... דוגמה לתכן עם רכיב מחבר - מימוש מחבר\מחסר... דוגמה ליחידה אריתמטית לוגית ALU... דוגמה נוספת לתרגיל תכן עם מחבר (ממיר מ - 1C ל - 2C... דוגמה נוספת לתרגיל תכן עם מחבר (ממיר מ - 2C ל - 1C... משווה זהות... משווה גודל... חיבור טורי ומקבילי בין משווים והמהירות שלהם *... השוואה של מספרים מכוונים... תכנון מערכת איטרטיבית... רכיבי LPM אריתמטיים בסיסיים *... מקבץ תרגילים... פרק - 9 רכיבי ניתוב וקידוד מידע מבוא לפרק הבורר Multiplexer הרחבה של בוררים במבנה של עץ צמצום של בוררים מימוש של פונקציה באמצעות בוררים המפלג - De-Multiplexer הרחבה של מפלגים במבנה של עץ הרחבה דו ממדית של מפלגים... צמצום של מפלגים מימוש פונקציה באמצעות מפלגים מימוש פונקציה באמצעות מפלגים עם יציאות שפעילות בנמוך תרגיל עם בורר ומפלג מפענחים Decoders... מפענח עם כניסת אפשור הרחבות של מפענחים באופן דו-ממדי מימוש פונקציות לוגיות באמצעות מפענח מקודד והבעייתיות שלו מקודד עדיפויות שניתן להרחבה רכיבי ניתוב מידע כרכיבים חשבוניים * דוגמאות לקודים בשפת * VHDL מקבץ תרגילים... תוכן עניינים VIII

9 פרק - 10 יציאות מתנתקות וחיבור ל BUS... מבוא לפרק... אופן הפעולה של יציאה רגילה... יציאה מסוג... Open-Drain חיווט בין יציאה Open-Drain וכניסה של רכיב... שימוש ביציאות Open-Drain ליצירת... Wired-Logic שימוש ביציאות Open-Drain ליצירת... Shared-BUS רכיבים בעלי יציאות מתנתקות מסוג... Tri-State התנאים שבהם מותר לחבר בין יציאות מסוג... Tri-State שימוש ביציאות Tri-State ליצירת... Shared-BUS שימוש Shared-BUS לעומת... Dedicated Buses הפיכת Tri-State ל - Drain... Open מצבים לוגיים בשפות תיאור חומרה *... פונקצית רזולוציה לחיווט בשפות תיאור חומרה *... פונקצית לוגיות עם מצבים חלשים ובלתי ידועים בשפות תיאור חומרה *... דוגמאות לקוד בשפת VHDL ו * Verilog... מקבץ תרגילים... פרק - 11 פרק הנספחים... אלגברה בוליאנית באמצעות מספר מצומצם של אקסיומות (הרחבה לפרק 1)... דיאגרמות סולם (הרחבה לפרק 2)... הסבר פשטני על שער NOT בטכנולוגית CMOS (הרחבה לפרק 2)... הסבר פשטני על שער AND בטכנולוגית CMOS (הרחבה לפרק 2)... הסבר פשטני על שער OR בטכנולוגית CMOS (הרחבות לפרק 2)... דוגמאות ל - Standards I/O של זרמים (הרחבה לפרק 2)... חיווט מתגים לרכיבים ספרתיים (הרחבה לפרק 2)... חיבור נוריות LED לרכיב ספרתי (הרחבה לפרק 2)... דוגמה לממשק בין מערכת ספרתית (TTL) וממסר זעיר (הרחבות לפרק 2)... צמצום באמצעות שיתוף משאבים ברמת הבלוקים (הרחבה לפרק 4)... צמצום באמצעות התכנית ESPRESSO והמבנה של קבצי PLA (הרחבה לפרק 4). הפעלת התכנית ESPRESSO (הרחבה לפרק 4)... אופן החישוב של נגד ה Pull-Up (הרחבה לפרק 10)... IX תוכן עניינים

10 X תוכן עניינים

11 פרק המבוא 1 פרק המבוא

12 הקדמה הספר בא לתת מענה רחב בהיקפו, מעמיק ובהיר לנושאים הנלמדים במסגרת המקצוע "מערכות ספרתיות", שהוא מקצוע בסיסי ומרכזי לאנשי אלקטרוניקה חשמל ומחשבים ושנלמד בקורסים באוניברסיטאות, במכללות אקדמיות, במכללות להנדסאים, בבתי ספר תיכון מקצועיים ובקורסי הסבה שונים. הספר מתאים לכל המסגרות הללו. המקצוע מערכות ספרתיות Systems) (Digital נקרא לעתים גם באחד מהשמות האלטרנטיביים הבאים: תכן- לוגי Design),(Logic תכן-ספרתי Design) (Digital או בשמו הישן יותר: תורת המיתוג Theory).(Switching הספר מבוסס על התנסות אינטנסיבית של המחבר בהעברת קורסים בנושא "מערכות ספרתיות" וניסיון רב בתחום של "רכיבים מתוכנתים". ההרצאות השונות שוכתבו במשך הזמן וחומרי רקע נוספים הוספו להעשרה. הספר מכיל הסברים מפורטים, מגוון דוגמאות ותרגילים לתרגול עצמי. מכיוון שהיקף החומר הוא רב, הוחלט מראש לפצל את הספר לשני כרכים. כרך זה שהוא הכרך הראשון מבין שניים, עוסק במערכות צירופיות והכרך השני שיצא בהמשך יעסוק במערכות עם זיכרון (מכונות מצבים). הספר בנוי באופן גמיש. תת-פרקים שבספר שמסומנים בתו *, מכילים בדרך כלל תכנים מתקדמים יותר והם פרקים שניתן לדלג על קריאתם מבלי לפגוע בהמשך ההבנה והלימוד. שאר הפרקים (אלו שאינם מסומנים ב - *) מהווים את הגרעין המינימלי של הספר שעליו כדאי שלא לדלג. באופן כזה הקורא יכול להתאים לעצמו את חומרי הלימוד שנדרשים לו. תרגילי רשות גם הם מסומנים ב *. הספר מטפל הן באופן תיאורטי והן באופן מעשי בחומרה.(Hardware) לימוד המקצוע מקנה בסיס להכרת חומרת המחשב בפרט וחומרה ספרתית בכלל. בשנים האחרונות אנו עדים לתחומים רבים באלקטרוניקה שבעבר היו אנלוגיים ושנהפכים במשך השנים לספרתיים. מדובר בתחומים כגון: פיקוד ובקרה, מכשור ומדידות, תקשורת, ווידיאו,(Video) שמע,(Audio) עבוד אותות ספרתי,(DSP) אלקטרוניקה רפואית, אלקטרוניקת רכב, ותחומים רבים נוספים. הספר מהווה קדם חשוב למקצועות רבים אחרים בתחום האלקטרוניקה והמחשבים כגון: אלקטרוניקה ספרתית, מיקרו-פרוססורים, מעבדות ספרתיות, תקשורת ספרתית, תקשורת מחשבים ומקצועות נוספים. הספר מכסה גם אספקטים עכשוויים של חומרה ספרתית כהכנה הכרחית גם לנושאים של: תכן ספרתי, רכיבים מתוכנתים ושפת תיאור חומרה. מהתנסות רבה של המחבר בהעברת קורסים בנושא "רכיבים מתוכנתים" ו"שפות תיאור חומרה" (באקדמיה ובתעשייה) וגם מהדרכה והנחייה של פרוייקטים, נלמד שאחת הבעיות הנפוצות שנתקלים בה הלומדים שמנסים להיכנס לתחום מודרני זה, עלולה להיות חוסר רקע מספיק והעמקה בנושא מערכות ספרתיות. ידע בסיסי וחלקי בתחום של מערכות ספרתיות, עשוי להיות אולי מספיק כרקע כללי להבנת נושאים כגון מיקרופרוססורים או תקשורת ספרתית ונושאים אחרים, אך לשם ביצוע תכן ספרתי בפועל, דרוש ידע רב יותר. כאשר מבצעים תכן ספרתי חשוב למשל להבין היטב: את ההבדל בין מפענח ובורר או מפלג, מהם Hazards ו Spikes שנוצרים במערכת צירופית וכיצד ניתן לחיות עם הפרעות אלו, איך מחברים בין מונים, איך מחברים בין רגיסטרים ומהן בעיות התזמון שעלולות להיווצר בחיבורים כאלה, להבין למשל איך פועלת יציאה של Tri-State BUS ו Open-Drain ומהם מצבים לוגיים חלשים וחזקים, להכיר את החוקים שקשורים לפעולת XOR (אלגברה של AND ו,(XOR מהם ההבדלים בין מכונת Mealy ו Moore וההשלכות המעשיות של הבדלים אלו על תכן ספרתי, מהי מכונת Moore ישירה ויתרונותיה בתכן מעשי, 2 פרק המבוא

13 מהי הקצאת מצבים One-Hot ויתרונותיה בארכיטקטורות,LUT איך מחשבים תדר שעון מכסימלי של מערכת ואיך מגדילים אותו, מהם כללים לביצוע תכן סינכרוני, מהם הסכנות של סגירת משוב סביב מכונת Mealy והשימוש במשוב צירופי, איך מתגברים על בעיות כגון אי קיום זמן הכנה או זמן החזקה של מערכת, איך מחשבים נתוני תזמון של מערכת, איך מקטינים הסתברות להיווצרות של Meta-stable-State ומונעים החטאה בכניסה שאינה מסונכרנת ועוד... נסכם ונאמר, שהמקצוע מערכות ספרתיות כפי שהוא נלמד בספר זה, מהווה הכנה טובה עבור המקצועות הבאים: "שפות תיאור חומרה" (כגון VHDL ו,(Verilog מקצועות של "תכן עם רכיבים מתוכנתים" (קורסים, מעבדות ופרוייקטים). לספר זה ולכרך השני שלו (שיצא בהמשך) מתלווים שני ספרי המשך מאת אותו המחבר: לימוד שפת VHDL לסימולציה וסינתזה תכן ספרתי ומבוא לפרוייקטים עם רכיבי Altera בעתיד המחבר ייתן גם גיבוי לנושאים הללו בשפת.Verilog כל הספרים הנ"ל יכולים להילמד ברצף ישיר לספר הנוכחי במערכות ספרתיות וכיחידות לימוד משותפות. כדאי גם לדעת, ששאלות וחידות במערכות ספרתיות הן גם בדרך כלל השאלות הפופולריות ביותר בקבלה לעבודה בחברות הייטק רבות. חלק מהתרגילים נוצרו ברוח זו. בשני כרכי הספר, מתבצעת הכרות עם כלים ועזרים תיאורטיים שונים, כגון: אלגברה בוליאנית Algebra),(Boolean טבלאות ועזרים גרפיים שונים כמו טבלאות אמת Truth) (Tables מסוגים שונים, טבלאות מצבים מסוגים שונים, דיאגרמות מצבים ודיאגרמות זמנים. בספר מוסבר גם איך לבצע פעולות חשבוניות על מספרים שמיוצגים בשיטות ספירה ובקודים. בעזרת כלים ועזרים תיאורטיים אלו, תוכל לנתח לאפיין ובעיקר לתכנן מערכות ספרתיות. למרות אופיים התיאורטי של חלק מהכלים הנלמדים, הספר גם נותן דגש רב לשימוש המעשי בהם. במסגרת הספר מתבצעת הכרות גם עם רכיבים (אבני בנייה יסודיים) רבים. בספר הראשון מתבצעת הכרות עם אבני בנייה צירופיים שונים כמו: שערים, רכיבים אריתמטיים (כמו למשל מחברים מחסרים משווים), רכיבים לניתוב וקידוד מידע (כמו למשל בוררים, מפלגים, מפענחים מקודדים), רכיבים שמיועדים להתחברות ל.BUS בספר השני מתבצעת הכרות עם אבני בנייה שהם בעלי זיכרון (כמו רכיבי,Latch פליפ-פלופים, מונים, טיימרים ורגיסטרים). בכרך זה מבוצעת גם הכרות בסיסית עם ארכיטקטורות של רכיבים מתוכנתים. הספר וקורסים במערכות ספרתיות אינם עוסקים במבנה האלקטרוני הפנימי של רכיבים ברמת הטרנזיסטור או המוליך למחצה. ההתייחסות לסוגיות חשמליות נעשית בספר זה על קצה המזלג בלבד, ורק במקומות מעטים שבהם הדבר בהחלט נחוץ (חוקי חיווט, Tri-State,Open-Drain ו.(BUS מהסיבה שמוזכרת לעיל, ניתן להבין מדוע ניתן ללמוד מקצוע זה גם ללא ידע מוקדם רציני בתורת החשמל וללא ידע מוקדם כל שהוא במעגלים אלקטרוניים. בנושא המבנה הפנימי עוסקים ספרים וקורסים באלקטרוניקה ובמוליכים למחצה, ובעיקר הקורס שנקרא אלקטרוניקה ספרתית. אני מאחל לכל הקרואים קריאה מועילה ולא פחות חשוב מכך - הנאה וסיפוק מהפנמה של הבסיס החשוב כל כך של הטכנולוגיה הספרתית המודרנית. 3 פרק המבוא

14 מבנה הספר הספר מחולק לאחד עשר פרקים: 1. אלגברה בוליאנית 2. מימוש לוגי באמצעים שונים 3. מימוש באמצעות טבלאות אמת שונות ובלעדיהן 4. צמצום של מערכות צירופיות 5. שערים מיוחדים 6. גורם הזמן במערכות צירופיות 7. חשבונות בבסיסים שונים וקודים 8. רכיבים אריתמטיים 9. רכיבי ניתוב וקידוד מידע 10. יציאות מתנתקות וחיבור ל - BUS 11. פרק הנספחים הפרק הראשון עוסק באלגברה בוליאנית. שלא כפי שהדבר נעשה בספרי לימוד אחרים, בחרנו לפתוח את הספר בפרק שעוסק באלגברה בוליאנית ולא בפרק שעוסק בחשבונות אריתמטיים בבסיסים שונים - במתכוון. מניסיון שנצבר בהוראת המקצוע, למדנו שפתיחת הלימוד בפרק שעוסק בשיטות ספירה ומיד לאחר מכן בפרק שעוסק באלגברה בוליאנית, מכביד על הלומד, מכיוון שהוא מעמיס עליו כמות גדולה מדי של מושגים חדשים בבת אחת. בנוסף לכך, קשה בשלב מוקדם גם להראות את הקשר שקיים בין שני הנושאים. ההחלטה שלנו היא לדחות את לימוד הפרק שעוסק בשיטות ספירה ופעולות אריתמטיות (פרק 7), לשלב שבא לפני ההכרות עם הרכיבים האריתמטיים (פרק 8). לומדים שבכל שאת רוצים להתחיל את הלימוד דווקא בפרק 7 בהחלט יכולים לעשות זאת. אלגברה בוליאנית מהווה את הבסיס התיאורטי לתיאור של כל חומרה ספרתית. חשיבותו של הפרק רבה מכיוון שכל הפרקים שבאים בהמשך מבוססים עליו. מומלץ לקוראים שאינם שולטים באלגברה זו, להקדיש מאמץ לקריאת והבנת פרק זה במלואו (פרט לחלקים האחרונים בפרק שמסומנים ב - *). בתחילתו של הפרק מציגים בקיצור רב את היישומים של אלגברה בוליאנית לתורת הקבוצות וללוגיקה סימבולית. יישומים אלו של אלגברה בוליאנית מוכרים לקוראים רבים ומוטבעים בדפוסי החשיבה ההגיונית שלנו. בהמשך הפרק מוצג אוסף חוקים. בהמשך הפרק אנו גם מציגים את הנושא של פונקציות לוגיות והתיאור שלהן באמצעות טבלת אמת והאפשרות להשתמש בטבלאות אמת גם ככלי להוכחת זהויות. בהמשך מוצגת צורות התיאור של פונקציות לוגיות בצורת סכום מכפלות ובצורת מכפלת סכומים ושתי הצורות הקנוניות של צורות רישום אלו. הצורות הקנוניות של פונקציות, מאפשרות לקורא להפוך טבלת אמת לפונקציה. הפרק השני עוסק במימוש לוגי באמצעים שונים. עד לשלב זה בספר לא הוצגו רכיבים ספרתיים כל שהם, אלא הוצגה האלגברה הבוליאנית עם נגיעה קלה ביישומים היסטוריים בתורת הקבוצות ובלוגיקה סימבולית. בפרק זה יתוודע הקורא לצורות מימוש שונות שהתפתחו במהלך השנים. הפרק נותן סקירה בסיסית שמוצגת בסדר היסטורי החל ממתגים ועד לשערים אלקטרוניים. בהנחה שלקורא אין עדיין ידע ברכיבים אלקטרוניים ולכן צורת ההצגה היא מאוד בסיסית. הפרק כולל באופן ספציפי את הנושאים הבאים: מימוש פונקציה לוגית על ידי מתגים, סימון מגע שמוליך ב - '0' לוגי ומגע שמוליך ב - '1' לוגי, מימוש על ידי ממסרים, חסרונות של מימוש אלקטרו-מכני, מימוש על ידי שערים לוגיים אלקטרוניים, משפחות לוגיות, מתחי '0' לוגי ו '1' לוגי ברכיבי TTL ו,CMOS היסטוריה קצרה על התפתחות משפחות לוגיות וטכנולוגית מימוש ספרתי, הרחבה וצמצום של שערים, מימוש על ידי פונקציה הפוכה. 4 פרק המבוא

15 הפרק השלישי עוסק בתכנון באמצעות טבלאות שונות ובלעדיהן. בפרק הראשון שבספר, הוצגו טבלאות אמת בסיסיות שהן מאוד מוגבלות. במציאות (למשל בדפי יצרן ובתיאורים של רכיבים אמיתיים) טבלאות אמת הן בדרך כלל מורכבות יותר ומאפשרות לתאר מערכות עם מספר גדול של כניסות ודרגות חופש. פרק זה עוסק ספציפית בנושאים הבאים: טבלאות אמת הכוללות (Don t care) Φ בצד ימין של הטבלה, טבלאות הכוללות משתנים בעמודת הפונקציה Variables),(Truth Table entered טבלאות אמת מקוצרות הכוללות Φ או "else" בצד שמאל של הטבלה, טבלאות דו ממידיות, שילוב בין טבלאות אמת מסוגים שונים ולבסוף גם תכנון מערכת צירופית באופן ישיר וללא שימוש בטבלת אמת. הפרק הרביעי עוסק בצמצום ומינימיזציה של מערכות צירופיות. המטרה של מינימיזציה היא לממש מערכת עם כמה שפחות רכיבים במטרה להוריד עלויות. בשנים האחרונות החשיבות העיקרית של מינימיזציה היא לנסות להכניס תכן כל שהוא לרכיב מתוכנת נתון שנקבע לעתים מראש (כלומר רכיב שנקבע וחווט ללוח לפני תחילת התכן). הפרק עוסק ספציפית בנושאים הבאים: מינימיזציה (Minimization) לעומת צמצום,(Reduction) מינימיזציה בצורת סכום ומכפלות ומכפלת סכומים, שימוש בצירופי ברירה (טבלאות אמת הכוללות Ф בצד ימין של הטבלה), מפות קרנו לארבעה חמישה ושישה משתנים. צמצום של Map-Entered Variables (משתנים שמוכנסים בטבלת האמת). מינימיזציה בשיטת,Quine-Mclusky צמצום קבוצתי Reduction) (Group לעומת צמצום נפרד לכל פונקציה. צמצום באמצעות שיתוף משאבים Sharing).(Resource הפרק החמישי עוסק בשערים מיוחדים. עד לשלב זה השערים שבהם השתמשנו הם,AND OR ו.NOT במציאות חשוב להכיר גם שערים אחרים. הפרק עוסק באופן ספציפי בנושאים הבאים: מערכת לוגית שלמה, שער אוניברסלי והחשיבות של שערים מסוג זה, שערי NAND ומימוש כסכום מכפלות, שערי NOR ומימוש כמכפלת סכומים, שיטות גרפיות (הזזת מהפכים), שער XOR וחוקי אלגברה שקשורים לפעולה זו, דוגמאות ליישומים פשוטים לשערי XOR בטיפול בזוגיות ובהצפנה, המרת אופרטורים בוליאניים לאופרטורים של אלגברת ריד-מילר (הכוללת AND ו,(XOR שערי.XNOR הפרק השישי עוסק בגורם הזמן במערכות צירופיות. עד לשלב זה, התייחסנו לרכיבים הספרתיים כאל אבני בניה אידיאליים שבהם היציאה משתנית מיד כאשר הכניסה משתנית. במציאות לוקח זמן ליציאות להשתנות (למרות שהוא מאוד קטן). פרק זה מטפל בהפרעות שעלולות להיווצר ביציאות של מערכת צירופית אמיתית. ספציפית הפרק עוסק בנושאים הבאים: דיאגרמות זמנים, זמני השהיית מעבר Delay) tpd - Propagation,(Time ערכי Minimum,Maximum ו Typical בדפי יצרן, התייחסות לפולסים צרים יותר מזמן השהיית המעבר: (מודל Inertia ומודל,(transport היווצרות Hazard סטטי ו Hazard דינמי ביציאה של מערכת צירופית, מניעת Hazard סטטי במערכת שמומשה כסכום מכפלות או מכפלת סכומים, הכרת כמה הבדלים בין מערכת צירופית ומכונת מצבים. הפרק השביעי בספר עוסק בחשבונות בבסיסים שונים וקודים. עד לשלב הזה, כל היישומים שהודגמו בספר היו יישומים לוגיים שאינם מבצעים חישובים חשבוניים. בהמשכו של הספר נרצה להציג גם יישומים שמבצעים פעולות חשבוניות. במערכת ספרתית חישובים נעשים בדרך כלל בשיטה הבינארית או בקודים שקרובים לשיטה זו. מדובר בחישובים שמבוססים בעצם על ה"אלגברה הרגילה". תפקידו של פרק זה הוא להיות המבוא לנושא חשוב זה. 5 פרק המבוא

16 באופן ספציפי הפרק עוסק בנושאים הבאים: הצגת מספרים (שלמים ושברים) חסרי סימן (Unsigned) בבסיסים לא עשרוניים. מתן דגש על בסיס בינארי (2), אוקטלי (8) והקסדצימלי (16). חשבונות בבסיס הבינארי: חיבור חיסור כפל וחילוק. ייצוג שלמים ושברים ומעבר בין שיטות ייצוג. חשבון במספר מוגבל של ספרות וגלישה. ייצוג מספרים בעלי סימון (signed) בשיטות הבאות: סימן וגודל Magnitude),(Sign & משלים ל - 1.(Offset-Binary) היסט בינארי,(2 s Complement) 2 - משלים ל,(One s Complement) ביצוע חיבור וחיסור בשיטות הנ"ל. דוגמאות: קוד,gray קוד,BCD קוד.ASCII הפרק השמיני עוסק ברכיבים אריתמטיים. ביצוע חישובים מספריים, הוא אחד מהתפקידים החשובים של מערכת ספרתית. פרק זה מטפל ספציפית בנושאים הבאים: מחבר, מחבר איטרטיבי (מודולרי) - Adder,Full מחסרים, החשת תהליך החיבור,(CLA) חיבור Unsigned ו,Signed סיביות ה - Carry וה - Flow.Over משווים (Comparators) כיוניים וחסרי כיוון, דוגמא ליחידה אריתמטית לוגי,(ALU) הזזות כפעולות כפל וחילוק, מיסוך כפעולת mod של חזקות של 2. הפרק התשיעי בספר עוסק ברכיבי ניתוב וקידוד מידע. פרק זה עוסק בכמה מהתפקידים הנוספים החשובים שאותה מבצעת מערכת ספרתית. בניתוב מידע עוסקים שני הרכיבים הבאים שנקראים בורר (Multiplexer) ומפלג.(Demultiplexer) בנושא בוררים, הפרק עוסק באופן ספציפי בנושאים הבאים: תיאור בוררים, סימון שלהם ומימושם, הרחבה של בוררים במבנה של עץ, שימוש בבוררים למימוש אוניברסלי של פונקציות לוגיות. בנושא מפלגים, הפרק עוסק באופן ספציפי בנושאים הבאים: תיאור מפלגים, סימון שלהם ומימושם, הרחבה של מפלגים במבנה של עץ ובאופן דו-ממדי, שימוש במפלגים למימוש אוניברסלי של פונקציות לוגיות - כולל מפלגים בעלי יציאות שהן "פעילות בנמוך". המשכו של הפרק עוסק במפענחים (Decoders) ובמקודדים.(Encoder) רכיבים אלו עוסקים בתרגום קוד בינארי לקוד ישיר (המפענח) ובתרגום קוד ישיר לקוד בינארי (המקודד). בנושא מפענחים,הפרק עוסק באופן ספציפי בנושאים הבאים: תיאור מפענחים, סימון שלהם ומימושם, יצירת מפענחים שהם בעלי יכולת הרחבה באמצעות כניסת אפשור,(Enable) הזהות בין מפענחים שכוללים כניסת אפשור למפלגים, הרחבה של מפענחים במבנה של עץ, הרחבה של מפענחים באופן דו-ממדי ושימוש במפענחים למימוש אוניברסלי של פונקציות לוגיות - כולל מפענחים בעלי יציאות שהן "פעילות בנמוך". בנושא מקודדים, הפרק עוסק באופן ספציפי בנושאים הבאים: תיאור מקודדים, הבעייתיות של הזנה של צירופים שאינם נחשבים לקוד ישיר חוקי למקודד ופתרון הבעיה על ידי מימוש מקודד עדיפויות Encoder),(Priority סימון מקודדים ומימושם, יצירת מקודדים שהם בעלי יכולת הרחבה והרחבתם, כולל במקרה של מקודדים שהם בעלי אותות "שפעילים בנמוך". הפרק העשירי בספר עוסק ביציאות מתנתקות וחיבור ל -.BUS במערכות ספרתיות רבות קיימות מערכות משותפות של חוטים שמאפשרות להעביר מידע בין חלקים שונים של המערכת. צורת ניתוב מידע זו נקראת בדרך כלל בשם BUS משותף (או פס משותף או BUS - פרק זה עוסק ברכיבים שהיציאות שלהן מסוגלות להעביר מידע ל.(Shared-BUS משותף. לרכיבים אלו יש יציאות בעלות תכונות חשמליות מיוחדות, שמאפשרות ניתוק שלהן. מדובר בשני סוגי רכיבים או סוגי יציאות: יציאות מסוג Tri-State ויציאות מסוג Open-Collector או.Open Drain רכיבים אלו גם משמשים בתנאים מסוימים גם ליצור לוגיקה צירופית באמצעות חיבור בין יציאות Logic) (Wired וגם כרכיבי קישור (Interface) בין משפחות לוגיות שונות. הפרק עוסק באופן ספציפי בנושאים הבאים: מצבים לוגיים והמשמעות החשמלית שלהם ביציאה רגילה של רכיב, מדוע אסור לחבר בין יציאות רגילות, 6 פרק המבוא

17 יציאות מסוג Open-Collector או Open-Drain והשימוש בהם ב - Logic Wired והצורך ב - Resistor,Pull-Up שימוש ב - Collector Open או Open-Drain בהתחברות ל - BUS משותף. רכיבים בעלי יציאות Tri-State והשימוש בהם ב - BUS משותף, הפיכת Tri-State ל - Drain,Open הצורך למניעת קונפליקטים על ה - BUS.(contention) מצבים לוגיים חזקים וחלשים. תודות ברצוני להודות תחילה לחברי הטוב יאן לרון, שהוא כותב ספרים פורה ביותר בתחומים רבים ומגוונים באלקטרוניקה. ציינתי קודם, שספר זה אינו עוסק במבנה האלקטרוני הפנימי של רכיבים ספרתיים וקיימים לשם כך ספרים בתחום של אלקטרוניקה ספרתית. ליאן יש בין שאר הספרים שכתב, ספר מצוין בן שני כרכים שעוסק בנושא של אלקטרוניקה ספרתית. בתחילת הכתיבה של ספר זה, הייתה מחשבה ליצור אולי ספר שהוא פרוייקט משותף של שנינו או ליצור במשותף שני ספרים: ספר תיאורטי וספר לתרגילים. הרעיון הזה עבר גלגולים שונים ונותב בסופו של דבר לכתיבה של הספר הזה כפרוייקט נפרד שלי. בכל אופן יאן, שיש לו ניסיון בהרצאת המקצוע עבר על חלקים גדולים של החומר הכתוב בגרסאות המוקדמות והמאוחרות שלן והעיר הערות מקצועיות ודידקטיות רבות שערכן לא יסולא בפז. על כך נתונה לו תודתי. אני גם מודה לו מאוד על העידוד הרב בכתיבה הארוכה שנתמשכה מעבר למצופה. תודה מיוחדת מגיעה גם לחבר נוסף - שי מלול, שהוא הכותב של ספרים מעולים בתחום המיקרו-בקרים 89C51, ושעמו התייעצתי לעתים בזמן כתיבת הספר. שי שמרצה את הקורס הנוכחי ותרגל אותו ועבר גם על הכתב והעיר הערות בונות רבות. חלק מהערות החשובות שקיבלתי ממנו היו כיצד להסביר דברים מסובכים באופן פשוט יותר וכיצד לכתוב בסגנון שיהיה מובן יותר לכולם. העידוד שלו והתבונות שלו היו חשובות ועל כל אלו אני מודה לו רבות. תודה מיוחדת לעתליה זיו. עתליה קראה את החומר בעיון רב ומילאה את הטקסט המוקדם במספר עצום של הערות שנכתבו באותיות אדומות קטנות. הערות אלו כללו: תיקון שגיאות רבות בניסוח, תיקון שיבושי לשון, הצעות רבות לשינויים ושיפורים בניסוח, הערות דידקטיות ותיקון שגיאות טכניות שונות בטבלאות בנוסחאות והמשוואות הרבות שבספר. ספר זה לא יכל לצאת לאור בצורתו הנוכחית, ללא מכבש הביקורת היסודי שלה ועל כך נתונה לה תודתי הרבה. תודה מיוחד גם לרקפת רוזנטל. רקפת תיקנה שגיאות והציעה הצעות מצוינות לשיפורים בניסוח אך בעיקר חפרה עמוק מאוד בכל הדוגמאות ובהסברים וגם במסובכים ביותר שבהם ומצאה בהם שגיאות והציעה הצעות לתיקונן. מיותר לציין שלומד חדש שמתוודע לחומר שמכיל שגיאות כאלו עשוי לאבד את ביטחונו העצמי. רקפת עזרה מאוד להקטין את ממדי הבעיה הזו ועל כך נתונה לה תודתי הרבה. קוראת קפדנית נוספת היא אוריין אדרי שתיקנה שגיאות קטנות ומעצבנות. יש לה חלק לא קטן בתיקון שגיאות שקשה לראות אותן. אני חב תודות רבות גם לקורא המאוד מסור, חרוץ ויסודי יורי סברנסקי שקרא את הטקסט במהירות רבה ותיקן טעויות לא מעטות. תודה גם לרן שושני אל מלאכת הקריאה שלו וההערות שנתן. 7 פרק המבוא

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

29 תרגיל 2) העבר את המספרים המוצגים בבסיס להצגה בינארית 25() 24 () 243 () תרגיל ( 3 דוגמא העבר את המספר המבוטא בבסיס בינארי לצורה עשרונית (2) פתרון :

29 תרגיל 2) העבר את המספרים המוצגים בבסיס להצגה בינארית 25() 24 () 243 () תרגיל ( 3 דוגמא העבר את המספר המבוטא בבסיס בינארי לצורה עשרונית (2) פתרון : 29 תרגילי חזרה: העברת בסיסים נתון המספר ()43 מצא את ערכו של המספר בבסיס 2 הראה את הדרך לפתרון ( פתרון התרגיל : נגדיר תבניות שערכן גדל פי 2 החל מהמספר עד תבנית הגדולה וסמוכה למספר 256 28 64 32 6 8 4 2 ממלאים

Διαβάστε περισσότερα

תרגול פעולות מומצאות 3

תרגול פעולות מומצאות 3 תרגול פעולות מומצאות. ^ = ^ הפעולה החשבונית סמן את הביטוי הגדול ביותר:. ^ ^ ^ π ^ הפעולה החשבונית c) #(,, מחשבת את ממוצע המספרים בסוגריים.. מהי תוצאת הפעולה (.7,.0,.)#....0 הפעולה החשבונית משמשת חנות גדולה

Διαβάστε περισσότερα

שדות תזכורת: פולינום ממעלה 2 או 3 מעל שדה הוא פריק אם ורק אם יש לו שורש בשדה. שקיימים 5 מספרים שלמים שונים , ראשוני. שעבורם

שדות תזכורת: פולינום ממעלה 2 או 3 מעל שדה הוא פריק אם ורק אם יש לו שורש בשדה. שקיימים 5 מספרים שלמים שונים , ראשוני. שעבורם תזכורת: פולינום ממעלה או מעל שדה הוא פריק אם ורק אם יש לו שורש בשדה p f ( m i ) = p m1 m5 תרגיל: נתון עבור x] f ( x) Z[ ראשוני שקיימים 5 מספרים שלמים שונים שעבורם p x f ( x ) f ( ) = נניח בשלילה ש הוא

Διαβάστε περισσότερα

פתרון תרגיל מרחבים וקטורים. x = s t ולכן. ur uur נסמן, ur uur לכן U הוא. ur uur. ur uur

פתרון תרגיל מרחבים וקטורים. x = s t ולכן. ur uur נסמן, ur uur לכן U הוא. ur uur. ur uur פתרון תרגיל --- 5 מרחבים וקטורים דוגמאות למרחבים וקטורים שונים מושגים בסיסיים: תת מרחב צירוף לינארי x+ y+ z = : R ) בכל סעיף בדקו האם הוא תת מרחב של א } = z = {( x y z) R x+ y+ הוא אוסף הפתרונות של המערכת

Διαβάστε περισσότερα

ניהול תמיכה מערכות שלבים: DFfactor=a-1 DFt=an-1 DFeror=a(n-1) (סכום _ הנתונים ( (מספר _ חזרות ( (מספר _ רמות ( (סכום _ ריבועי _ כל _ הנתונים (

ניהול תמיכה מערכות שלבים: DFfactor=a-1 DFt=an-1 DFeror=a(n-1) (סכום _ הנתונים ( (מספר _ חזרות ( (מספר _ רמות ( (סכום _ ריבועי _ כל _ הנתונים ( תכנון ניסויים כאשר קיימת אישביעות רצון מהמצב הקיים (למשל כשלים חוזרים בבקרת תהליכים סטטיסטית) נחפש דרכים לשיפור/ייעול המערכת. ניתן לבצע ניסויים על גורם בודד, שני גורמים או יותר. ניסויים עם גורם בודד: נבצע

Διαβάστε περισσότερα

פרק 6: מסכמים, בוררים, מפענחים

פרק 6: מסכמים, בוררים, מפענחים פרק 6: מסכמים, בוררים, מפענחים דוגמת חיבור שני מספרים בינריים נשא (carry) + + מסכם בינרי מלא (FA) Full-Adder מבצע את החישוב עבור זוג סיביות: A מחוברים B נשא כניסה FA o סכום נשא יציאה טבלת האמת של FA [out

Διαβάστε περισσότερα

לדוגמה: במפורט: x C. ,a,7 ו- 13. כלומר בקיצור

לדוגמה: במפורט: x C. ,a,7 ו- 13. כלומר בקיצור הרצאה מס' 1. תורת הקבוצות. מושגי יסוד בתורת הקבוצות.. 1.1 הקבוצה ואיברי הקבוצות. המושג קבוצה הוא מושג בסיסי במתמטיקה. אין מושגים בסיסים יותר, אשר באמצעותם הגדרתו מתאפשרת. הניסיון והאינטואיציה עוזרים להבין

Διαβάστε περισσότερα

I. גבולות. x 0. מתקיים L < ε. lim אם ורק אם. ( x) = 1. lim = 1. lim. x x ( ) הפונקציה נגזרות Δ 0. x Δx

I. גבולות. x 0. מתקיים L < ε. lim אם ורק אם. ( x) = 1. lim = 1. lim. x x ( ) הפונקציה נגזרות Δ 0. x Δx דפי נוסחאות I גבולות נאמר כי כך שלכל δ קיים > ε לכל > lim ( ) L המקיים ( ) מתקיים L < ε הגדרת הגבול : < < δ lim ( ) lim ורק ( ) משפט הכריך (סנדוויץ') : תהיינה ( ( ( )g ( )h פונקציות המוגדרות בסביבה נקובה

Διαβάστε περισσότερα

נספח לפרק 10 דוגמא לאנליזה של מכונת מצבים ננסה להבין את פעולתה של מ כונת המצבים הבאה : Input X. q 0 q 1. output D FF-0 D FF-1. clk

נספח לפרק 10 דוגמא לאנליזה של מכונת מצבים ננסה להבין את פעולתה של מ כונת המצבים הבאה : Input X. q 0 q 1. output D FF-0 D FF-1. clk נספח לפרק 10 דוגמא לאנליזה של מכונת מצבים ננסה להבין את פעולתה של מ כונת המצבים הבאה : Input X D FF-0 q 0 q 1 Z D FF-1 output clk 424 מצב המכונה מוגדר על ידי יציאות רכיבי הזיכרון. נסמן את המצב הנוכחי q

Διαβάστε περισσότερα

ל הזכויות שמורות לדפנה וסטרייך

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

Διαβάστε περισσότερα

צעד ראשון להצטיינות מבוא: קבוצות מיוחדות של מספרים ממשיים

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

Διαβάστε περισσότερα

brookal/logic.html לוגיקה מתמטית תרגיל אלון ברוק

brookal/logic.html לוגיקה מתמטית תרגיל אלון ברוק יום א 14 : 00 15 : 00 בניין 605 חדר 103 http://u.cs.biu.ac.il/ brookal/logic.html לוגיקה מתמטית תרגיל אלון ברוק 29/11/2017 1 הגדרת קבוצת הנוסחאות הבנויות היטב באינדוקציה הגדרה : קבוצת הנוסחאות הבנויות

Διαβάστε περισσότερα

חורף תש''ע פתרון בחינה סופית מועד א'

חורף תש''ע פתרון בחינה סופית מועד א' מד''ח 4 - חורף תש''ע פתרון בחינה סופית מועד א' ( u) u u u < < שאלה : נתונה המד''ח הבאה: א) ב) ג) לכל אחד מן התנאים המצורפים בדקו האם קיים פתרון יחיד אינסוף פתרונות או אף פתרון אם קיים פתרון אחד או יותר

Διαβάστε περισσότερα

תרגול 1 חזרה טורי פורייה והתמרות אינטגרליות חורף תשע"ב זהויות טריגונומטריות

תרגול 1 חזרה טורי פורייה והתמרות אינטגרליות חורף תשעב זהויות טריגונומטריות תרגול חזרה זהויות טריגונומטריות si π α) si α π α) α si π π ), Z si α π α) t α cot π α) t α si α cot α α α si α si α + α siα ± β) si α β ± α si β α ± β) α β si α si β si α si α α α α si α si α α α + α si

Διαβάστε περισσότερα

פרק - 8 יחידות זיכרון ) Flop Flip דלגלג (

פרק - 8 יחידות זיכרון ) Flop Flip דלגלג ( פרק - 8 יחידות זיכרון ) Flop Flip דלגלג ( עד כה עסקנו במערכות צירופיות בהן ערכי המוצא נקבעים לפי ערכי המבוא הנוכחיים בלבד. במערכות אלו אסורים מסלולים מעגליים. כעת נרחיב את הדיון למערכות עם מעגלים. למשל

Διαβάστε περισσότερα

שאלה 1 V AB פתרון AB 30 R3 20 R

שאלה 1 V AB פתרון AB 30 R3 20 R תרגילים בתורת החשמל כתה יג שאלה א. חשב את המתח AB לפי משפט מילמן. חשב את הזרם בכל נגד לפי המתח שקיבלת בסעיף א. A 60 0 8 0 0.A B 8 60 0 0. AB 5. v 60 AB 0 0 ( 5.) 0.55A 60 א. פתרון 0 AB 0 ( 5.) 0 0.776A

Διαβάστε περισσότερα

דף פתרונות 7 נושא: תחשיב הפסוקים: צורה דיסיונקטיבית נורמלית, מערכת קשרים שלמה, עקביות

דף פתרונות 7 נושא: תחשיב הפסוקים: צורה דיסיונקטיבית נורמלית, מערכת קשרים שלמה, עקביות יסודות לוגיקה ותורת הקבוצות למערכות מידע (סמסטר ב 2012) דף פתרונות 7 נושא: תחשיב הפסוקים: צורה דיסיונקטיבית נורמלית, מערכת קשרים שלמה, עקביות 1. מצאו צורה דיסיונקטיבית נורמלית קנונית לפסוקים הבאים: (ג)

Διαβάστε περισσότερα

פתרון תרגיל 8. מרחבים וקטורים פרישה, תלות \ אי-תלות לינארית, בסיס ומימד ... ( ) ( ) ( ) = L. uuruuruur. { v,v,v ( ) ( ) ( ) ( )

פתרון תרגיל 8. מרחבים וקטורים פרישה, תלות \ אי-תלות לינארית, בסיס ומימד ... ( ) ( ) ( ) = L. uuruuruur. { v,v,v ( ) ( ) ( ) ( ) פתרון תרגיל 8. מרחבים וקטורים פרישה, תלות \ אי-תלות לינארית, בסיס ומימד a d U c M ( יהי b (R) a b e ל (R M ( (אין צורך להוכיח). מצאו קבוצה פורשת ל. U בדקו ש - U מהווה תת מרחב ש a d U M (R) Sp,,, c a e

Διαβάστε περισσότερα

סדרות - תרגילים הכנה לבגרות 5 יח"ל

סדרות - תרגילים הכנה לבגרות 5 יחל סדרות - הכנה לבגרות 5 יח"ל 5 יח"ל סדרות - הכנה לבגרות איברים ראשונים בסדרה) ) S מסמן סכום תרגיל S0 S 5, S6 בסדרה הנדסית נתון: 89 מצא את האיבר הראשון של הסדרה תרגיל גוף ראשון, בשנייה הראשונה לתנועתו עבר

Διαβάστε περισσότερα

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

תשובות מלאות לבחינת הבגרות במתמטיקה מועד ג' תשעד, מיום 0/8/0610 שאלונים: 315, מוצע על ידי בית הספר לבגרות ולפסיכומטרי של אבירם פלדמן תשובות מלאות לבחינת הבגרות במתמטיקה מועד ג' תשע"ד, מיום 0/8/0610 שאלונים: 315, 635865 מוצע על ידי בית הספר לבגרות ולפסיכומטרי של אבירם פלדמן שאלה מספר 1 נתון: 1. סדרה חשבונית שיש בה n איברים...2 3. האיבר

Διαβάστε περισσότερα

יסודות לוגיקה ותורת הקבוצות למערכות מידע (סמסטר ב 2012)

יסודות לוגיקה ותורת הקבוצות למערכות מידע (סמסטר ב 2012) יסודות לוגיקה ותורת הקבוצות למערכות מידע (סמסטר ב 2012) דף פתרונות 6 נושא: תחשיב הפסוקים: הפונקציה,val גרירה לוגית, שקילות לוגית 1. כיתבו טבלאות אמת לפסוקים הבאים: (ג) r)).((p q) r) ((p r) (q p q r (p

Διαβάστε περισσότερα

סימני התחלקות ב 3, ב 6 וב 9

סימני התחלקות ב 3, ב 6 וב 9 סימני התחלקות ב 3, ב 6 וב 9 תוכן העניינים מבוא לפרק "סימני התחלקות" ב 3, ב 6 וב 9............ 38 א. סימני ההתחלקות ב 2, ב 5 וב 10 (חזרה)............ 44 ב. סימן ההתחלקות ב 3..............................

Διαβάστε περισσότερα

תרגול מס' 6 פתרון מערכת משוואות ליניארית

תרגול מס' 6 פתרון מערכת משוואות ליניארית אנליזה נומרית 0211 סתיו - תרגול מס' 6 פתרון מערכת משוואות ליניארית נרצה לפתור את מערכת המשוואות יהי פתרון מקורב של נגדיר את השארית: ואת השגיאה: שאלה 1: נתונה מערכת המשוואות הבאה: הערך את השגיאה היחסית

Διαβάστε περισσότερα

[ ] Observability, Controllability תרגול 6. ( t) t t קונטרולבילית H למימדים!!) והאובז' דוגמא: x. נשתמש בעובדה ש ) SS rank( S) = rank( עבור מטריצה m

[ ] Observability, Controllability תרגול 6. ( t) t t קונטרולבילית H למימדים!!) והאובז' דוגמא: x. נשתמש בעובדה ש ) SS rank( S) = rank( עבור מטריצה m Observabiliy, Conrollabiliy תרגול 6 אובזרווביליות אם בכל רגע ניתן לשחזר את ( (ומכאן גם את המצב לאורך זמן, מתוך ידיעת הכניסה והיציאה עד לרגע, וזה עבור כל צמד כניסה יציאה, אז המערכת אובזרוובילית. קונטרולביליות

Διαβάστε περισσότερα

סיכום- בעיות מינימוםמקסימום - שאלון 806

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

Διαβάστε περισσότερα

התפלגות χ: Analyze. Non parametric test

התפלגות χ: Analyze. Non parametric test מבחני חי בריבוע לבדיקת טיב התאמה דוגמא: זורקים קוביה 300 פעמים. להלן התוצאות שהתקבלו: 6 5 4 3 2 1 תוצאה 41 66 45 56 49 43 שכיחות 2 התפלגות χ: 0.15 התפלגות חי בריבוע עבור דרגות חופש שונות 0.12 0.09 0.06

Διαβάστε περισσότερα

Charles Augustin COULOMB ( ) קולון חוק = K F E המרחק סטט-קולון.

Charles Augustin COULOMB ( ) קולון חוק = K F E המרחק סטט-קולון. Charles Augustin COULOMB (1736-1806) קולון חוק חוקקולון, אשרנקראעלשםהפיזיקאיהצרפתישארל-אוגוסטיןדהקולוןשהיהאחדהראשוניםשחקרבאופןכמותיאתהכוחותהפועלים ביןשניגופיםטעונים. מדידותיוהתבססועלמיתקןהנקראמאזניפיתול.

Διαβάστε περισσότερα

רשימת משפטים והגדרות

רשימת משפטים והגדרות רשימת משפטים והגדרות חשבון אינפיניטיסימאלי ב' מרצה : למברג דן 1 פונקציה קדומה ואינטגרל לא מסויים הגדרה 1.1. (פונקציה קדומה) יהי f :,] [b R פונקציה. פונקציה F נקראת פונקציה קדומה של f אם.[, b] גזירה ב F

Διαβάστε περισσότερα

סוגי הסברים והצדקות בספרי לימוד במתמטיקה לכיתה ז '

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

Διαβάστε περισσότερα

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

משוואות רקורסיביות רקורסיה זו משוואה או אי שוויון אשר מתארת פונקציה בעזרת ערכי הפונקציה על ארגומנטים קטנים. למשל: יונתן יניב, דוד וייץ משוואות רקורסיביות הגדרה: רקורסיה זו משוואה או אי שוויון אשר מתארת פונקציה בעזרת ערכי הפונקציה על ארגומנטים קטנים למשל: T = Θ 1 if = 1 T + Θ if > 1 יונתן יניב, דוד וייץ 1 דוגמא נסתכל על האלגוריתם הבא למציאת

Διαβάστε περισσότερα

הגדרה: מצבים k -בני-הפרדה

הגדרה: מצבים k -בני-הפרדה פרק 12: שקילות מצבים וצמצום מכונות לעי תים קרובות, תכנון המכונה מתוך סיפור המעשה מביא להגדרת מצבים יתי רים states) :(redundant הפונקציה שהם ממלאים ניתנת להשגה באמצעו ת מצבים א חרים. כיוון שמספר רכיבי הזיכרון

Διαβάστε περισσότερα

gcd 24,15 = 3 3 =

gcd 24,15 = 3 3 = מחלק משותף מקסימאלי משפט אם gcd a, b = g Z אז קיימים x, y שלמים כך ש.g = xa + yb במלים אחרות, אם ה כך ש.gcd a, b = xa + yb gcd,a b של שני משתנים הוא מספר שלם, אז קיימים שני מקדמים שלמים כאלה gcd 4,15 =

Διαβάστε περισσότερα

גבול ורציפות של פונקציה סקלרית שאלות נוספות

גבול ורציפות של פונקציה סקלרית שאלות נוספות 08 005 שאלה גבול ורציפות של פונקציה סקלרית שאלות נוספות f ( ) f ( ) g( ) f ( ) ו- lim f ( ) ו- ( ) (00) lim ( ) (00) f ( בסביבת הנקודה (00) ) נתון: מצאו ) lim g( ( ) (00) ננסה להיעזר בכלל הסנדביץ לשם כך

Διαβάστε περισσότερα

Logic and Set Theory for Comp. Sci.

Logic and Set Theory for Comp. Sci. 234293 - Logic and Set Theory for Comp. Sci. Spring 2008 Moed A Final [partial] solution Slava Koyfman, 2009. 1 שאלה 1 לא נכון. דוגמא נגדית מפורשת: יהיו } 2,(p 1 p 2 ) (p 2 p 1 ).Σ 2 = {p 2 p 1 },Σ 1 =

Διαβάστε περισσότερα

3-9 - a < x < a, a < x < a

3-9 - a < x < a, a < x < a 1 עמוד 59, שאלהמס', 4 סעיףג' תיקוני הקלדה שאלון 806 צריך להיות : ג. מצאאתמקומושלאיברבסדרהזו, שקטןב- 5 מסכוםכלהאיבריםשלפניו. עמוד 147, שאלהמס' 45 ישלמחוקאתהשאלה (מופיעהפעמיים) עמוד 184, שאלהמס', 9 סעיףב',תשובה.

Διαβάστε περισσότερα

קבוצה היא שם כללי לתיאור אוסף כלשהו של איברים.

קבוצה היא שם כללי לתיאור אוסף כלשהו של איברים. א{ www.sikumuna.co.il מהי קבוצה? קבוצה היא שם כללי לתיאור אוסף כלשהו של איברים. קבוצה היא מושג יסודי במתמטיקה.התיאור האינטואיטיבי של קבוצה הוא אוסף של עצמים כלשהם. העצמים הנמצאים בקבוצה הם איברי הקבוצה.

Διαβάστε περισσότερα

פתרון תרגיל 5 מבוא ללוגיקה ותורת הקבוצות, סתיו תשע"ד

פתרון תרגיל 5 מבוא ללוגיקה ותורת הקבוצות, סתיו תשעד פתרון תרגיל 5 מבוא ללוגיקה ותורת הקבוצות, סתיו תשע"ד 1. לכל אחת מן הפונקציות הבאות, קבעו אם היא חח"ע ואם היא על (הקבוצה המתאימה) (א) 3} {1, 2, 3} {1, 2, : f כאשר 1 } 1, 3, 3, 3, { 2, = f לא חח"ע: לדוגמה

Διαβάστε περισσότερα

לוגיקה ותורת הקבוצות מבחן סופי אביב תשע"ב (2012) דפי עזר

לוגיקה ותורת הקבוצות מבחן סופי אביב תשעב (2012) דפי עזר לוגיקה ותורת הקבוצות מבחן סופי אביב תשע"ב (2012) דפי עזר תורת הקבוצות: סימונים.N + = N \ {0} קבוצת המספרים הטבעיים; N Z קבוצת המספרים השלמים. Q קבוצת המספרים הרציונליים. R קבוצת המספרים הממשיים. הרכבת

Διαβάστε περισσότερα

Vcc. Bead uF 0.1uF 0.1uF

Vcc. Bead uF 0.1uF 0.1uF ריבוי קבלים תוצאות בדיקה מאת: קרלוס גררו. מחלקת בדיקות EMC 1. ריבוי קבלים תוצאות בדיקה: לקחנו מעגל HLXC ובדקנו את סינון המתח על רכיב. HLX מעגל הסינון בנוי משלוש קבלים של, 0.1uF כל קבל מחובר לארבע פיני

Διαβάστε περισσότερα

תרגיל 13 משפטי רול ולגראנז הערות

תרגיל 13 משפטי רול ולגראנז הערות Mthemtics, Summer 20 / Exercise 3 Notes תרגיל 3 משפטי רול ולגראנז הערות. האם קיים פתרון למשוואה + x e x = בקרן )?(0, (רמז: ביחרו x,f (x) = e x הניחו שיש פתרון בקרן, השתמשו במשפט רול והגיעו לסתירה!) פתרון

Διαβάστε περισσότερα

תרגילים באמצעות Q. תרגיל 2 CD,BF,AE הם גבהים במשולש .ABC הקטעים. ABC D נמצאת על המעגל בין A ל- C כך ש-. AD BF ABC FME

תרגילים באמצעות Q. תרגיל 2 CD,BF,AE הם גבהים במשולש .ABC הקטעים. ABC D נמצאת על המעגל בין A ל- C כך ש-. AD BF ABC FME הנדסת המישור - תרגילים הכנה לבגרות תרגילים הנדסת המישור - תרגילים הכנה לבגרות באמצעות Q תרגיל 1 מעגל העובר דרך הקודקודים ו- של המקבילית ו- חותך את האלכסונים שלה בנקודות (ראה ציור) מונחות על,,, הוכח כי

Διαβάστε περισσότερα

חישוביות הרצאה 4 לא! זיהוי שפות ע''י מכונות טיורינג הוכחה: הגדרת! : f r

חישוביות הרצאה 4 לא! זיהוי שפות ע''י מכונות טיורינג הוכחה: הגדרת! : f r ל' ' פונקציות פרימיטיביות רקורסיביות חישוביות הרצאה 4 האם כל פונקציה מלאה היא פרימיטיבית רקורסיבית? לא נראה שתי הוכחות: פונקציות רקורסיביות (המשך) זיהוי שפות ע''י מכונות טיורינג הוכחה קיומית: קיימות פונקציות

Διαβάστε περισσότερα

יווקיינ לש תוביציה ןוירטירק

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

Διαβάστε περισσότερα

normally open (no) normally closed (nc) depletion mode depletion and enhancement mode enhancement mode n-type p-type n-type p-type n-type p-type

normally open (no) normally closed (nc) depletion mode depletion and enhancement mode enhancement mode n-type p-type n-type p-type n-type p-type 33 3.4 מודל ליניארי ומעגל תמורה לטרנזיסטורי אפקט שדה ישנם שני סוגים של טרנזיסטורי אפקט השדה: א ב, (ormally מבוסס על שיטת המיחסו( oe JFT (ormally oe המבוסס על שיטת המיחסור MOFT ו- MOFT המבוסס על שיטת העשרה

Διαβάστε περισσότερα

מתמטיקה בדידה תרגול מס' 5

מתמטיקה בדידה תרגול מס' 5 מתמטיקה בדידה תרגול מס' 5 נושאי התרגול: פונקציות 1 פונקציות הגדרה 1.1 פונקציה f מ A (התחום) ל B (הטווח) היא קבוצה חלקית של A B המקיימת שלכל a A קיים b B יחיד כך ש. a, b f a A.f (a) = ιb B. a, b f או, בסימון

Διαβάστε περισσότερα

סיכום בנושא של דיפרנציאביליות ונגזרות כיווניות

סיכום בנושא של דיפרנציאביליות ונגזרות כיווניות סיכום בנושא של דיפרנציאביליות ונגזרות כיווניות 25 בדצמבר 2016 תזכורת: תהי ) n f ( 1, 2,..., פונקציה המוגדרת בסביבה של f. 0 גזירה חלקית לפי משתנה ) ( = 0, אם קיים הגבול : 1 0, 2 0,..., בנקודה n 0 i f(,..,n,).lim

Διαβάστε περισσότερα

הקדמה... ייעודו של הספר...

הקדמה... ייעודו של הספר... ìåìî éù ãåîéìã øôññ íéø áí åø éîî íéè éåøôìí 8051 úçôùîîî éìáîñàé úôùáá 052 ÿ 2671210 email: elmtv@netvision.net.il (CJKP KNB) [ZG[ \BXGF web: http://shoresh.sfarim.net # ZCIPN \GZGP[ NT \GKGMHF NM ZGBN

Διαβάστε περισσότερα

{ : Halts on every input}

{ : Halts on every input} אוטומטים - תרגול 13: רדוקציות, משפט רייס וחזרה למבחן E תכונה תכונה הינה אוסף השפות מעל.(property המקיימות תנאים מסוימים (תכונה במובן של Σ תכונה לא טריביאלית: תכונה היא תכונה לא טריוויאלית אם היא מקיימת:.

Διαβάστε περισσότερα

חידה לחימום. כתבו תכappleית מחשב, המקבלת כקלט את M ו- N, מחליטה האם ברצוappleה להיות השחקן הפותח או השחקן השappleי, ותשחק כך שהיא תappleצח תמיד.

חידה לחימום. כתבו תכappleית מחשב, המקבלת כקלט את M ו- N, מחליטה האם ברצוappleה להיות השחקן הפותח או השחקן השappleי, ותשחק כך שהיא תappleצח תמיד. חידה לחימום ( M ש- N > (כך מספרים טבעיים Mו- N שappleי appleתוappleים בעלי אותה הזוגיות (שappleיהם זוגיים או שappleיהם אי - זוגיים). המספרים הטבעיים מ- Mעד Nמסודרים בשורה, ושappleי שחקappleים משחקים במשחק.

Διαβάστε περισσότερα

אוגרים: Registers מונים: Counters

אוגרים: Registers מונים: Counters תרגול מס פר 5 6, מעגלי ם ספרתיים נבנה מעגלים עם זיכרון. נכיר 3 סוגי רכיבים: דלגלגים: FlipFlops אוגרים: Registers מונים: Counters Flip Flops נכיר 4 סוגים: SR-FF T-FF D-FF JK-FF כל FF מהווה יחידת זיכרון

Διαβάστε περισσότερα

הרצאה 9: CTMC מבוא לתורת התורים

הרצאה 9: CTMC מבוא לתורת התורים הרצאה 9: CTMC מבוא לתורת התורים תורת התורים למערכת תורים שלושה מרכיבים עיקריים: -- זרם של צרכנים שזמני המופע שלהם הם תהליך נקודות T1, T1 + T2,, T1 + + T, -- דרישות שרות של הצרכנים, שהם סדרה של משתנים מקריים

Διαβάστε περισσότερα

אוטומט סופי דטרמיניסטי מוגדר ע"י החמישייה:

אוטומט סופי דטרמיניסטי מוגדר עי החמישייה: 2 תרגול אוטומט סופי דטרמיניסטי אוטומטים ושפות פורמליות בר אילן תשעז 2017 עקיבא קליינרמן הגדרה אוטומט סופי דטרמיניסטי מוגדר ע"י החמישייה: (,, 0,, ) כאשר: א= "ב שפת הקלט = קבוצה סופית לא ריקה של מצבים מצב

Διαβάστε περισσότερα

s ק"מ קמ"ש מ - A A מ - מ - 5 p vp v=

s קמ קמש מ - A A מ - מ - 5 p vp v= את זמני הליכת הולכי הרגל עד הפגישות שלהם עם רוכב האופניים (שעות). בגרות ע מאי 0 מועד קיץ מבוטל שאלון 5006 מהירות - v קמ"ש t, א. () נסמן ב- p נכניס את הנתונים לטבלה מתאימה: רוכב אופניים עד הפגישה זמן -

Διαβάστε περισσότερα

c ארזים 26 בינואר משפט ברנסייד פתירה. Cl (z) = G / Cent (z) = q b r 2 הצגות ממשיות V = V 0 R C אזי מקבלים הצגה מרוכבת G GL R (V 0 ) GL C (V )

c ארזים 26 בינואר משפט ברנסייד פתירה. Cl (z) = G / Cent (z) = q b r 2 הצגות ממשיות V = V 0 R C אזי מקבלים הצגה מרוכבת G GL R (V 0 ) GL C (V ) הצגות של חבורות סופיות c ארזים 6 בינואר 017 1 משפט ברנסייד משפט 1.1 ברנסייד) יהיו p, q ראשוניים. תהי G חבורה מסדר.a, b 0,p a q b אזי G פתירה. הוכחה: באינדוקציה על G. אפשר להניח כי > 1 G. נבחר תת חבורה

Διαβάστε περισσότερα

תורת המספרים 1 פירוק לגורמים ראשוניים סיכום הגדרות טענות ומשפטים אביב הגדרות 1.2 טענות

תורת המספרים 1 פירוק לגורמים ראשוניים סיכום הגדרות טענות ומשפטים אביב הגדרות 1.2 טענות תורת המספרים סיכום הגדרות טענות ומשפטים אביב 017 1 פירוק לגורמים ראשוניים 1.1 הגדרות חוג A C נקראת חוג אם: היא מכילה את 0 ואת 1 סגורה תחת חיבור, חיסור, וכפל הפיך A חוג. a A נקרא הפיך אם 0,a.a 1 A קבוצת

Διαβάστε περισσότερα

בית הספר הגבוה לטכנולוגיה ירושלים אותות ומערכות הרצאות #2-3 ההערות מבוססות על אתר הקורס הפתוח של MIT 1

בית הספר הגבוה לטכנולוגיה ירושלים אותות ומערכות הרצאות #2-3 ההערות מבוססות על אתר הקורס הפתוח של MIT 1 בית הספר הגבוה לטכנולוגיה ירושלים אותות ומערכות הרצאות #2-3 ההערות מבוססות על אתר הקורס הפתוח של MIT 1 סקירת המצגת אותות ומערכות בזמן בדיד )DT( פונקצית מדרגה ופונקצית "הלם" )דגימה( a. ייצוג אותות בדידים

Διαβάστε περισσότερα

סיכום חקירת משוואות מהמעלה הראשונה ומהמעלה השנייה פרק זה הינו חלק מסיכום כולל לשאלון 005 שנכתב על-ידי מאיר בכור

סיכום חקירת משוואות מהמעלה הראשונה ומהמעלה השנייה פרק זה הינו חלק מסיכום כולל לשאלון 005 שנכתב על-ידי מאיר בכור סיכום חקירת משוואות מהמעלה הראשונה ומהמעלה השנייה פרק זה הינו חלק מסיכום כולל לשאלון 5 שנכתב על-ידי מאיר בכור. חקירת משוואה מהמעלה הראשונה עם נעלם אחד = הצורה הנורמלית של המשוואה, אליה יש להגיע, היא: b

Διαβάστε περισσότερα

מבני נתונים מבחן מועד ב' סמסטר חורף תשס"ו

מבני נתונים מבחן מועד ב' סמסטר חורף תשסו TECHNION - ISRAEL INSTITUTE OF TECHNOLOGY DEPARTMENT OF COMPUTER SCIENCE הטכניון - מכון טכנולוגי לישראל הפקולטה למדעי המחשב מרצים: רן אל-יניב, נאדר בשותי מבני נתונים 234218-1 מבחן מועד ב' סמסטר חורף תשס"ו

Διαβάστε περισσότερα

c ארזים 15 במרץ 2017

c ארזים 15 במרץ 2017 הסתברות למתמטיקאים c ארזים 15 במרץ 2017 הקורס הוא המשך של מבוא להסתברות שם דיברנו על מרחבים לכל היותר בני מניה. למשל, סדרת הטלות מטבע בלתי תלויות היא דבר שאי אפשר לממש במרחב בן מניה נסמן את התוצאה של ההטלה

Διαβάστε περισσότερα

לוגיקה ותורת הקבוצות פתרון תרגיל בית 4 אביב תשע"ו (2016)

לוגיקה ותורת הקבוצות פתרון תרגיל בית 4 אביב תשעו (2016) לוגיקה ותורת הקבוצות פתרון תרגיל בית 4 אביב תשע"ו (2016)............................................................................................................. חלק ראשון: שאלות שאינן להגשה 1. עבור

Διαβάστε περισσότερα

לוגיקה ותורת הקבוצות פתרון תרגיל בית 8 חורף תשע"ו ( ) ... חלק ראשון: שאלות שאינן להגשה נפריד למקרים:

לוגיקה ותורת הקבוצות פתרון תרגיל בית 8 חורף תשעו ( ) ... חלק ראשון: שאלות שאינן להגשה נפריד למקרים: לוגיקה ותורת הקבוצות פתרון תרגיל בית 8 חורף תשע"ו ( 2016 2015 )............................................................................................................. חלק ראשון: שאלות שאינן להגשה.1

Διαβάστε περισσότερα

= 2. + sin(240 ) = = 3 ( tan(α) = 5 2 = sin(α) = sin(α) = 5. os(α) = + c ot(α) = π)) sin( 60 ) sin( 60 ) sin(

= 2. + sin(240 ) = = 3 ( tan(α) = 5 2 = sin(α) = sin(α) = 5. os(α) = + c ot(α) = π)) sin( 60 ) sin( 60 ) sin( א. s in(0 c os(0 s in(60 c os(0 s in(0 c os(0 s in(0 c os(0 s in(0 0 s in(70 מתאים לזהות של cos(θsin(φ : s in(θ φ s in(θcos(φ sin ( π cot ( π cos ( 4πtan ( 4π sin ( π cos ( π sin ( π cos ( 4π sin ( 4π

Διαβάστε περισσότερα

( )( ) ( ) f : B C היא פונקציה חח"ע ועל מכיוון שהיא מוגדרת ע"י. מכיוון ש f היא פונקציהאז )) 2 ( ( = ) ( ( )) היא פונקציה חח"ע אז ועל פי הגדרת

( )( ) ( ) f : B C היא פונקציה חחע ועל מכיוון שהיא מוגדרת עי. מכיוון ש f היא פונקציהאז )) 2 ( ( = ) ( ( )) היא פונקציה חחע אז ועל פי הגדרת הרצאה 7 יהיו :, : C פונקציות, אז : C חח"ע ו חח"ע,אז א אם על ו על,אז ב אם ( על פי הגדרת ההרכבה )( x ) = ( )( x x, כךש ) x א יהיו = ( x ) x חח"ע נקבל ש מכיוון ש חח"ע נקבל ש מכיוון ש ( b) = c כך ש b ( ) (

Διαβάστε περισσότερα

דוגמה: יהי T עץ בינארי כפי שמתואר בציור הבא:

דוגמה: יהי T עץ בינארי כפי שמתואר בציור הבא: של שאלות מבחינות פתרונות.1 שאלהזוהופיעהבמבחןמועדג 01 דוגמה: יהי T עץ בינארי כפי שמתואר בציור הבא: הגדרות: עבור צומת בעץ בינארי T נסמן ב- T את תת העץ של T ששורשו. (תת העץ הזה כולל את ). נגדיר את תת העץ

Διαβάστε περισσότερα

מצולעים מצולעהוא צורה דו ממדית,עשויה קו"שבור"סגור. לדוגמה: משולש, מרובע, מחומש, משושה וכו'. לדוגמה:בסרטוט שלפappleיכם EC אלכסוןבמצולע.

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

Διαβάστε περισσότερα

לוגיקה ותורת הקבוצות מבחן סופי אביב תשע"ד (2014) דפי עזר

לוגיקה ותורת הקבוצות מבחן סופי אביב תשעד (2014) דפי עזר לוגיקה ותורת הקבוצות מבחן סופי אביב תשע"ד (2014) דפי עזר תורת הקבוצות: סימונים.N + = N \ {0} קבוצת המספרים הטבעיים; N Z קבוצת המספרים השלמים. Q קבוצת המספרים הרציונליים. R קבוצת המספרים הממשיים. הרכבת

Διαβάστε περισσότερα

i שאלות 8,9 בתרגיל 2 ( A, F) אלגברת יצירה Α היא זוג כאשר i F = { f קבוצה של פונקציות {I קבוצה לא ריקה ו A A n i n i מקומית מ ל. A נרשה גם פונקציות 0 f i היא פונקציה n i טבעי כך ש כך שלכל i קיים B נוצר

Διαβάστε περισσότερα

בחינה בסיבוכיות עמר ברקמן, ישי חביב מדבקית ברקוד

בחינה בסיבוכיות עמר ברקמן, ישי חביב מדבקית ברקוד בחינה בסיבוכיות עמר ברקמן, ישי חביב מדבקית ברקוד סמסטר: א' מועד: א' תאריך: יום ה' 0100004 שעה: 04:00 משך הבחינה: שלוש שעות חומר עזר: אין בבחינה שני פרקים בפרק הראשון 8 שאלות אמריקאיות ולכל אחת מהן מוצעות

Διαβάστε περισσότερα

אלגברה מודרנית פתרון שיעורי בית 6

אלגברה מודרנית פתרון שיעורי בית 6 אלגברה מודרנית פתרון שיעורי בית 6 15 בינואר 016 1. יהי F שדה ויהיו q(x) p(x), שני פולינומים מעל F. מצאו פולינומים R(x) S(x), כך שמתקיים R(x),p(x) = S(x)q(x) + כאשר deg(q),deg(r) < עבור המקרים הבאים: (תזכורת:

Διαβάστε περισσότερα

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

דף נוסחאות מבוא לבקרה לביוטכנולוגיה ( ) ( ) ( ) הגבר סטטי: ערך התחלתי וסופי של אות המוצא עפ פונקצית תמסורת (נכון עבור שורשים ממשיים בלבד!!! דף נוסחאות מבוא לבקרה לביוטכנולוגיה פונקצית תמסורת : Y( s) G X ( s) הגדרות בסיסיות : סדר של פונקצית תמסורת סדר הפולינום במכנה (החזקה הכי גבוהה של פולינום המכנה). אפסים- שורשים של פולינום המונה. קטבים שורשים

Διαβάστε περισσότερα

מבני נתונים ואלגוריתמים תרגול #11

מבני נתונים ואלגוריתמים תרגול #11 מבני נתונים ואלגוריתמים תרגול # התאמת מחרוזות סימונים והגדרות: P[,,m] כך Σ * טקסט T )מערך של תווים( באורך T[,,n] n ותבנית P באורך m ש.m n התווים של P ו T נלקחים מאלפבית סופי Σ. לדוגמא: {a,b,,z},{,}=σ.

Διαβάστε περισσότερα

תרגיל 7 פונקציות טריגונומטריות הערות

תרגיל 7 פונקציות טריגונומטריות הערות תרגיל 7 פונקציות טריגונומטריות הערות. פתרו את המשוואות הבאות. לא מספיק למצוא פתרון אחד יש למצוא את כולם! sin ( π (א) = x sin (ב) = x cos (ג) = x tan (ד) = x) (ה) = tan x (ו) = 0 x sin (x) + sin (ז) 3 =

Διαβάστε περισσότερα

מתמטיקה בדידה תרגול מס' 2

מתמטיקה בדידה תרגול מס' 2 מתמטיקה בדידה תרגול מס' 2 נושאי התרגול: כמתים והצרנות. משתנים קשורים וחופשיים. 1 כמתים והצרנות בתרגול הקודם עסקנו בתחשיב הפסוקים, שבו הנוסחאות שלנו היו מורכבות מפסוקים יסודיים (אשר קיבלו ערך T או F) וקשרים.

Διαβάστε περισσότερα

PDF created with pdffactory trial version

PDF created with pdffactory trial version הקשר בין שדה חשמלי לפוטנציאל חשמלי E נחקור את הקשר, עבור מקרה פרטי, בו יש לנו שדה חשמלי קבוע. נתון שדה חשמלי הקבוע במרחב שגודלו שווה ל. E נסמן שתי נקודות לאורך קו שדה ו המרחק בין הנקודות שווה ל x. המתח

Διαβάστε περισσότερα

הרצאה 3 קומבינטוריקה נוסחת ניוטון משפט מולטינומי. + t עבור ( ) + t

הרצאה 3 קומבינטוריקה נוסחת ניוטון משפט מולטינומי. + t עבור ( ) + t ROBABILITY AND STATISTIS הסתברות וסטטיסטיקה יוג'ין מאת קנציפר Eugee Kazieper All rights reserved 5/6 כל הזכויות שמורות 5/6 הרצאה קומבינטוריקה עצרת של מספר ופונקצית גאמא עקרון הכפל סידורים ובחירות תמורות

Διαβάστε περισσότερα

טריגונומטריה הגדרות הפונקציות הטריגונומטריות הבסיסיות

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

Διαβάστε περισσότερα

- הסקה סטטיסטית - מושגים

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

Διαβάστε περισσότερα

אלגברה ליניארית 1 א' פתרון 2

אלגברה ליניארית 1 א' פתרון 2 אלגברה ליניארית א' פתרון 3 4 3 3 7 9 3. נשתמש בכתיבה בעזרת מטריצה בכל הסעיפים. א. פתרון: 3 3 3 3 3 3 9 אז ישנו פתרון יחיד והוא = 3.x =, x =, x 3 3 הערה: אפשר גם לפתור בדרך קצת יותר ארוכה, אבל מבלי להתעסק

Διαβάστε περισσότερα

x = r m r f y = r i r f

x = r m r f y = r i r f דירוג קרנות נאמנות - מדד אלפא מול מדד שארפ. )נספחים( נספח א': חישוב מדד אלפא. מדד אלפא לדירוג קרנות נאמנות מוגדר באמצעות המשוואה הבאה: כאשר: (1) r i r f = + β * (r m - r f ) r i r f β - התשואה החודשית

Διαβάστε περισσότερα

משפטי בקרה ולולאות שעור מס. 3 כל הזכויות שמורות דר' דרור טובי המרכז האוניברסיטאי אריאל

משפטי בקרה ולולאות שעור מס. 3 כל הזכויות שמורות דר' דרור טובי המרכז האוניברסיטאי אריאל משפטי בקרה ולולאות שעור מס. 3 דרור טובי דר' 1 כל הזכויות שמורות דר' דרור טובי המרכז האוניברסיטאי אריאל - הקדמה משפט התנאי if המשימה: ברצוננו לכתוב תוכנית המקבלת שני מספרים בסדר כל שהוא ולהדפיס אותם בסדר

Διαβάστε περισσότερα

- מבוא למערכות עקיבה סינכרוניות ) מתוזמנות על ידי שעון (

- מבוא למערכות עקיבה סינכרוניות ) מתוזמנות על ידי שעון ( פרק 9 - מבוא למערכות עקיבה סינכרוניות ) מתוזמנות על ידי שעון ( מערכת עקיבה (Sequential Circuit) x i z i מערכת צירופית (Combinational Circuit) ערכי הפלט תלויים אך ורק בערכים הנוכחיים של משתני הקלט מערכת

Διαβάστε περισσότερα

תורת הגרפים - סימונים

תורת הגרפים - סימונים תורת הגרפים - סימונים.n = V,m = E בהינתן גרף,G = V,E נסמן: בתוך סימוני ה O,o,Ω,ω,Θ נרשה לעצמנו אף להיפטר מהערך המוחלט.. E V,O V + E כלומר, O V + E נכתוב במקום אם כי בכל מקרה אחר נכתוב או קשת של גרף לא

Διαβάστε περισσότερα

מתמטיקה בדידה תרגול מס' 13

מתמטיקה בדידה תרגול מס' 13 מתמטיקה בדידה תרגול מס' 13 נושאי התרגול: תורת הגרפים. 1 מושגים בסיסיים נדון בגרפים מכוונים. הגדרה 1.1 גרף מכוון הוא זוג סדור E G =,V כך ש V ו E. V הגרף נקרא פשוט אם E יחס אי רפלקסיבי. כלומר, גם ללא לולאות.

Διαβάστε περισσότερα

תכנות בשפת C פרק שלישי: בקרת זרימה שייקה בילו יועץ ומרצה בכיר למדעי המחשב וטכנולוגית מידע מומחה למערכות מידע חינוכיות, אקדמיות ומנהליות

תכנות בשפת C פרק שלישי: בקרת זרימה שייקה בילו יועץ ומרצה בכיר למדעי המחשב וטכנולוגית מידע מומחה למערכות מידע חינוכיות, אקדמיות ומנהליות תכנות בשפת C פרק שלישי: בקרת זרימה שייקה בילו יועץ ומרצה בכיר למדעי המחשב וטכנולוגית מידע מומחה למערכות מידע חינוכיות, אקדמיות ומנהליות תזכורת: שימוש במשתנים מהו משתנה הגדרת משתנים ;int i ; char c= a קלט/פלט

Διαβάστε περισσότερα

(ספר לימוד שאלון )

(ספר לימוד שאלון ) - 40700 - פתרון מבחן מס' 7 (ספר לימוד שאלון 035804) 09-05-2017 _ ' i d _ i ' d 20 _ i _ i /: ' רדיוס המעגל הגדול: רדיוס המעגל הקטן:, לכן שטח העיגול הגדול: / d, לכן שטח העיגול הקטן: ' d 20 4 D 80 Dd 4 /:

Διαβάστε περισσότερα

-107- גיאומטריה זוויות מבוא מטרתנו בפרק זה היא לחזור על המושגים שנלמדו ולהעמיק את הלימוד בנושא זה.

-107- גיאומטריה זוויות מבוא מטרתנו בפרק זה היא לחזור על המושגים שנלמדו ולהעמיק את הלימוד בנושא זה. -07- בשנים קודמות למדתם את נושא הזוויות. גיאומטריה זוויות מבוא מטרתנו בפרק זה היא לחזור על המושגים שנלמדו ולהעמיק את הלימוד בנושא זה. זווית נוצרת על-ידי שתי קרניים היוצאות מנקודה אחת. הנקודה נקראת קדקוד

Διαβάστε περισσότερα

דינמיקה כוחות. N = kg m s 2 מתאפסת.

דינמיקה כוחות. N = kg m s 2 מתאפסת. דינמיקה כאשר אנו מנתחים תנועה של גוף במושגים של מיקום, מהירות ותאוצה כפי שעשינו עד כה, אנו מדלגים על ניתוח הכוחות הפועלים על הגוף. כוחות אלו ומסתו של הגוף הם אשר קובעים את תאוצתו. על מנת לקבל קשר בין הכוחות

Διαβάστε περισσότερα

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

פתרונות , כך שאי השוויון המבוקש הוא ברור מאליו ולכן גם קודמו תקף ובכך מוכחת המונוטוניות העולה של הסדרה הנתונה. בחינת סיווג במתמטיקה.9.017 פתרונות.1 סדרת מספרים ממשיים } n {a נקראת מונוטונית עולה אם לכל n 1 מתקיים n+1.a n a האם הסדרה {n a} n = n היא מונוטונית עולה? הוכיחו תשובתכם. הסדרה } n a} היא אכן מונוטונית

Διαβάστε περισσότερα

פולינומים אורתוגונליים

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

Διαβάστε περισσότερα

ב ה צ ל ח ה! /המשך מעבר לדף/

ב ה צ ל ח ה! /המשך מעבר לדף/ בגרות לבתי ספר על יסודיים סוג הבחינה: מדינת ישראל קיץ תשע"א, מועד ב מועד הבחינה: משרד החינוך 035804 מספר השאלון: דפי נוסחאות ל 4 יחידות לימוד נספח: מתמטיקה 4 יחידות לימוד שאלון ראשון תכנית ניסוי )שאלון

Διαβάστε περισσότερα

מינימיזציה של DFA מינימיזציה של הקנוני שאותה ראינו בסעיף הקודם. בנוסף, נוכיח את יחידות האוטומט המינימלי בכך שנראה שכל אוטומט על ידי שינוי שמות

מינימיזציה של DFA מינימיזציה של הקנוני שאותה ראינו בסעיף הקודם. בנוסף, נוכיח את יחידות האוטומט המינימלי בכך שנראה שכל אוטומט על ידי שינוי שמות מינימיזציה של DFA L. הוא אוטמומט מינימלי עבור L של שפה רגולרית A ראינו בסוף הסעיף הקודם שהאוטומט הקנוני קיים A DFA בכך הוכחנו שלכל שפה רגולרית קיים אוטומט מינמלי המזהה אותה. זה אומר שלכל נקרא A A לאוטומט

Διαβάστε περισσότερα

השאלות..h(k) = k mod m

השאלות..h(k) = k mod m מבני נתונים פתרונות לסט שאלות דומה לשאלות מתרגיל 5 השאלות 2. נתונה טבלת ערבול שבה התנגשויות נפתרות בשיטת.Open Addressing הכניסו לטבלה את המפתחות הבאים: 59 88, 17, 28, 15, 4, 31, 22, 10, (מימין לשמאל),

Διαβάστε περισσότερα

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

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

Διαβάστε περισσότερα

תוכן הפרק: ,best case, average case דוגמאות 1. זמן - נמדד באמצעות מס' פעולות סיבוכיות, דוגמאות, שיפור בפקטור קבוע האלגוריתם. וגודלם. איטרטיביים. לקלט.

תוכן הפרק: ,best case, average case דוגמאות 1. זמן - נמדד באמצעות מס' פעולות סיבוכיות, דוגמאות, שיפור בפקטור קבוע האלגוריתם. וגודלם. איטרטיביים. לקלט. פרק סיבוכיות פרק סיבוכיות המושג יעילות מהו? במדעי המחשב היעילות נמדדת בעזרת מדדי סיבוכיות, החשובים שבהם: של אלגוריתמים יעילותם תוכן הפרק: יעילות מהי (זיכרון וזמן, זמן ריצה T( של אלגוריתם מהו, מהם case,

Διαβάστε περισσότερα

הרצאה 7: CTMC הסתברויות גבוליות, הפיכות בזמן, תהליכי לידה ומוות

הרצאה 7: CTMC הסתברויות גבוליות, הפיכות בזמן, תהליכי לידה ומוות הרצאה 7: CTMC הסתברויות גבוליות, הפיכות בזמן, תהליכי לידה ומוות משואות קולמוגורוב pi, j ( t + ) = pi, j ( t)( rj ) + pi, k ( t) rk, j k j pi, j ( + t) = ( ri ) pi, j ( t) + ri, k pk, j ( t) k j P ( t)

Διαβάστε περισσότερα

{ } { } { A חוקי דה-מורגן: הגדרה הסתברות מותנית P P P. נוסחת בייס ) :(Bayes P P נוסחת ההסתברות הכוללת:

{ } { } { A חוקי דה-מורגן: הגדרה הסתברות מותנית P P P. נוסחת בייס ) :(Bayes P P נוסחת ההסתברות הכוללת: A A A = = A = = = = { A B} P{ A B} P P{ B} P { } { } { A P A B = P B A } P{ B} P P P B=Ω { A} = { A B} { B} = = 434 מבוא להסתברות ח', דפי נוסחאות, עמוד מתוך 6 חוקי דה-מורגן: הגדרה הסתברות מותנית נוסחת

Διαβάστε περισσότερα

מבני נתונים מבחן מועד א' סמסטר חורף תשס"ו

מבני נתונים מבחן מועד א' סמסטר חורף תשסו TECHNION - ISRAEL INSTITUTE OF TECHNOLOGY DEPARTMENT OF COMPUTER SCIENCE הטכניון - מכון טכנולוגי לישראל הפקולטה למדעי המחשב מרצים: רן אל-יניב, נאדר בשותי מבני נתונים 234218-1 מבחן מועד א' סמסטר חורף תשס"ו

Διαβάστε περισσότερα

הרצאה 7 טרנזיסטור ביפולרי BJT

הרצאה 7 טרנזיסטור ביפולרי BJT הרצאה 7 טרנזיסטור ביפולרי JT תוכן עניינים: 1. טרנזיסטור ביפולרי :JT מבנה, זרם, תחומי הפעולה..2 מודל: S MOLL (אברסמול). 3. תחומי הפעולה של הטרנזיסטור..1 טרנזיסטור ביפולרי.JT מבנה: PNP NPN P N N P P N PNP

Διαβάστε περισσότερα

שאלה 1 נתון: (AB = AC) ABC שאלה 2 ( ) נתון. באמצעות r ו-. α שאלה 3 הוכח:. AE + BE = CE שאלה 4 האלכסון (AB CD) ABCD תשובה: 14 ס"מ = CD.

שאלה 1 נתון: (AB = AC) ABC שאלה 2 ( ) נתון. באמצעות r ו-. α שאלה 3 הוכח:. AE + BE = CE שאלה 4 האלכסון (AB CD) ABCD תשובה: 14 סמ = CD. טריגונומטריה במישור 5 יח"ל טריגונומטריה במישור 5 יח"ל 010 שאלונים 006 ו- 806 10 השאלות 1- מתאימות למיקוד קיץ = β ( = ) שאלה 1 במשולש שווה-שוקיים הוכח את הזהות נתון: sin β = sinβ cosβ r r שאלה נתון מעגל

Διαβάστε περισσότερα

שיטות אנליזה לניתוח זמנים משוערך Amortized Time Analysis

שיטות אנליזה לניתוח זמנים משוערך Amortized Time Analysis 2-3 trees שיטות אנליזה לניתוח זמנים משוערך Amortized Time Analysis Lecture 14 of Geiger & Itai s slide brochure www.cs.technion.ac.il/~dang/courseds Chapter 17 Amortized Analysis (405 429) חומר קריאה לשיעור

Διαβάστε περισσότερα