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