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