史蒂芬·亚瑟·库克（Stephen Arthur Cook，1939年12月14日－，计算机科学家，计算复杂性理论的重要研究者。
1971年，在他的论文《The Complexity of Theorem Proving Procedures》，他整理了NP完备性的目标，亦产生了库克定理——布尔可满足性问题是NP完备的证明。
1982年，库克获得图灵奖。因为其论文开启了NP完备性的研究，令这个领域于之后的十年成为计算机科学中最活跃和重要的研究。
库克现为多伦多大学的计算机科学和数学系教授。
首页 >
史蒂芬·库克
✍ dations ◷ 2025-10-06 13:04:20 #1939年出生,在世人物,图灵奖获得者,美国计算机科学家,密歇根大学校友,哈佛大学校友
相关
- 超级强国超级强国（英语：Hyperpower），或超级强权是一个主导或支配所有其余国家的行动的国家。一个超级强国在传统看法下是高级于超级大国。超级强国的定义及使用都有变数。有些人提议罗马
- 扭角林羚扭角林羚（学名Tragelaphus strepsiceros），又名大旋角羚、大捻角羚、大弯角羚及大扭角条纹羚，是东非及非洲南部的羚羊。由于栖息地的衰落、伐林及被猎杀，它们也有散布在其他地方。
- 中川融中川融（1911年3月30日－2001年8月31日），日本外交官、外交评论家，出生于日本本州新潟县，东京帝国大学法学部政治学科毕业。曾任外务省亚洲局（现亚洲大洋洲局）局长、外务省条约局（现国际
- 海岸巡防队海岸警卫队（英语：Coast Guard），港澳称为海岸巡防队，台湾称为海岸防卫队，是一些国家或地区设置的海洋安全机构。在不同的政府中，被赋予不同的权限，通常有管理海洋资源、护渔巡逻、海
- 巴贝尔斯堡摄影棚巴贝尔斯堡摄影棚（德语：Studio Babelsberg）是位于德国波茨坦的制片厂，为全世界历史最悠久的制片厂，建于1912年，占地2万5千平方米，建成百年以来，拍摄电影过千部，其中较著名的电影包括
- 东方号运载火箭东方运载火箭（Восток）是苏联R-7弹道导弹基础上研制的轻型运载火箭。东方运载火箭发射人类历史上第一颗人造卫星斯普特尼克和第一艘载人飞船。东方运载火箭是R-7火箭家族
- 2016年世界一级方程式锦标赛2016年世界一级方程式锦标赛（英语：2016 FIA Formula One World Championship）是第67届国际汽联一级方程式世界锦标赛。这是由被视为开轮式赛车主管组织的国际汽车联合会所主办
- 西野胜海西野胜海（日语：西野かつみ）是日本轻小说作家、漫画原作者。男性。岩手县出身。现在居住于岩手县盛冈市。
- 卡雷尔·霍夫曼卡雷尔·霍夫曼（捷克语：Karel Hoffmann，1924年6月15日－2013年2月21日）是一名捷克斯洛伐克政治家，捷克斯洛伐克共产党领导人之一和工会干部，捷克斯洛伐克社会主义共和国文化和新闻部
- 佐田岬半岛佐田岬半岛（日语：佐田岬半島／さだみさきはんとう */?）为四国最西端，爱媛县伊方町的半岛。为日本最细长的半岛。过去曾有铜矿。也是赏山樱的名所。目前在该地建设有风力发电的
