计算模型导引 宋方敏 pdf

system

软件标签:  计算模型导引   计算机图书
计算模型导引 pdf是一款由宋方敏所著的计算机图书，整本书从递归函数论、lambda演算、图灵机三个方面讲了可计算理论，感兴趣的朋友可以下载学习！
计算模型导引 pdf简介
《计算模型导引》主要介绍了计算模型领域的主要概念，方法和技术，旨在通过介绍递归函数，lambda演算和turing机来理解计算理论。本课程讲述如下专题：递归函数、算盘机、lambda演算、turing机和church论题。计算理论是计算机科学的理论基础。 书中每章附有适量习题，供读者选做。

https://blog.51cto.com/u_16099270/9147646