|
书名：
|
计算理论解析
|
|
|
作者：
|
张寅生
著
|
|
出版信息：
|
北京
清华大学出版社
2016.08
|
|
开本页数：
|
21cm
139页
|
|
丛书名：
|
|
|
单 册：
|
|
|
中图分类：
|
TP301
|
|
科图分类：
|
|
|
主题词：
|
计算技术--理论
|
|
电子资源：
|
|
|
ISBN：
|
978-7-302-43791-8
|
|
000
|
00948nam0 2200229 450
|
|
001
|
0100004660
|
|
010
|
|
@a978-7-302-43791-8@dCNY29.00
|
|
100
|
|
@a20160930d2016 em y0chiy50 ea
|
|
101
|
0
|
@achi
|
|
102
|
|
@aCN@b110000
|
|
105
|
|
@aa z 000yy
|
|
106
|
|
@ar
|
|
200
|
1
|
@a计算理论解析@Aji suan li lun jie xi@f张寅生著
|
|
210
|
|
@a北京@c清华大学出版社@d2016.08
|
|
215
|
|
@a139页@c图@d21cm
|
|
330
|
|
@a本书共分为6章。第1章介绍计算的对象和本质，将离散变量作为图灵计算(离散变量计算)的对象，将其逻辑确定性和机械能行可计算性作为图灵计算的本质；第2章介绍可计算函数——递归函数；第3章介绍计算机的数学原理；第4章介绍语言的计算；第5章介绍判定问题的可计算性；第6章介绍计算模型的典型应用。
|
|
333
|
|
@a本书适合作为高等院校计算机、通信、自动化、软件工程等专业的本科生和研究生的教材
|
|
606
|
0
|
@a计算技术@x理论
|
|
690
|
|
@aTP301@v5
|
|
701
|
0
|
@a张寅生@Azhang yin sheng@4著
|
|
801
|
0
|
@aCN@c201701015
|
|
905
|
|
@a河南城建学院图书馆@dTP301@eZ236
|
|
|
|
|
| |
| 计算理论解析/张寅生著.-北京：清华大学出版社，2016.08 |
| 139页：图；21cm |
| 使用对象：本书适合作为高等院校计算机、通信、自动化、软件工程等专业的本科生和研究生的教材 |
| |
| ISBN 978-7-302-43791-8：CNY29.00 |
| 本书共分为6章。第1章介绍计算的对象和本质，将离散变量作为图灵计算(离散变量计算)的对象，将其逻辑确定性和机械能行可计算性作为图灵计算的本质；第2章介绍可计算函数——递归函数；第3章介绍计算机的数学原理；第4章介绍语言的计算；第5章介绍判定问题的可计算性；第6章介绍计算模型的典型应用。 |
| ● |
正题名：计算理论解析
索取号：TP301/Z236
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
1365404
|
213654044
|
自科库301/301自科库 45排4列3层/
[索取号:TP301/Z236]
|
在馆
|
|
