|
题名:
|
计算理论解析
/
张寅生
,
|
|
ISBN:
|
978-7-302-43791-8
价格：
0.00
|
|
载体形态:
|
139页
21cm
|
|
出版发行:
|
出版地：
北京
出版社：
清华大学出版社
出版日期：
20160001
|
|
内容提要:
|
本书共分为6章。第1章介绍计算的对象和本质，将离散变量作为图灵计算(离散变量计算)的对象，将其逻辑确定性和机械能行可计算性作为图灵计算的本质；第2章介绍可计算函数——递归函数；第3章介绍计算机的数学原理；第4章介绍语言的计算；第5章介绍判定问题的可计算性；第6章介绍计算模型的典型应用。
|
|
主题词:
|
计算技术
|
|
中图分类法:
|
TP301
版次：
|