fbpx
维基百科

史蒂芬·库克

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

史蒂芬·库克
原文名Stephen Arthur Cook
出生 (1939-12-14) 1939年12月14日83歲)
 美國紐約州水牛城
母校哈佛大学
密歇根大学
机构多伦多大学
加州大学伯克利分校
知名于NP完全
奖项图灵奖

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

1982年,库克获得图灵奖。因為其論文開啟了NP完備性的研究,令這個领域於之後的十年成為計算機科學中最活躍和重要的研究。

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

外部連結

史蒂芬, 库克, 史蒂芬, 亞瑟, 库克, stephen, arthur, cook, 1939年12月14日, 計算機科學家, 計算複雜性理論的重要研究者, 原文名stephen, arthur, cook出生, 1939, 1939年12月14日, 83歲, 美國紐約州水牛城母校哈佛大学密歇根大学机构多伦多大学加州大学伯克利分校知名于np完全奖项图灵奖1971年, 在他的論文, complexity, theorem, proving, procedures, 他整理了np完備性的目標, 亦產生了库克定理, . 史蒂芬 亞瑟 库克 Stephen Arthur Cook 1939年12月14日 計算機科學家 計算複雜性理論的重要研究者 史蒂芬 库克原文名Stephen Arthur Cook出生 1939 12 14 1939年12月14日 83歲 美國紐約州水牛城母校哈佛大学密歇根大学机构多伦多大学加州大学伯克利分校知名于NP完全奖项图灵奖1971年 在他的論文 The Complexity of Theorem Proving Procedures 他整理了NP完備性的目標 亦產生了库克定理 布爾可滿足性問題是NP完備的證明 1982年 库克获得图灵奖 因為其論文開啟了NP完備性的研究 令這個领域於之後的十年成為計算機科學中最活躍和重要的研究 库克現為多倫多大學的計算機科學和數學系教授 外部連結 编辑 英文 古克的網站 页面存档备份 存于互联网档案馆 这是一篇关于美国科学家的小作品 你可以通过编辑或修订扩充其内容 查论编 取自 https zh wikipedia org w index php title 史蒂芬 库克 amp oldid 63539954, 维基百科,wiki,书籍,书籍,图书馆,

文章

,阅读,下载,免费,免费下载,mp3,视频,mp4,3gp, jpg,jpeg,gif,png,图片,音乐,歌曲,电影,书籍,游戏,游戏。