ג'ון פון נוימן
ג'ון פון נוימן (1903, 1957) היה מתמטיקאי גדול וממציא חשוב. נולד בבודפשט במשפחה יהודית. הוא היה מאוד חכם בילדותו. למד מתמטיקה וכימיה במספר אוניברסיטאות גדולות. בגיל צעיר קיבל תואר דוקטור. הוא עלה לארצות הברית ועבד בפרינסטון. בזמן מלחמת העולם עבד בפרויקט מנהטן. פרויקט מנהטן הוא שם לקבוצה שפיתחה את פ...
ארכיטקטורת פון נוימן
ארכיטקטורת פון נוימן היא רעיון למבנה מחשב. בזיכרון (מקום שמאחסן מידע) שומרים גם את התוכנית וגם את הנתונים. יש יחידה שעושה חישובים ויחידה שמכוונת את הפעולות. המחשב הראשון לפי הרעיון נקרא IAS. הוא נבנה בפרינסטון על־ידי פון נוימן. צוואר בקבוק הוא כשהמעבד מהר והזיכרון איטי. אז המעבד צריך לחכות. זה קו...
אוגר (מחשבים)
אוגר (Register) הוא מקום קטן במעבד ששומר מידע. האוגרים שומרים ערכים שהמעבד צריך עכשיו. פון נוימן היא דרך לבנות מחשב. במערכת כזו המעבד לוקח נתונים לזיכרון קטן שנקרא אוגרים כדי לעבד אותם. היחידה שעושה חישובים נקראת יחידה אריתמטית־לוגית. אוגרים עשויים מרכיבים קטנים ששומרים כל אחד ביט אחד. במחשבים ישנ...
מכונת IAS
מכונת IAS היה המחשב הראשון שנבנה במכון למחקר מתקדם בפרינסטון. תכנן אותו ג'ון פון נוימן. הבנייה התחילה בסוף 1945. הוא הופעל במידה מוגבלת ב-1951. הוא עבד במלואו מ-10.6.1952 עד 15.7.1958. התכנון שלו הוביל לבניית כ-15 מחשבים דומים, כולל 'ויצק'. המחשב השתמש בשפופרות ריק, שהן חלקים אלקטרוניים. הזיכרון היה...
הקבוצה הריקה
קבוצה ריקה היא קבוצה שאין לה שום איבר. איבר = חפץ שנמצא בתוך קבוצה. סימנים: Ø או {}. יש רק קבוצה ריקה אחת. זאת כי שתי קבוצות עם אותם איברים הן אותו הדבר. Ø היא תמיד תת־קבוצה של כל קבוצה. A ∪ Ø = A. כלומר כשמחברים את Ø אין שינוי. A ∩ Ø = Ø. כלומר אין איבר משותף. המשלים של Ø הוא כל היקום U. פון נ...
מספר סודר
מספר סודר אומר איזה מקום יש לאיבר בסדר. "סדר טוב" אומר שכל קבוצה קטנה יש לה איבר ראשון. גאורג קנטור המציא את הרעיון הזה. המספרים 0,1,2,3 הם סודרים. יש גם סודר אינסופי בשם ω (אומגה). אומגה גדול מכל מספר טבעי. אחרי אומגה מגיעים עוד מקומות, כמו אומגה ועוד אחד. העוקב של סודר הוא הסודר הבא אחריו. אם...
תבנית:ערך מומלץ 17 בדצמבר 2004
ג'ון פון נוימן (1903, 1957) היה מתמטיקאי. עזר לפתח פצצת אטום (כלי חזק). עזר גם לפתח את המחשב האלקטרוני. המציא תורת המשחקים (חקר איך אנשים או קבוצות מקבלים החלטות). עבד בתחומים שונים במתמטיקה ובמדעים....
מיון מיזוג
מיון מיזוג הוא דרך למיין רשימה של דברים בסדר עולה. המציא את השיטה ג'ון פון נוימן ב-1945. מעבירים את הרשימה לחלקים קטנים עד שכל חלק יש בו פריט אחד. פריט אחד כבר ממויין. כדי לחבר שני חלקים ממוינים, בוחנים את הפריט הראשון בכל חלק. לוקחים את הפריט הקטן יותר ומכניסים אותו לרשימה החדשה. חוזרים כך עד ש...
משפט המינימקס
משפט המינימקס עוסק במשחקים בין שני שחקנים שבהם מה שאחד מרוויח, השני מפסיד. ג'ון פון נוימן הוכיח את המשפט ב-1928. המשפט אומר שיש דרך טובה לשחק שמבטיחה לכל שחקן רווח מסוים. במשחקים כאלה לפעמים צריך לא לבחור רק אפשרות אחת. במקום זאת בוחרים באקראי בין כמה אפשרויות. זוהי אסטרטגיה מעורבת, כלומר הגרלה בין...
ג'ון פרספר אקרט
ג'ון פרספר אקרט (1919, 1995) היה מהנדס מחשבים חשוב. אקרט למד בבית הספר מור באוניברסיטת פנסילבניה. הוא קיבל תארים ב-1941 וב-1943. הוא עבד על האניאק (המחשב האלקטרוני הדיגיטלי הראשון). העבודה הזאת נעשתה בשנים 1943, 1946. אקרט ומוקלי רצו לשמור זכויות על העבודה. כשהאוניברסיטה רצתה לשנות את ההסכם, הם ...
EDSAC
EDSAC היה מחשב בריטי מוקדם שנבנה באוניברסיטת קיימברידג'. הוא נבנה על ידי פרופ' מוריס וילקס וצוותו. העיצוב השתמש ברעיון של פון נוימן - לשים הוראות ונתונים באותו מקום בזיכרון. המחשב הריץ תוכניות ראשונות ב-6 במאי 1949. התוכניות חישבו טבלה של ריבועים ומצאו מספרים ראשוניים. ה-EDSAC עבד עם קווי השהיה (...
מטריצה דו-סטוכסטית
מטריצה דו-סטוכסטית היא טבלה של מספרים. כל מספר אינו שלילי. סכום המספרים בכל שורה הוא 1. סכום המספרים בכל עמודה גם הוא 1. מטריצה תמורה היא טבלה שבה בכל שורה ובכל עמודה יש בדיוק ספרה 1, והשאר 0. פאון בירקהוף הוא אוסף כל המטריצות הדו-סטוכסטיות. המשפט של בירקהוף-פון נוימן אומר: כל מטריצה דו-סטוכסטית...
זיכרון וירטואלי
זיכרון וירטואלי הוא טריק במחשב. הוא נותן לכל תוכנית תחושה שיש לה הרבה זיכרון. ג'ון פון נוימן חשב על מחשבים בשנות ה-40. המחשב שומר גם תוכניות וגם נתונים באותו מקום. בזמנו זיכרון RAM היה יקר. בשנות ה-70 המציאו זיכרון וירטואלי כדי לעזור. זיכרון וירטואלי מחלק את הזיכרון לחלקים. חלקים לא נחוצים נשמרים ...
מספר טבעי
מספרים טבעיים הם 0, 1, 2, 3, ועוד. יש שמתחילים מ‑1 במקום מאפס. הם משמשים לספירה. ילדים לומדים אותם ראשון. מספרים יכולים להיות זוגיים. זוגי = מתחלק ב‑2 בלי שארית. יכולים להיות גם אי‑זוגיים. הקבוצה שלהם אינסופית. אינסוף = אין סוף, לא נגמרים. רעייון המספר נובע מספירה: שלושה תפוחים, שלושה ילדים. יש ...
שפת סף
שפת סף נקראת גם אסמבלי. זו שפת מחשב קרובה מאוד לשפת המכונה. שפת מכונה היא מה שהמחשב מבין ישירות. בשפת סף כל הוראה מתאימה להוראה במחשב. לכן היא עובדת על זיכרון ואוגרים (אוגר הוא מקום קטן ומהיר במעבד לשמירת מספרים). כתיבת תוכנה באסמבלי קשה יותר משפות פשוטות. פעולה אחת בשפה פשוטה יכולה לדרוש כמה פקו...
היסטוריה של המחשוב
מחשבים התחילו מכלים פשוטים. אבקוס הוא כלי עם חרוזים לספירה. גם מאזניים ושיטות לאחסון גרגירים שימשו לחישוב. נול ג'אקארד השתמש בכרטיסים מנוקבים. כרטיס מנוקב הוא פיסת נייר עם חורים. החורים קבעו מה המכונה תעבוד. בבג' תכנן מחשב גדול עם גלגלי שיניים. עדה לאבלייס כתבה רעיונות לתוכניות. רעיונות אלו דומ...
אוסקר מורגנשטרן
אוסקר מורגנשטרן נולד ב‑1902 ונפטר ב‑1977. הוא היה כלכלן. כלכלן הוא אדם שלומד כסף וכלכלה. הוא נולד בעיירה גרליץ בגרמניה. ב‑1925 קיבל תואר דוקטור. דוקטור זה תואר גבוה בלימודים. ב‑1935 הוא הפך לפרופסור באוניברסיטת וינה. בשנת 1938 פוטר בגלל שלטון הנאצים ועבר לארצות הברית. שם לימד באוניברסיטת פרינסטון ...
מיוריזציה
מיוּר (מיוֹריזציה) אומר מתי רשימה של מספרים אחת "גדולה" מהשנייה בדרך מיוחדת. קודם מסדרים כל רשימה מהמספר הגדול לקטן. אז בודקים שני דברים: שתי הרשימות נותנות את אותו סכום בכל המספרים. וגם, עבור כל k, סכום ה-k מספרים הראשונים ברשימה הראשונה גדול או שווה לסכום ה-k מספרים הראשונים בשנייה. אפשר להבין א...
תורת המשחקים
תורת המשחקים היא ענף במתמטיקה. היא עוזרת להבין מצבים שבהם אנשים בוחרים מה לעשות יחד או מתחרים. משחק הוא מצב עם שחקנים. שחקן הוא מי שמחליט מה לעשות. אסטרטגיה היא התכנית של השחקן. חוקרים חשובים early היו פון נוימן וג'ון נאש. הם חשבו על חוקי משחקים ועקרונות שיעזרו לפתור בעיות. יש משחקים שבהם כולם פו...