אלן טיורינג
אלן טיורינג נולד ב-1912 ונהיה למתמטיקאי חשוב. מתמטיקאי הוא אדם שעובד עם מספרים ורעיונות. הוריו עבדו בהודו והוא גדל בבריטניה. בבית הספר הוא אהב מתמטיקה. חבר קרוב שלו, כריסטופר, מת צעיר וזה השפיע עליו מאוד. טיורינג המציא רעיון שנקרא "מכונת טיורינג". זו דוגמה פשוטה שמראה איך מחשב יכול לחשב דברים. זו ...
מכונת טיורינג הסתברותית
מכונת טיורינג הסתברותית היא רעיון של מחשב דמיוני. מחשב זה פועל עם קצת מזל. "הסתברות" כאן פירושה כמה סיכוי שמשהו יקרה. יש כמה דרכים לתאר את המכונה הזאת. כולן דומות למודל המכונה הרגיל, אבל מוסיפים אלמנט של מזל. במחשב רגיל קלט מקובל או נדחה ברור. במכונה ההסתברותית הדברים אינם ברורים לגמרי. אפשר לקבל ...
תזת צ'רץ'-טיורינג
תזת צ'רץ'-טיורינג הוצעה על ידי אלן טיורינג ואלונזו צ'רץ' בשנות ה־30. היא אומרת: כל חישוב הגיוני אפשר לעשות עם מכונת טיורינג. מכונת טיורינג היא מכונה מדומיינת. היא קוראת וכותבת סימנים על סרט, בצעדים פשוטים. יש גרסאות שונות של התזה. גרסה חזקה מדברת על זמן ומשאבים. גרסה פיזיקלית אומרת שכל דבר שמערכת פ...
מבחן טיורינג
מבחן טיורינג הוצע על ידי אלן טיורינג כדי לבדוק אם מכונה נראית חכמה כמו אדם. במבחן חוקר מקבל תשובות בטקסט משני צדדים סתומים. אחד הוא אדם, והשני מכונה. אם החוקר לא יודע מי מי, המכונה עברה את המבחן. המבחן נועד לשאול אם מחשבים יכולים לעשות דברים שהאנשים עושים. טיורינג חשב שמכונות יוכלו לעבור את המבחן ב...
מכונת טיורינג
מכונת טיורינג היא רעיון שמסביר איך מחשב עובד בפשטות. אלן טיורינג המציא את הרעיון ב-1936. דמיין סרט ארוך מאוד עם תאים עליו. על הסרט זז ראש קטן. הראש קורא את התא, יכול לכתוב בו ולנוע ימינה או שמאלה. על הסרט יש קלט, וזהו המידע שהמכונה מקבלת. הראש קורא ומחליט מה לכתוב ואיפה לזוז לפי כללים פשוטים. ...
פרס טיורינג
פרס טיורינג הוא פרס גדול למדעי המחשב. מדעי המחשב זה לדעת איך מחשבים עובדים. הפרס ניתן על ידי ארגון שנקרא ACM. הוא קרוי על שם אלן טיורינג. טיורינג היה מדען בריטי שחשוב בעולם המחשבים. הפרס ניתן כל שנה מאז 1966. משנת 2007 נותנים גם כסף של 250,000 דולר. את הכסף מימנו חברות כמו אינטל וגוגל. משנת 2014 ה...
קטגוריה:זוכי פרס טיורינג
זהו פרס של ה‑ACM למי שעשה משהו חשוב במחשבים. הפרס נחשב כמו פרס נובל לעולם המחשבים. שמו של הפרס מגיע מאלן טיורינג, חלוץ במדעי המחשב....
פרנסס אלן
פרנסס אליזבט אלן (1932, 2020) הייתה מדענית מחשב שעבדה ב‑IBM. היא העשירה את עולם התוכנה והייתה פורצת דרך. למדה מתמטיקה באוניברסיטה והחלה לעבוד ב‑IBM ב‑1957. שם היא עזרה לבנות תוכנות חשובות ולשפר את מהירותן. היא עבדה על מהדר, תוכנה שמתרגמת הוראות של תוכניות למחשב. היא זכתה בפרס טיורינג ב‑2006. זהו...
מנואל בלום
מנואל בלום נולד ב-26 באפריל 1938 בקראקס שבונצואלה. הוא מדען מחשב יהודי-אמריקאי. ב-1995 קיבל פרס טיורינג. פרס טיורינג הוא פרס חשוב למדעי המחשב. הוא עזר להבין כמה זמן מחשב צריך כדי לפתור בעיות. זה נקרא תורת הסיבוכיות. הוא גם עזר בשיטות להצפנת מידע, שנקראות קריפטוגרפיה. וגם פיתח רעיונות לבדוק שהתוכנה ...
אולטרה
אוּלְטְרָה היה שם שנתנו הבריטים למידע שהם קיבלו מפיענוח הודעות גרמניות. ההודעות הוצפנו במכונה שנקראת אניגמה. אניגמה היא מכונה שהצפינה הודעות. המכונה שימשה את הצבא, הצי והממשלה הגרמנית. לפני המלחמה חשבו שהיא בלתי ניתנת לפיצוח. הרבה הודעות נשלחו עם אניגמה. הבריטים והפולנים עבדו כדי לקרוא אותן. הכל ...
בלצ'לי פארק
בלצ'לי פארק היא אחוזה באנגליה. בזמן מלחמת העולם השנייה שימשה מרכז סודי לפענוח הודעות של הגרמנים. האחוזה עברה לבעלות חדשה לפני המלחמה. ב־1939 מפקדת המודיעין הבריטי עברה לשם כדי להיות רחוקה מסכנת הפצצה. הכינו שם חדרי האזנה ושילחו את המידע לעיבוד. המפענחים במקום פיצחו את אניגמה. אניגמה היא מכונה שהגר...
ויטפילד דיפי
ביילי (ויט) דיפי נולד ב-5 ביוני 1944 בקווינס, ניו יורק. הוא עובד בתחום ההצפנה, שמסייע לשמור על סודות. למד מתמטיקה ב-MIT וסיים ב-1965. בשנות ה-70 הוא הציע רעיון שנקרא הצפנת מפתח פומבי. זאת שיטה שמאפשרת לשלוח הודעות סודיות בלי לחלוק סיסמה מראש. המאמר שלו עם מרטין הלמן, "כיוונים חדשים בהצפנה", פורס...
הבונה העסוק
בונה העסוק שואלת שאלה פשוטה: כמה עבודה יכולה מכונת טיורינג לעשות לפני שהיא עוצרת. מכונת טיורינג זה מחשב תיאורטי. זהו מכשיר עם סרט ארוך וראש קורא. המכונה קוראת ומושכת את הסרט. היא פועלת לפי טבלת הוראות. יש לה מצבים פנימיים. לפעמים המכונה לעולם לא עוצרת. S(n) אומרת את מספר הצעדים הכי גדול שמכונה עם ...
תורת הרקורסיה
תורת הרקורסיה בודקת מה מחשבים יכולים לחשב ומה לא. היא עוסקת בפונקציות שמקבלות מספר ומחזירות מספר. מכונת טיורינג היא מכונה דמיונית שעוברת על הוראות פשוטות. כל מכונה כזו אפשר למספר במספר טבעי. יש מכונות שמפסיקות ומחזירות מספר. יש כאלו שאף פעם לא עוצרות. לכן לפעמים פונקציה לא מוגדרת על כל הקלטים. אור...
סיבוכיות מקום
סיבוכיות מקום אומרת כמה זיכרון צריך אלגוריתם. זיכרון זה הוא המקום בו הוא עושה חישובים, ולא המקום שבו שמים את הקלט. חוקרים משתמשים במודל פשוט שנקרא מכונת טיורינג. זו דמיון למחשב עם סרט ארוך שאפשר לקרוא ולכתוב. למדוד רק את "סרט העבודה" עוזר להעריך כמה זיכרון באמת צריך האלגוריתם. אם חזרו על אותו מצב ...
משפט סביץ'
משפט סביץ' הוכח ב־1970 על ידי וולטר סביץ'. המשפט מדבר על כמה זיכרון צריך מחשב כדי לפתור בעיות. מכונת טיורינג היא דרך לחשוב על מחשב פשוט. אם אפשר לפתור בעיה כשהמחשב "מנחש" (זה נקרא אי-דטרמיניזם), אז אפשר גם לפתור אותה בלי לנחש. אבל המחשב השני צריך יותר זיכרון. הכמות הנוספת היא כמו לקחת את הזיכרון ול...
אמיר פנואלי
אמיר פנואלי (1941, 2009) היה מדען ישראלי בתחום המתמטיקה ומדעי המחשב. נולד בכפר נהלל וגדל בחולון. למד מתמטיקה ועשה דוקטורט במכון ויצמן. עבד גם בארצות הברית ובאוניברסיטאות בישראל. הוא פיתח רעיונות לבדוק תוכנות בזמן. לוגיקה טמפורמלית היא שיטה לבדוק אם תוכנה עושה את מה שמצפים ממנה בזמן הנכון. רעיון ...
אורקל (מדעי המחשב)
אורקל הוא קופסה שחורה שנותנת תשובות לשאלה בודדת בצעד אחד. קופסה שחורה הוא דבר שאפשר לשאול אבל לא לראות איך הוא עובד. אורקלים יכולים לפתור בעיות מאוד קשות, אפילו בעיות שלא תמיד אפשר לחשב, כמו בעיית העצירה (שאלה אם תוכנה תפסיק או תרוץ לנצח). מכונת טיורינג היא דרך לתאר מחשב פשוט בתור מודל. מכונת טיורי...
מספר חשיב
מספר חשיב הוא מספר שאפשר לחשב בעזרת תוכנה או מחשב מדומה. מכונת טיורינג היא מחשב תיאורטי. היא מוציאה ספרות של המספר אחת אחרי השנייה. אומרים שמספר הוא חשיב אם קיימת מכונה שמקבלת מספר n ומציגה את הספרות עד ה-n. אפשר לתת קירוב אחר: המכונה נותנת שבר שאומר כמה קרוב המספר האמיתי. הרבה מספרים חשובים ה...
מדען מחשב
מדען מחשב הוא אדם שעוסק במחקר. מחקר זה הוא במדעי המחשב (מדע על מחשבים). לומדים את זה באוניברסיטה. החוג הראשון במדעי המחשב נפתח ב-1962 בפרדו. בישראל הלימודים הראשונים לתואר התחילו ב-1969 במכון ויצמן. התחום צעיר. לכן רבים מהחוקרים הוכשרו קודם במתמטיקה. גם אנשים שפעלו לפני הקמת התחום נחשבים למדעני מחשב...
אדסחר דייקסטרה
אֶדְסְחֶר וִיבֶּה דֶיְיקְסְטְרָה נולד ב-1930 ונפטר ב-2002. נולד ברוטרדם. אביו היה כימאי. אמו הייתה מתמטיקאית. למד מתמטיקה ופיזיקה תאורטית בליידן. בין 1952 ל-1962 עבד כמתכנת. ב-1959 קיבל דוקטורט (תואר גבוה מאוד) במדעי המחשב באוניברסיטת אמסטרדם. היה פרופסור באיינדהובן ואחר כך באוניברסיטת טקסס באוסטין...
בינה מלאכותית
בינה מלאכותית (AI) היא תוכנה שמנסה לעבוד כמו מוח של אדם. היא לומדת דפוסים ועוזרת לפתור בעיות. הרעיון קיים זמן רב. ב־1956 התחיל המחקר המודרני. אלן טיורינג חשב על מבחן טיורינג לבדוק אם מכונה "חושבת". AI מופיעה במנועי חיפוש, בהמלצות סרטים, בעוזרות קוליות ובצ'אטבוטים כמו ChatGPT. יש גם מכוניות שכול...
בעיית העצירה
בעיית העצירה שואלת: האם תוכנית תפסיק לרוץ על קלט מסוים? קלט הוא המידע שמכניסים לתוכנית. אלן טיורינג הראה ב-1936 שאין דרך כללית לבדוק את זה לכל תוכנית וקלט. מכונת טיורינג היא דגם רעיוני של מחשב. ההוכחה משתמשת ברעיון פשוט של סתירה. נניח שיש בודק Halt שמגיד אם תוכנית עוצרת על קלט. נבנה תוכנית A כך:...
מוריס וינסנט וילקס
מוריס וילקס (1913, 2010) היה מדען מחשבים בריטי. הוא עזר לבנות מחשבים חשובים. וילקס למד בקיימברידג' ועבד במעבדה למתמטיקה. בזמן המלחמה הוא עבד על רדאר. אחרי המלחמה הוא בנה את EDSAC. EDSAC התחיל לעבוד במאי 1949. EDSAC היה מיוחד כי הוא שמר גם תוכניות וגם נתונים באותו מקום בזיכרון. "זיכרון" זה מקום ששו...
אדגר קוד
אדגר קוד (1923, 2003) היה מדען מחשב בריטי. הוא המציא דרך חדשה לשמור נתונים בטבלאות. טבלה היא קבוצה של שורות ועמודות. הדרך הזו נקראת המודל היחסי. היא משתמשת ברעיונות מתמטיים פשוטים על קבוצות של פריטים. חברות גדולות ניסו להשתמש ברעיון הזה, כמו DB2 ואורקל. בהתחלה זה לא עבד בכל הכללים. קוד קיבל פרס חשוב...
אלונזו צ'רץ'
אלונזו צ'רץ' (Alonzo Church; 14 ביוני 1903, 11 באוגוסט 1995) היה מתמטיקאי ולוגיקן. נולד בוושינגטון די.סי. והלך ללמוד בפרינסטון. הוא היה פרופסור שם, ואז לימד גם ב-UCLA. הוא פיתח את תחשיב למדא. תחשיב למדא הוא דרך להסביר מה מחשבים יכולים לחשב, בעזרת פונקציות (מה שהן חישובים קטנים). ב-1936 הראה צ'רץ...
סיבוכיות
סיבוכיות היא מדד למספר המשאבים שמחשב צריך כדי לפתור בעיה. המשאבים העיקריים הם זמן (כמה זמן לוקח) וזיכרון (כמה מקום בתוכו). לפעמים בודקים גם כמה מחשבים קטנים עובדים ביחד. "בעיה" היא קבוצה של שאלות דומות. שאלה בודדת נקראת מופע. לדוגמה, בעיית הפירוק: למצוא את הגורמים של מספר. השאלה "למה 15 מתפרק?" היא...
מדעי המחשב
מדעי המחשב חוקרים איך מחשבים פועלים ומשתמשים בהם. הנושאים כוללים תכנות, אלגוריתמים (הוראות צעד־צעד לפתרון), ורשתות. הרעיון של מחשב קיים כבר מזמן. צ'ארלס בבג' תכנן מחשב מכני. עדה לאבלייס כתבה תוכנה למחשב שלו. במלחמות הפיתוח האיץ את המחקר. דוגמה היא אניגמה, מכונת הצפנה גרמנית. אלן טיורינג עזר לפצח...
אלגוריתם
אלגוריתם הוא סדרת צעדים ברורה לפתרון בעיה. זו כמו מתכון לעוגה. המתכון צריך לומר בדיוק מה לעשות. אם הוא לא ברור, ייתכן שיצטרכו לחשוב או לשמש שיפורים. אלגוריתם חייב לעצור בסוף ולתת תשובה נכונה. יש רעיון תאורטי בשם "מכונת טיורינג". זוהי מכונה דמיונית שמדגימה מה אפשר לחשב. יש בעיות שאי אפשר לפתור בכלל ...
תודעה
תודעה (Consciousness) היא היכולת להרגיש ולהבין אותנו ואת מה שקורה סביבנו. זה כולל מחשבות, זיכרונות ותחושות. פילוסופים ישנים דנו בתודעה. דקארט חשב שיש "נפש" נפרדת מהגוף. היום חוקרים בוחנים גם את המוח כדי להבין תודעה. שפה יכולה לעזור לבטא תודעה. אבל גם תינוקות ובעלי חיים ללא שפה יכולים להיות מודעים....
פרדוקס השקרן
פרדוקס השקרן הוא בעיה עם משפטים שאומרים על עצמם שהם שקר. דוגמה פשוטה: "אני משקר עכשיו". אם זה נכון, אז הוא שקר. אם הוא שקר, אז הוא נכון. זו סתירה. יש סיפור עתיק על איש מכרתים שאמר "כל אנשי כרתים שקרנים". אם נאמין לו, גם הוא משקר. זה יוצר בלבול. במבחן שיש בו ארבע תשובות, התשובה הרביעית יכולה להיות ...
דונלד קנות'
דונלד קנות' נולד ב-10 בינואר 1938. הוא פרופסור מפורסם במדעי המחשב. הוא כתב ספר גדול בשם The Art of Computer Programming. הספר עוזר לתכנת ולחשוב על פתרונות בעיות. קנות' יצר תוכנה שנקראת TEX. TEX היא תוכנה שמדפיסה טקסט באיכות גבוהה. הוא גם עשה כלי שנקרא METAFONT. METAFONT הוא כלי שעוזר לעצב אותיות. ...
מיכאל רבין
מיכאל עוזר רבין נולד ב-1931. הוא מתמטיקאי ישראלי חשוב. משפחתו עלתה לארץ כשהיה ילד. הוא למד בחיפה. בגיל צעיר אהב מתמטיקה. בשנות ה-50 למד באוניברסיטה והמשיך לפרינסטון ללמוד דוקטורט. רבין עבד על רעיונות למחשבים ולתוכנות. הוא והחוקר דנה סקוט המציאו דרך לחשוב על מכונות חישוב. מכונה כזו נקראת אוטומט. או...
פרס לובנר
פרס לובנר הוא תחרות בין תוכניות מחשב שמנסות להיראות כמו בני אדם בשיחה. תוכניות כאלה נקראות בוטי שיחה. התחרות דומה למבחן טיורינג. מבחן טיורינג בודק אם שיחה עם מחשב נראית כמו שיחה עם אדם. לפני 1995 היו תוכניות שהטעו שופטים. התחרות תיפסק אם מישהו יזכה בפרס של 100,000 דולר. הפרס הוצע על ידי יו לובנר ב...
חישוביות
תורת החישוביות עוסקת במה מחשבים ו"דגמים" דמיוניים יכולים לחשב. דגם חשוב נקרא מכונת טיורינג. זו דמות דמיונית של מחשב. השאלה הגדולה היא: מה אפשר לחשב ומה לא. יש בעיה שנקראת בעיית העצירה. משמעותה: אי אפשר תמיד לדעת אם תוכנית תעצור או תרוץ לנצח. בתחילת המאה ה-20 חוקרים רצו לדעת מהי דרך פשוטה לפתור בע...
טריודה
טריודה היא שפופרת ריקה עם שלוש אלקטרודות. אלקטרודה היא חלק שממנו יכול לזרום חשמל. הטריודה עובדת בגלל פליטה תרמיונית, כאשר משהו מתחמם, יוצאים ממנו אלקטרונים. לי דה פורסט המציא את הטריודה ב-1907. הוא קרא לה "אודיון". לפני הטריודה הייתה הדיודה, שהעבירה זרם בכיוון אחד. דה פורסט הוסיף את הסריג בתוך השפ...
לאונרד אדלמן
לאונרד אדלמן נולד ב-31 בדצמבר 1945. הוא פרופסור במחשבים ובביולוגיה מולקולרית באוניברסיטת דרום קליפורניה. הוא סיים דוקטורט בברקלי ב-1976. בשנת 1994 הראה שאפשר להשתמש ב-DNA (המולקולה שמעבירה מידע גנטי) כדי לפתור בעיות מתמטיות. זה היה ניסוי ראשון שהצליח לחשב עם DNA. אדלמן עזר לפתח את RSA. RSA היא שי...
טים ברנרס-לי
טים ברנרס‑לי נולד ב‑1955. הוא המציא את ה‑World Wide Web. זהו חלק חשוב של האינטרנט. בשנת 1980 הוא עבד ב‑CERN. שם הוא יצר תוכנה בשם Enquire. היא שמרה קשרים בין רעיונות ומסמכים. בשנת 1989 טים הציע רעיון לקישור עולמי של מסמכים. הוא יצר את HTML. HTML היא שפה לבניית דפי אינטרנט. הוא גם עבד על כתובות (UR...
החדר הסיני
החדר הסיני הוא רעיון שג'ון סרל הציע ב־1980. זה ניסוי בדמיון. מבחן טיורינג זה מבחן שבודק אם שיחה עם מחשב נראית כמו שיחה עם אדם. אלגוריתם זה ספר הוראות מדויקות. אדם שלא מבין סינית יושב בחדר. יש לו ספר הוראות. מחוץ לחדר מכניסים דף בסינית. האדם עוקב אחרי הספר ומחזיר דף בתגובה. הבחוץ חושב שמדברים בסינית...
בעיית הכרעה
בעיית הכרעה היא שאלה שיש לה תשובה של כן או לא. דוגמה פשוטה: האם מספר טבעי הוא ראשוני? זו בעיית הכרעה. למצוא מספר ראשוני עם 77 ספרות זו לא בעיית הכרעה. יש בעיות מפורסמות, כמו הבעיה העשירית של הילברט. אפשר לחשוב על בעיות הכרעה כמו רשימות של מילים ששייכות ל"שפה פורמלית" (שפה פורמלית = קבוצה של מילים ...
ישראלים זוכי פרסים בין-לאומיים
ישראלים קיבלו פרסים חשובים בעולם. זה מראה שהם עבדו טוב והצטיינו. סך הכול: 13 סך הכול: 30 כאן מדברים על פרסים במתמטיקה ומדעי המחשב. פרס גדול במתמטיקה. זה פרס שמכירים למדענים מצטיינים. פרס חשוב במדעי המחשב. ישראלים זכו במדליות באולימפיאדה ובאליפויות. אנשים מישראל קיבלו פרסים גם בתחומים אלה. מד...
עדי שמיר
עדי שמיר נולד ב-6 ביולי 1952. הוא פרופסור למדעי המחשב במכון ויצמן. הוא למד באוניברסיטת תל אביב ואז קיבל תארים גבוהים במכון ויצמן. עבד גם במכון הטכנולוגי של מסצ'וסטס. שמיר עוסק בהצפנה. הצפנה היא דרך להסתיר מידע כך שאחרים לא יבינו אותו. הוא היה חלק מפיתוח RSA, שיטה להגן על הודעות. השם RSA בא מהשמות ...
פרד ברוקס
פרדריק פיליפס ברוקס (1931, 2022) עבד על תוכנות גדולות. ברוקס ניהל את פיתוח מערכת ההפעלה OS/360 ב-IBM. מערכת הפעלה היא תוכנה שמנהלת את המחשב. הוא כתב ספר חשוב בשם The Mythical Man-Month. בספר הוא סיפר על הבעיות בפרויקטים גדולים. גם כתב מאמר שנקרא No Silver Bullet. שם הוא אמר שאין פתרון קסם לבעיות ...
מחשוב DNA
מחשוב DNA משתמש ב‑DNA במקום במחשב רגיל. DNA היא מולקולה שבה רשום המידע של יצורים חיים. חוקרים משתמשים ב‑DNA כדי לעשות חישובים כימיים. ב־1994 לאונרד אדלמן הראה ש‑DNA יכול לעזור למצוא דרכים ברשת של נקודות. זה היה הניסוי הראשון. בדוגמה אחרת, מדענים ב־2004 בנו ביו‑מחשב שיכול לזהות תאים חולים ולשחרר ת...
מרטין הלמן
מרטין אדוארד הלמן נולד ב-2 באוקטובר 1945. הוא קריפטוגרף. קריפטוגרף זה אדם שעוזר לשמור על סודות במחשבים. הלמן גדל בברונקס בניו יורק ולמד בבית הספר המדעי של ברונקס. הוא קיבל תואר ראשון מאוניברסיטת ניו יורק ותארים מתקדמים בסטנפורד. הוא עבד כפרופסור ב-MIT וחזר לסטנפורד כפרופסור עד שפרש. הוא ידוע בעיק...
נעלמים (משחק)
זהו משחק שאלות של כן/לא. מישהו חושב על דבר. האחרים שואלים עד שיחשבו מה הוא. בגרסה פשוטה שואלים קודם: האם זה עצם מוחשי? "מוחשי" זה דבר שאפשר לגעת בו. אם כן, שואלים אם זה חי, צומח או דומם. אם זה לא מוחשי, זה "מופשט", לא אפשר לגעת בו. למופשט שואלים אם זה מושג (רעיון קטן), צירוף מילים או משהו שקשור ...
אוטומט מחסנית
אוטומט מחסנית הוא מכונה רעיונית במחשבים. מחסנית זה ערימה של סימנים. המכונה קוראת אות אחרי אות מהמילה. המחסנית שומרת סימנים כך שהאחרון שנכנס יוצא ראשון. אפשר לראות רק את הסימן העליון במחסנית. המכונה יכולה לשנות את מצבה ולשנות את המחסנית. היא יכולה להוציא סימן מהמחסנית ולהכניס סימנים אחרים במקומו. ...
תבנית:הידעת? 17 בספטמבר - סדרה 2
קטגוריה: מחשבים Ook! (אוּק) היא שפת תכנות. שפת תכנות = שפה שמלמדת את המחשב מה לעשות. היא משתמשת במילים של הברה אחת. שמה הגיע מהספרים של טרי פראצ'ט, 'עולם הדיסק'. Ook דומה לשפה שנקראת Brainfuck. זה מבוסס על רעיון של "מכונת טיורינג", רעיון שמסביר מה מחשבים יכולים לחשב. לכן אפשר לבצע בה חישובים רב...
אניאק
איניאק (ENIAC) היה מחשב גדול מאוד מ־1940s. מחשב = מכשיר שעושה חישובים. הוא נבנה כדי לחשב מסלולי ירי לצבא. הפרויקט התחיל ב־1943. שני מהנדסים מרכזיים היו ג'ון אקרט וג'ון מוקלי. צוות המתכנתות הראשוני כלל רק נשים שעבדו על חישובים מתמטיים. המחשב הושלם ב־1946 ועבד עד 1955. ENIAC עבד עם ספרות עשרוניות, ל...
סיבוכיות מעגלים
סיבוכיות מעגלים עוסקת במעגלים בוליאניים. מעגל בוליאני הוא רשת שערים לוגיים. שער לוגי הוא רכיב שמחליט על 0 או 1. AND מחזיר 1 רק אם כל הקלטים הם 1. OR מחזיר 1 אם לפחות קלט אחד הוא 1. NOT הופך 0 ל-1 ולהפך. למעגל יש כניסות ביטים ויציאה אחת. מעגלים מחוברים זה לזה כדי לחשב תשובה על קלט נתון. יש מעגלים ק...