פורטל:מדעי המחשב/ערכים מבוקשים

מתוך ויקיפדיה, האנציקלופדיה החופשית

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

אדומים בתבנית:מדעי המחשב[עריכת קוד מקור]

אישים[עריכת קוד מקור]

זוכי פרס טיורינג[עריכת קוד מקור]

לערכים באנגלית ניתן לגשת דרך הערך על פרס טיורינג בוויקיפדיה האנגלית (אנ').

שנה שמות הזוכים הסיבה לזכייה
1970 בריטניהבריטניה ג'יימס וילקנסון
1973 ארצות הבריתארצות הברית צ'ארלס באקמן
1975 ארצות הבריתארצות הברית אלן ניוול
1976 ארצות הבריתארצות הברית דנה סקוט על הגדרת אוטומט סופי לא דטרמיניסטי ורעיון האי-דטרמיניזם
1977 ארצות הבריתארצות הברית ג'ון באקוס
1978 ארצות הבריתארצות הברית רוברט פלויד
1979 קנדהקנדה קנת אייברסון
1980 בריטניהבריטניה טוני הור
1987 ארצות הבריתארצות הברית ג'ון קוק
1988 ארצות הבריתארצות הברית איוואן סדארלנד
1989 קנדהקנדה וילאם קאהן
1990 ארצות הבריתארצות הברית פרננדו קורבטו
1991 בריטניהבריטניה רובין מילנר
1992 ארצות הבריתארצות הברית באטלר לאמפסון
1993 לטביהלטביהארצות הבריתארצות הברית יוריס הארטמאניס
ארצות הבריתארצות הברית ריצ'רד סטרנס
1994 הודוהודו ארצות הבריתארצות הברית ראג' רדי
1998 ארצות הבריתארצות הברית ג'ים גריי
2001 נורווגיהנורווגיה אולה יוהאן דאל
נורווגיהנורווגיה קריסטין נייגארד
2003 ארצות הבריתארצות הברית אלן קיי
2007 ארצות הבריתארצות הברית אדמונד קלארק
ארצות הבריתארצות הבריתאלן אמרסון
יווןיווןצרפתצרפתז'וסף סיפאקיס
על פיתוח שיטת בדיקות מודל בטכנולוגיית אימות יעילה ביותר בה נעשה שימוש רב בעולם עיצוב התוכנה והחומרה

זוכי פרס גדל[עריכת קוד מקור]

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

שנה שמות הזוכים הסיבה לזכייה
1993 צ'ארלס ראקוף פיתוח המושג של מערכת הוכחה אינטראקטיבית
1994 יוהאן הסטאד על מציאת חסם תחתון אקספוננציאלי על גודלם של מעגלים בוליאניים קבועי-עומק לחישוב פונקציית זוגיות
1995 ניל אימרמן, רוברט סלפצ'ני על ההוכחה כי מחלקות סיבוכיות מקום אי-דטרמיניסטיות סגורות לפעולת המשלים (משפט אימרמן)
1996 מארק ג'רום, אליסטר סינקלייר על עבודתם בנושא שרשראות מרקוב וקירוב בעיית הפרמננטה
1997 ג'וזף הלפרן על הגדרת "ידע" במערכות מבוזרות
1998 סינוסוק טודה על הוכחת הקשר בין מחלקת הסיבוכיות PP וההיררכיה הפולינומית (משפט טודה)
2000 פייר וולפר על בדיקות מודאליות בעזרת אוטומט סופי
2001 סנג'יב ארורה, קארסטן לאנד, ראג'יב מוטוואני, מדו סודן, מריו סגדי על משפט ה-PCP והשלכותיו באלגוריתמי קירוב
2002 ג'ראד סניזרגוס על הוכחת כריעות של בעיית השקילות, בשפות של אוטומט מחסנית
2003 רוברט שפיר עבור המצאת אלגוריתם AdaBoost
2004 מאוריס הרלי, מייק זאקס, פוטיוס זהרוגלו על אפליקציות בטופולוגיה של חישוב מבוזר
2005 מריו סגדי על תרומתם היסודית בתחום אלגוריתמים לזרמי מידע
2006 נירג' קייל, ניטין סקסנה על אלגוריתם AKS לבדיקת ראשוניות של מספר בזמן פולינומי
2007 אלכסנדר רזבורוב, סטיבן רודיך על הוכחות טבעיות
2008 שאנגואה טאנג, דניאל ספילמן על שיטת ניתוח האלגוריתמים Smooth Analysis‏
2010 סנג'יב ארורה, ג'וזף מיטשל על פיתוח אלגוריתמי קירוב יעילים עבור בעיית הסוכן הנוסע במרחב אוקלידי
2011 יוהאן הסטאד על תוצאות אי-קיום של אלגוריתמי קירוב (בעלי פרמטרים "טובים") עבור בעיות NP קשות
2012 אליאס קוטסופיאס, טים ראפגרדן, אוה טרדוש, אמיר רונן על הנחת היסודות בתחום תורת המשחקים האלגוריתמית
2013 מת'יו פראנקלין, אנטואן ז'וקס על כלים קריפטוגרפים המבוססים על מיפוי בי-ליניארי

אישים נוספים[עריכת קוד מקור]

אובייקטים, פרימיטיבים, מבני נתונים ושפות[עריכת קוד מקור]

אלגוריתמים, מושגים ותחומים[עריכת קוד מקור]