计算模型导引 pdf下载-计算模型导引 宋方敏 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 算盘机的计算能力

习题