是的，計算機程式是邏輯的推演。

計算機程式是用計算機語言編制，在計算機中執行，從而實現計算，分析，檔案，音訊，影片，互動功能的一種計算機軟體。其由資料，邏輯運算，輸入，輸出四個部分構成。

資料是計算機程式執行的基礎，在程式設計中，為了便於運算，常用變數來表示資料。為了實現不同的程式功能，人們設計了各種資料結構：陣列，佇列，堆疊，列舉，樹，指標，用來對應計算機資料的不同各類。

資料在計算機中運算時，運算的方法就是數學常用的加、減、乘、除、與、或、非。為了控制運算過程，計算機程式語言還有：條件，跳轉，迴圈，遞迴，呼叫子程式的演算法邏輯。透過這些邏輯，實現不同的高等數學演算法設計。現代，一些高階語言，如Mathmatics, MathLab等系統軟體，可以直接實現擬合，分解，積分等高階數學運算。在面對物件的程式設計方法中，物件是封裝了變數，運算，邏輯的一個高階結構體。從而，實現使用物件的程式設計方法，代替傳統過程程式設計方法。使程式設計語言更接近人類生活實踐，從而讓程式設計人員專注於功能的實現，而不是具體計算機細節實現過程的思考。這些面對物件的程式設計方法，也是基本計算運算邏輯的封裝。

我們所看到的檔案，語音，影片，互動，就是資料在音響，螢幕，鍵盤，手標或遊戲手柄的表達與傳遞。而這些，都是在程式邏輯控制下實現的。

因而，計算機程式就是邏輯的推演。