פורטל:מדעי המחשב/ערכים מבוקשים
מראה
עמוד זה מכיל רשימת ערכים מבוקשים בנושאי מדעי המחשב. בהוספת ערכים חדשים, אנא שמרו על סדר האלפבית. כמו כן, אם אתם יודעים מה שם הערך באנגלית או שפה אחרת, הוסיפו גם אותו בסוגריים.
אדומים בתבנית:מדעי המחשב
[עריכת קוד מקור]אישים
[עריכת קוד מקור]זוכי פרס טיורינג
[עריכת קוד מקור]לערכים באנגלית ניתן לגשת דרך הערך על פרס טיורינג בוויקיפדיה האנגלית (אנ').
שנה | שמות הזוכים | הסיבה לזכייה |
---|---|---|
1970 | ג'יימס וילקנסון | |
1973 | צ'ארלס באקמן | |
1975 | אלן ניוול | |
1976 | דנה סקוט | על הגדרת אוטומט סופי לא דטרמיניסטי ורעיון האי-דטרמיניזם |
1977 | ג'ון באקוס | |
1978 | רוברט פלויד | |
1979 | קנת אייברסון | |
1980 | טוני הור | |
1987 | ג'ון קוק | |
1988 | איוואן סדארלנד | |
1989 | וילאם קאהן | |
1990 | פרננדו קורבטו | |
1991 | רובין מילנר | |
1992 | באטלר לאמפסון | |
1993 | יוריס הארטמאניס ריצ'רד סטרנס |
|
1994 | ראג' רדי | |
1998 | ג'ים גריי | |
2001 | אולה יוהאן דאל קריסטין נייגארד |
|
2003 | אלן קיי | |
2007 | אדמונד קלארק אלן אמרסון ז'וסף סיפאקיס |
על פיתוח שיטת בדיקות מודל בטכנולוגיית אימות יעילה ביותר בה נעשה שימוש רב בעולם עיצוב התוכנה והחומרה |
זוכי פרס גדל
[עריכת קוד מקור]פרס גדל הוא השני בחשיבותו בתחום מדעי המחשב, לאחר פרס טיורינג.
אישים נוספים
[עריכת קוד מקור]- מיקו היפונן (אנ')
- ס. בארי קופר (אנ')
- בועז ברק (אנ')
- סקוט אהרונסון (אנ')
אובייקטים, פרימיטיבים, מבני נתונים ושפות
[עריכת קוד מקור]- DBpedia (אנ')
- SNOBOL (אנ')
- קוד ריד-מילר (אנ')
- קוד גוליי (אנ')
- קוד טורבו (אנ')
- קוד BCH (אנ')
- DCEL (אנ')
- מעגל בוליאני (אנ')
- תמורה חד כיוונית
- קוד בלוק (אנ')