導覽
近期變更
隨機頁面
新手上路
新頁面
優質條目評選
繁體
不转换
简体
繁體
3.144.35.122
登入
工具
閱讀
檢視原始碼
特殊頁面
求真百科歡迎當事人提供第一手真實資料,洗刷冤屈,終結網路霸凌。
變更
前往:
導覽
、
搜尋
← 較舊編輯
較新編輯 →
史蒂芬·庫克
增加 39 位元組
,
3 年前
無編輯摘要
|}
'''史蒂芬·亞瑟·库克'''(Stephen Arthur Cook,{{bd|1939年|12月14日}}
,誕生於 [[紐約州]][[水牛城]]
,[[計算機科學]]家,[[計算複雜性理論]]的重要研究者。
1971年,在他的論文《{{lang|en|The Complexity of Theorem Proving Procedures}}》,他整理了[[NP完備|NP完備性]]的目標,亦產生了[[古克定理|库克定理]]——[[布爾可滿足性問題]]是NP完備的證明。
CMH
24,865
次編輯