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