MARC状态：审校 文献类型：中文图书 浏览次数：64
- 题名/责任者:
- 计算模型导引/宋方敏编著
- 出版发行项:
- 北京:高等教育出版社,2012
- ISBN及定价:
- 978-7-04-034737-1/CNY24.00
- 载体形态项:
- 151页;23cm
- 丛编项:
- 计算机科学与技术研究生系列教材
- 个人责任者:
- 宋方敏 编著
- 学科主题:
- 计算模型-研究生-教材
- 中图法分类号:
- O24
- 相关题名附注:
- 英文并列题名取自封面
- 书目附注:
- 有书目 (第149-151页)
- 提要文摘附注:
- 本书主要介绍了计算模型领域的主要概念，方法和技术，旨在通过介绍递归函数，Lambda演算和Turing机来理解计算理论。本课程讲述如下专题：递归函数、算盘机、Lambda演算、Turing机和Church论题。计算理论是计算机科学的理论基础。
全部MARC细节信息>>
10楼南数、理科学借阅室