本书阐述了计算机科学的优美理论基础, 通过演示计算机理论在现代硬件和软件系统设计中的影响, 把理论知识带到了现实实践之中。本书介绍了关键概念的应用, 为读者在实际工作中使用计算机理论提供实际指导。本书讨论的应用包括: 程序设计语言、编译器、网络技术、自然语言处理、人工智能、计算机生物学、安全性、博弈论、商业规则建模、标识语言、Web搜索等。