《 逻辑、自动机与计算复杂性：斯蒂芬·A·库克著作集 》
- 逻辑自动机计算复杂性NP完全性P vs. NP问题图灵奖证明复杂性有界算术并行计算空间受限计算
- #计算理论经典 #学术文献汇编 #图灵奖获奖著作 #复杂性研究入门 #多学者解读 #传记资料丰富
- 选题分类：数学 计算机理论
- 原版语种：英语（可提供图书翻译服务）
- 出版日期：2023年05月
- 页数：426页
- 图书定价：（不详）
- 开本：190mm×234mm
- 原出版地：美国
- 字数：（不详）
- 作品星级：
- 内文印刷：单色
申请样书样章
您正在通过本网站在线提交出版评估申请。
若您的申请获得通过，您将可以在线对本作品的电子样书进行查看。
特别提示：
1、一旦提交本申请，则表示您承诺自愿通过成都锐拓传媒广告有限公司申请上述图书的中文版权，并承诺在申请日起18个月内，不会向任何第三方（包括但不限于图书作者、出版方及其他代理商等）申请或联系上述图书的中文简体版权。否则，我公司有权关闭您在本网站的使用权限，且不再与您进行任何业务合作，并有权要求您支付不低于人民币5000元/本的违约金，或将上述违约金直接从您的账户余额中予以扣除。
2、您通过本功能在线申请样书样章而支付的费用仅为样书样章在线查阅的费用，不代表我公司对上述图书的中文版权授权事宜向您作出任何承诺。除非发生我公司无法向您提交样书或样章的情况，否则无论最终是否与您达成中文版权的交易合作，该费用概不退还。
申请翻译样章
您正在通过本网站在线提交翻译样章申请。
若您的申请获得通过，您将可以在线对本作品的翻译样章进行查看。
特别提示：
1、一旦提交本申请，则表示您承诺自愿通过成都锐拓传媒广告有限公司申请上述图书的中文版权，并承诺在申请日起18个月内，不会向任何第三方（包括但不限于图书作者、出版方及其他代理商等）申请或联系上述图书的中文简体版权。否则，我公司有权关闭您在本网站的使用权限，且不再与您进行任何业务合作，并有权要求您支付不低于人民币5000元/本的违约金，或将上述违约金直接从您的账户余额中予以扣除。
2、您通过本功能在线申请样书样章而支付的费用仅为样书样章在线查阅的费用，不代表我公司对上述图书的中文版权授权事宜向您作出任何承诺。除非发生我公司无法向您提交样书或样章的情况，否则无论最终是否与您达成中文版权的交易合作，该费用概不退还。
内容简介
库克因“以前所未有的深度推进了人类对计算复杂性的理解”荣获1982年图灵奖。本书精选了体现其获奖工作的开创性论文，展示了库克对逻辑学与计算理论的融合创新，涵盖NP完全性、证明复杂性、有界算术、并行及空间受限计算等领域。这些经典文献辅以相关领域顶尖学者的解读文章，向普通读者阐释库克思想的重要性及其对研究界的深远影响。
书中还收录了传记资料、库克的图灵奖演讲及专访，共同描绘出这位数学与计算机科学领域公认领袖和创新者的形象，同时展现其作为循循善诱的导师与同事的人格魅力。
作者介绍
维多利亚大学计算机科学系教授。他于1984年获滑铁卢大学计算机科学与纯数学学士学位，1986年获西蒙弗雷泽大学数学硕士学位，1991年获多伦多大学计算机科学博士学位。其研究方向涵盖信息安全、密码学基础、逻辑学、形式化验证与计算复杂性等领域。
相关推荐
库克因“以前所未有的深度推进了人类对计算复杂性的理解”荣获1982年图灵奖。本书精选了体现其获奖工作的开创性论文，展示了库克对逻辑学与计算理论的融合创新，涵盖NP完全性、证明复杂性、有界算术、并行及空间受限计算等领域。这些经典文献辅以相关领域顶尖学者的解读文章，向普通读者阐释库克思想的重要性及其对研究界的深远影响。
书中还收录了传记资料、库克的图灵奖演讲及专访，共同描绘出这位数学与计算机科学领域公认领袖和创新者的形象，同时展现其作为循循善诱的...
请输入分享的Email地址：
