本书的目的是通过以一种清晰和令人愉快的方式解释理论计算机科学的深刻思想来弥合这两个差距，使非计算机科学家和最终想要了解他们的形式主义实际上在讲述什么的计算机科学家能够理解它们。本书通过几个经典的计算问题：哥尼斯堡七桥问题、汉密尔顿路径问题、整数分解和国际象棋问题，浅探计算的魅力。