計算模型導引 宋方敏 pdf

計算模型導引pdf是一款由宋方敏所著的計算機圖書，整本書從遞歸函數論、Lambda演算、圖靈機三個方面講了可計算理論，感興趣的朋友可以下載學習！計算模型導引pdf簡介《計算模型導引》主要介紹了計算模型領域的主要概念，方法和技術，旨在通過介紹遞歸函數，Lambda演