פורטל:מדעי המחשב/ערכים מבוקשים
קפיצה לניווט
קפיצה לחיפוש
עמוד זה מכיל רשימת ערכים מבוקשים בנושאי מדעי המחשב. בהוספת ערכים חדשים, אנא שמרו על סדר האלפבית. כמו כן, אם אתם יודעים מה שם הערך באנגלית או שפה אחרת, הוסיפו גם אותו בסוגריים.
אדומים בתבנית:מדעי המחשב
- עיצוב אלגוריתמים (אנ')
- ניתוח מלל
- עיבוד מרובה
- מתודות פורמליות (אנ')
- מערכת לניהול בסיסי נתונים
- חשיבה אוטומטית (אנ')
- אינטליגנציה חישובית
- פיזיקה חישובית (אנ')
אישים
זוכי פרס טיורינג
לערכים באנגלית ניתן לגשת דרך הערך על פרס טיורינג בוויקיפדיה האנגלית (אנ').
| שנה | שמות הזוכים | הסיבה לזכייה |
|---|---|---|
| 1970 |  ג'יימס וילקנסון |
|
| 1973 |  צ'ארלס באקמן |
|
| 1975 | אלן ניוול |
|
| 1976 | דנה סקוט |
על הגדרת אוטומט סופי לא דטרמיניסטי ורעיון האי-דטרמיניזם |
| 1977 | ג'ון באקוס |
|
| 1978 | רוברט פלויד |
|
| 1979 |  קנת אייברסון |
|
| 1980 | טוני הורה |
|
| 1987 | ג'ון קוק |
|
| 1988 | איוואן סדארלנד |
|
| 1989 | וילאם קאהן |
|
| 1990 | פרננדו קורבטו |
|
| 1991 | רובין מילנר |
|
| 1992 | באטלר לאמפסון |
|
| 1993 |  יוריס הארטמאניס ריצ'רד סטרנס |
|
| 1994 |  ראג' רדי |
|
| 1998 | ג'ים גריי |
|
| 2001 |  אולה יוהאן דאל קריסטין נייגארד |
|
| 2003 | אלן קיי |
|
| 2004 | בוב קאהן |
על עבודה חלוצית בתחום רשתות תקשורת, לרבות תיכון ומימוש הפרוטוקולים הבסיסים של רשת האינטרנט ופרוטוקול TCP/IP |
| 2007 | אדמונד קלארק אלן אמרסון   ז'וסף סיפאקיס |
על פיתוח שיטת בדיקות מודל בטכנולוגיית אימות יעילה ביותר בה נעשה שימוש רב בעולם עיצוב התוכנה והחומרה |
| 2009 | צ'ארלס פ. ת'אקר (Charles P. Thacker) |
על תרומתו לפיתוח המחשב האישי המודרני הראשון ועל תרומתו ל-Ethernet ולמחשב הלוח |
זוכי פרס גדל
פרס גדל הוא השני בחשיבותו בתחום מדעי המחשב, לאחר פרס טיורינג.
אובייקטים, פרימיטיבים, מבני נתונים ושפות
- יחידת נקודה צפה (אנ')
- מיכל (מבנה נתונים) (אנ')
- APL (אנ')
- ABAP (אנ')
- AppleScript (אנ')
- SNOBOL (אנ')
- T-SQL (אנ')
- TeX (אנ')
- קוד קונבולוציה (אנ')
- קוד ריד-מילר (אנ')
- קוד גוליי (אנ')
- קוד טורבו (אנ')
- אלגוריתם ויטרבי (אנ')
- קוד BCH (אנ')
- DCEL (אנ')
- מעגל בוליאני
- תמורה חד כיוונית
- קוד בלוק
אלגוריתמים, מושגים ותחומים
- תכנות מובנה (אנ')
- תכנות מכוון היבטים (אנ')
- בעיות ספירה (אנ')
- ניתוח פחת (אנ')
- בקרת מקביליות פסיבית
- SpeedUp (אנ')
- אלגוריתם AdaBoost (אנ')
- אלגוריתם בחירה (אנ')
- משפט ה-PCP (אנ')
- תאוריה של מדעי המחשב (אנ')
- מכונת מונים (אנ') וגם (אנ')
- Same-origin policy (אנ')