《计算模型导引》

内容简介

《计算机科学与技术研究生系列教材:计算模型导引》主要介绍了计算模型领域的主要概念，方法和技术，旨在通过介绍递归函数，Lambda演算和Turing机来理解计算理论。本课程讲述如下专题：递归函数、算盘机、Lambda演算、Turing机和Church论题。计算理论是计算机科学的理论基础。 书中每章附有适量习题，供读者选做。

关于

声明

本网站仅限于学习交流，禁止用于商业用途。部分习题解答参考其他作者。如有疑问或建议，请联系我