计算模型导引 宋方敏 pdf
基本信息
打开支付宝首页搜“673273051”领红包,领到大红包的小伙伴赶紧使用哦!
相关书籍
- 计算广告 pdf 完整版电子版[14.6M]
- python语言入门 高清版[14.6M]
- 嵌入式硬件设计 第二版 pdf[39.1M]
- 漏洞战争 软件漏洞分析精要 pdf[92.8M]
- ppt要你好看 第2版pdf 高清扫描版[2.7M]
内容介绍
计算模型导引 pdf是一款由宋方敏所著的计算机图书,整本书从递归函数论、Lambda演算、图灵机三个方面讲了可计算理论,感兴趣的朋友可以下载学习!
《计算模型导引》主要介绍了计算模型领域的主要概念,方法和技术,旨在通过介绍递归函数,Lambda演算和Turing机来理解计算理论。本课程讲述如下专题:递归函数、算盘机、Lambda演算、Turing机和Church论题。计算理论是计算机科学的理论基础。 书中每章附有适量习题,供读者选做。

第一章 递归函数
1.1 数论函数
1.2 配对函数
1.3 初等函数
1.4 原始递归函数
1.5 递归函数
1.6 结论
习题
第二章 算盘机
2.1 算盘机的定义
2.2 算盘机可计算函数
2.3 算盘机的计算能力
习题

下载地址
打赏