量子计算正在改变我们对于计算机的思考方式。量子比特(quantum bits),又称qubits,可以解决当前计算技术难以解决的问题。 本书首先概述了量子计算与传统计算如此不同的原因,并讲述了可能会对量子计算产生重大影响的一些行业案例。对理解诸如叠加、纠缠和干涉等概念所必需的经典计算理论和数学基础进行了更全面的讲解。接下来是电路和算法。既有基础的,也有更复杂的。然后,对构建量子计算硬件背后的物理和工程思想娓娓道来。后,本书展望了未来前景并提供了指引,帮助读者了解日后的发展会如何影响到个人。 真正理解量子计算需要大量的数学知识,而本书也不会回避必要的数学概念。每个主题均以清晰的文字和有用的示例进行介绍和详尽解释。 你将从本书中学到: 量子计算的工作原理、与众不同之处及其如此强大的原因; 探索量子系统背后令
《算法竞赛入门经典(第2版)》是一本算法竞赛的入门与提高教材,把C/C语言、算法和解题有机地结合在一起,淡化理论,注重学习方法和实践技巧。全书内容分为12章,包括程序设计入门、循环结构程序设计、数组和字符串、函数和递归、C与STL入门、数据结构基础、暴力求解法、高效算法设计、动态规划初步、数学概念与方法、图论模型与算法、高级专题等内容,覆盖了算法竞赛入门和提高所需的主要知识点,并含有大量例题和习题。书中的代码规范、简洁、易懂,不仅能帮助读者理解算法原理,还能教会读者很多实用的编程技巧;书中包含的各种开发、测试和调试技巧也是传统的语言、算法类书籍中难以见到的。《算法竞赛入门经典(第2版)》可作为全国青少年信息学奥林匹克联赛(NOIP)复赛教材、全国青少年信息学奥林匹克竞赛(NOI)和ACM国际大学生程序
“数理逻辑”是一门基础性学科,选一本好的“数理逻辑”的教材,对于培养新一代计算机科学家及IT从业人员是非常重要的。经专家,我们选了大学出版社的,由A.G.Hamilton著“LogicforMathematicians”一书影印出版,希望本书的能为国内高校“数理逻辑”课程的开设提供支持。本书系统地讲解了数理逻辑的基础部分——命题演算与谓词演算。章直观地讲解了命题逻辑基本思想和概念;第二章讲解命题逻辑的形式化系统;第三章直观地讲解了谓词逻辑;第四章讲解谓词逻辑的形式化系统;第五章介绍数学系统;第六章以很不的篇幅完整地介绍了哥德尔不完备定理以有递归函数的初步知识;第七章简要介绍了可计算性与可判定性理论。由于数理逻辑(特别是其基础部分)是一门定形的老学科,其理论体系没有什么变化。本书版由大学出版社于1978年出版,然后,于1988年出了