书目详细信息
： 计算理论解析
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-302-43791-8:CNY29.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 计算理论解析/.张寅生著 |
| 出版发行项： | 北京:,清华大学出版社:,2016.08 |
| 载体形态项： | 139页:;+图:;+21cm |
| 提要文摘： | 本书共分为6章。第1章介绍计算的对象和本质, 将离散变量作为图灵计算 (离散变量计算) 的对象, 将其逻辑确定性和机械能行可计算性作为图灵计算的本质 ; 第2章介绍可计算函数 —— 递归函数 ; 第3章介绍计算机的数学原理 ; 第4章介绍语言的计算 ; 第5章介绍判定问题的可计算性 ; 第6章介绍计算模型的典型应用。 |
| 题名主题： | 计算技术 理论 |
| 中图分类： | TP301 |
| 个人名称等同： | 张寅生 著 |
| 记录来源： | CN 人天书店 20160930 |