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