計算模型導(dǎo)引 宋方敏 pdf

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

計算模型導(dǎo)引 pdf簡介

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

計算模型導(dǎo)引 宋方敏 pdf目錄節(jié)選

第一章 遞歸函數(shù)

1.1 數(shù)論函數(shù)

1.2 配對函數(shù)

1.3 初等函數(shù)

1.4 原始遞歸函數(shù)

1.5 遞歸函數(shù)

1.6 結(jié)論

習(xí)題

第二章 算盤機

2.1 算盤機的定義

2.2 算盤機可計算函數(shù)

2.3 算盤機的計算能力

習(xí)題