MARC状态：已编 文献类型：中文图书 浏览次数：3
- 题名/责任者:
- 计算理论解析/张寅生著
- 出版发行项:
- 北京:清华大学出版社,2016
- ISBN及定价:
- 978-7-302-43791-8/CNY29.00
- 载体形态项:
- 139页:图;21cm
- 个人责任者:
- 张寅生 著
- 学科主题:
- 计算技术-理论
- 中图法分类号:
- TP301
- 书目附注:
- 有书目 (第139页)
- 提要文摘附注:
- 本书共分为6章。第1章介绍计算的对象和本质，将离散变量作为图灵计算（离散变量计算）的对象，将其逻辑确定性和机械能行可计算性作为图灵计算的本质；第2章介绍可计算函数——递归函数；第3章介绍计算机的数学原理；第4章介绍语言的计算；第5章介绍判定问题的可计算性；第6章介绍计算模型的典型应用。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| TP301/35 | A0785148 |  自然科学书库（七里坪新馆六楼）
|
可借 | 自然科学书库（七里坪新馆六楼） | |
| TP301/35 | A0785149 | 自然科学书库（七里坪新馆六楼）
|
可借 | 自然科学书库（七里坪新馆六楼） | |
| TP301/35 | A0785150 | A自科5楼(李子园校区)
|
可借 | A自科5楼(李子园校区) |
显示全部馆藏信息