福彩快三

計算機科學

首頁 > 計算機科學

史蒂芬·庫克

2018-09-12 13:50:56     所屬分類:圖靈獎獲得者
史蒂芬·庫克
Prof.Cook.jpg
原文名 Stephen Arthur Cook
出生 (1939-12-14) 1939年12月14日78歲)
 美國紐約州水牛城
母校 哈佛大學
密歇根大學
機構 多倫多大學
加州大學伯克利分校
知名于 NP完全
獎項 圖靈獎

史蒂芬·亞瑟·庫克(Stephen Arthur Cook,1939年12月14日福彩快三,計算機科學家,計算復雜性理論的重要研究者。

1971年,在他的論文《The Complexity of Theorem Proving Procedures》,他整理了NP完備性的目標,亦產生了庫克定理——布爾可滿足性問題是NP完備的證明。

1982年,庫克獲得圖靈獎。因為其論文開啟了NP完備性的研究,令這個領域于之后的十年成為計算機科學中最活躍和重要的研究。

庫克現為多倫多大學的計算機科學和數學系教授。

外部鏈接

  • (英文) 古克的網站

顯示全文

取消

福彩快三感謝您的支持,我會繼續努力的!

掃碼支持
無需打賞可直接關閉閱讀全文
1分,2分不嫌少,錢不錢的無所謂,重要的是你的話語激勵我前行!

愿你每天溫暖如春!!!


相關推薦