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

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

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

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

計(jì)算模型導(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í)題

第二章 算盤機(jī)

2.1 算盤機(jī)的定義

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

2.3 算盤機(jī)的計(jì)算能力

習(xí)題