最新《理论计算科学导论》书稿，655页pdf

这是一本关于理论计算机科学的本科入门课程的教科书。这本书的教育目的是传达以下信息:

• 这种计算出现在各种自然和人为系统中，而不仅仅是现代的硅基计算机中。 • 类似地，除了作为一个极其重要的工具，计算也作为一个有用的镜头来描述自然，物理，数学，甚至社会概念。 • 许多不同计算模型的普遍性概念，以及代码和数据之间的二元性相关概念。 • 一个人可以精确地定义一个计算的数学模型，然后用它来证明(有时只是猜测)下界和不可能的结果。 • 现代理论计算机科学的一些令人惊讶的结果和发现，包括np完备性的流行、交互作用的力量、一方面的随机性的力量和另一方面的去随机化的可能性、在密码学中“为好的”使用硬度的能力，以及量子计算的迷人可能性。