計算模型導引（yǐn） 宋方敏 pdf

計算模型導（dǎo）引 pdf是一款由宋方敏所著的計算（suàn）機圖書，整本書（shū）從遞歸（guī）函數論、Lambda演算、圖靈機三個（gè）方麵講了（le）可計算理論，感興趣的朋友可以（yǐ）下載學習！

計算模型導引 pdf簡介

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

計算模型導引 宋方敏 pdf目錄（lù）節選

第一章 遞歸函數

1.1 數論函數

1.2 配對函數

1.3 初等函數

1.4 原始遞（dì）歸函數

1.5 遞歸函數

1.6 結論

習題

第二章 算盤機

2.1 算（suàn）盤機的定義（yì）

2.2 算盤（pán）機可計算函數

2.3 算盤機的計算能力

習題