本書的目的是通過以一種清晰和令人愉快的方式解釋理論計算機科學的深刻思想來彌合這兩個差距，使非計算機科學家和最終想要了解他們的形式主義實際上在講述什么的計算機科學家能夠理解它們。本書通過幾個經典的計算問題：哥尼斯堡七橋問題、漢密爾頓路徑問題、整數分解和國際象棋問題，淺探計算的魅力。