杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

计算理论解析/张寅生著

出版发行项:

北京:清华大学出版社,2016

ISBN及定价:

978-7-302-43791-8/CNY29.00

载体形态项:

139页:图;21cm

个人责任者:

张寅生 著

学科主题:

计算技术-理论

中图法分类号:

TP301

书目附注:

有书目

提要文摘附注:

本书介绍计算模型理论，包括计算的对象、本质、定义、分类、表达、逻辑和机械实现方法，以及计算模型的典型应用。共分为6章，第1章介绍计算的对象和本质，将离散变量作为图灵计算(离散变量计算)的对象，将其逻辑确定性和机械能行可计算性作为图灵计算的本质；第2章介绍可计算函数——递归函数；第3章介绍计算机的数学原理；第4章介绍语言的计算；第5章介绍判定问题的可计算性；第6章介绍计算模型的典型应用。

豆瓣简介：