|
题名:
|
计算中的基本理论与方法 / 周培德编著 , |
|
ISBN:
|
7-81045-301-7 价格： CNY21.00 |
|
语种:
|
chi |
|
载体形态:
|
283页 26cm |
|
出版发行:
|
出版地： 北京 出版社： 北京理工大学出版社 出版日期： 1997 |
|
内容提要:
|
本书讲述了有穷自动机与正规语言，图灵机，部分递归函数及与图灵机的等价性，计算复杂性，程序正确性证明，定理的机器证明，非标准逻辑及推理方法等。 |
|
主题词:
|
算法理论 |
|
中图分类法:
|
TP301.6 版次： 4 |
|
主要责任者:
|
周培德 编著 |
|
索书号:
|
3 |