計算模型導引 宋方敏 pdf

計算模型導引 pdf是一款由宋方敏所著的計算機圖書，整本書從遞歸函數論、Lambda演算、圖靈機三個方面講了可計算理論，感興趣的朋友可以下載學習！

計算模型導引 pdf簡介

《計算模型導引》主要介紹了計算模型領域的主要概念，方法和技術，旨在通過介紹遞歸函數，Lambda演算和Turing機來理解計算理論。本課程講述如下專題：遞歸函數、算盤機、Lambda演算、Turing機和Church論題。計算理論是計算機科學的理論基礎。 書中每章附有適量習題，供讀者選做。

計算模型導引 宋方敏 pdf目錄節選

第一章 遞歸函數

1.1 數論函數

1.2 配對函數

1.3 初等函數

1.4 原始遞歸函數

1.5 遞歸函數

1.6 結論

習題

第二章 算盤機

2.1 算盤機的定義

2.2 算盤機可計算函數

2.3 算盤機的計算能力

習題