史蒂芬·亚瑟·库克（Stephen Arthur Cook，1939年12月14日－，计算机科学家，计算复杂性理论的重要研究者。
1971年，在他的论文《The Complexity of Theorem Proving Procedures》，他整理了NP完备性的目标，亦产生了库克定理——布尔可满足性问题是NP完备的证明。
1982年，库克获得图灵奖。因为其论文开启了NP完备性的研究，令这个领域于之后的十年成为计算机科学中最活跃和重要的研究。
库克现为多伦多大学的计算机科学和数学系教授。
首页 >
史蒂芬·库克
✍ dations ◷ 2025-11-26 11:20:41 #1939年出生,在世人物,图灵奖获得者,美国计算机科学家,密歇根大学校友,哈佛大学校友
相关
- PP细胞PP细胞是胰岛中的一类可分泌胰多肽（英语：Pancreatic polypeptide）（Pancreatic polypeptide、PP）的细胞，只以很少比例存在，并且是胰岛中数量最少的一种细胞。胞体呈多边形，具有很少细
- 里歇夏尔·罗贝尔·里歇（法语：Charles Robert Richet，1850年8月25日－1935年12月4日），法国生理学家，是许多研究的早期建立者，例如神经化学、消化作用、恒温动物的体温调控，以及呼吸作用。
- 立克次体属等立克次体（学名：Rickettsia），或者称立克次氏体，是一类细菌，但许多特征和病毒一样，如不能在培养基上培养，可以通过瓷滤器过滤，只能在动物细胞内寄生繁殖等。直径只有0.3-1μm，小于绝大
- 梅赛德斯-奔驰name = 'Transport', description = '交通', content = {{ type = 'text', text = [[]] }, { type = 'item', original = 'articulated bus', rule = 'zh-cn:铰接客车;zh-tw
- 立面立面（英语：facade、法语：façade，IPA: /fa 'sad/），建筑学术语，一般指建筑物的外墙——尤其是正面，但亦可指侧面或背面。这个词汇源自法文，意思是房子的正面或面孔。在建筑学中，建筑物
- 何伟何伟（1910年4月－1973年3月），原名霍恒德，男，河南汝南人，中国政治人物。1910年出生于河南汝南，1934年毕业于武汉华中大学，1936年3月加入中国共产党。何伟曾于1949年9月到1952年7月，任广
- 和平文化和平文化（英语 Hòa Bình culture或Hoabinhian，词源自越南语和平省），首先被法国考古学家用于描述越南北部全新世时期的从岩洞中发掘的考古文化。后在英语文献中，“和平文化”被
- 阿尔法托利车队阿尔法托利车队（意大利语：Scuderia AlphaTauri），全名为阿尔法托利本田车队（意大利语：Scuderia AlphaTauri Honda），或为与红牛车队区别而被称作小红牛或小牛或红牛第二车队，是一支意大
- 须田博须田博（俄语：Виктор Константинович Фëдорович Старухин、日语：須田 博／すた ひろし ，1916年5月1日－1957年1月12日），出生于俄罗斯帝国彼尔姆
- 李塨李塨（1659年－1733年），字刚主，别号恕谷。直隶（今河北省）蠡县人。清初学者，颜李学派的主要代表之一。祖父李彩。父亲李明性，以孝闻名，世称“孝悫先生”。李塨生于清顺治十六年（1659年），四岁
