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