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