סימולציה ממוחשבת
סימולציית מחשב היא הרצת דגם במחשב כדי לראות איך משהו יתנהג. דגם (מודל מתמטי) הוא רשימת כללים במתמטיקה שמסבירה איך משהו עובד. המחשב עושה חישובים לפי הדגם. יש כאן גם משוב דינאמי. זה אומר שחלקים במערכת משפיעים זה על זה ומשתנים עם הזמן. מחשב יכול לחזות תוצאות בלי לבנות את הדבר במציאות. כדי לבדוק אם ה...
אימות תוכנה
אימות תוכנה בודק שהמחשב עושה בדיוק את מה שאומרים לו. בדיקה רגילה בוחרת דוגמאות ובודקת אותן. זה טוב אבל לא בודק כל מצב. אימות מנסה להראות שזו עובדה נכונה בכל המקרים. שיטה אחת בונה "מודל" פשוט של התוכנית. מודל מתמטי הוא תיאור מתמטי של המערכת. המודל צריך להיות סופי, כלומר עם מספר מצבים שניתן לספור. ...
דאנקן ווטס
דאנקן ווטס נולד ב-1971 בגואלף שבקנדה. הוא פרופסור בבית ספר לתקשורת באוניברסיטת פנסילבניה. הוא כתב את הספר Six Degrees בשנת 2003. הוא למד פיזיקה וקיבל דוקטורט בקורנל. דוקטורט, תואר גבוה באוניברסיטה. בשנת 1998 עבד עם סטיבן סטרוגאטס על מודל רשת. מודל רשת, דרך לתאר חיבורים בין אנשים. הם מצאו "עולמות ק...