סטיבן קוק
מתוך ויקיפדיה, האנציקלופדיה החופשית
פעולות נוספות
(הופנה מהדף סטפן קוק)
| סטיבן ארתור קוק | |
| סטיבן ארתור קוק | |
| לידה | 14 בדצמבר 1939 (גיל: 86) |
|---|---|
| מדינה | קנדה וארצות הברית |
| ענף מדעי | מדעי המחשב |
| תרומות עיקריות | |
|
NP-שלמות משפט קוק-לוין | |
סטיבן ארתור קוק (נולד ב-14 בדצמבר 1939), הוא מדען-מחשב ומתמטיקאי אמריקאי-קנדי שתרם רבות לתורת הסיבוכיות. כיום הוא פרופסור באוניברסיטת טורונטו.
מחקר עריכה
סטיבן קוק נחשב לאחד האבות המייסדים של תורת הסיבוכיות.
במאמרו מ-1971 "המורכבות של הוכחת משפט",[1][2] קוק טבע פורמלית את המושגים של רדוקציה פולינומית ובעיות NP-שלמות, והוכיח את קיומה של בעיה NP-שלמה על ידי שהראה שבעיית הספיקות היא NP-שלמה. משפט זה הוכח באופן עצמאי על ידי לאוניד לוין בברית המועצות, ולכן מכונה משפט קוק-לוין. המאמר גם מציג פורמלית את הבעיה המפורסמת במדעי המחשב, בעיית P=NP.
פרסים עריכה
קוק זכה בפרס טיורינג בשנת 1982 על תרומתו לתורת הסיבוכיות.
קישורים חיצוניים עריכה
ויקישיתוף מדיה וקבצים בנושא [[commons:Category:{{#property:P373}}|סטיבן קוק]] בוויקישיתוף
- קובץ:2021 Facebook icon.svg סטיבן קוק, ברשת החברתית פייסבוק
- קובץ:X logo 2023.svg סטיבן קוק, ברשת החברתית X (טוויטר)
- קובץ:Telegram logo.svg סטיבן קוק, ביישום טלגרם
- קובץ:Instagram logo 2016.svg סטיבן קוק, ברשת החברתית אינסטגרם
- קובץ:טיקטוק.png סטיבן קוק, ברשת החברתית טיקטוק
- קובץ:VK.com-logo.svg סטיבן קוק, ברשת החברתית VK
- קובץ:Linkedin.svg סטיבן קוק, ברשת החברתית LinkedIn
- קובץ:Linkedin.svg סטיבן קוק, ברשת החברתית LinkedIn
- קובץ:YouTube full-color icon (2017).svg סטיבן קוק, סרטונים בערוץ היוטיוב
- קובץ:Twitch logo 2019.svg סטיבן קוק, ערוץ באתר Twitch.tv
- קובץ:Vimeo Logo.svg סטיבן קוק, סרטונים באתר Vimeo
- קובץ:Rss-feed.svg [%7B%7B%23property%3AP1581%7D%7D סטיבן קוק], הבלוג הרשמי
- קובץ:Goodreads logo 2025.svg סטיבן קוק, ברשת החברתית Goodreads
- קובץ:Flickr wordmark.svg סטיבן קוק, באתר פליקר
- קובץ:Reddit logo 2023.svg סטיבן קוק, באתר רדיט
- קובץ:Pinterest-logo.png סטיבן קוק, באתר פינטרסט
- סטיבן קוק, באתר פרס נובל (באנגלית)
- סטיבן קוק, באתר פרויקט הגנאלוגיה במתמטיקה
- סטיבן קוק, באתר MacTutor (באנגלית)
- סטיבן קוק, באתר נאס"א (באנגלית)
- סטיבן קוק, באתר dblp
- סטיבן קוק, באתר ResearchGate
- סטיבן קוק, באתר ResearchGate
- סטיבן קוק, באתר גוגל סקולר
- סטיבן קוק, באתר Semantic Scholar
- [%7B%7B%23property%3AP5715%7D%7D סטיבן קוק], באתר Academia.edu
- סטיבן קוק, באתר IEEE
- סטיבן קוק, באתר SSRN
- סטיבן קוק, באתר Justia
- סטיבן קוק באתר פרס טיורינג (באנגלית)
- סטיבן קוק, באתר אנציקלופדיה בריטניקה (באנגלית)
.svg){kind=link}
הערות שוליים עריכה
- ^ "The Complexity of Theorem Proving Procedures", PDF file of a scanned version
- ^ "The Complexity of Theorem Proving Procedures", PDF file of a retyped version