计算理论与符号逻辑
引用
收藏
作者：
张兴元，王元元，宋丽华编著
ISBN：
9787030324108
出版日期：
2011-10
版次：
1
中图分类号：
O141
学科分类：
数学
丛书：
附注信息：
普通高等教育“十一五”国家级规划教材
阅读
图书简介：
本书共十五章，主要包括集合的可数性、图灵可计算性、算盘可计算性、递归函数可计算性、递归函数与递归关系、不同计算模型之间的等价性等。
图书目录：
返回顶部
×
图书荐购
*
姓名:
*
机构名称:
*
院/系/所:
*
推荐人邮箱:
推荐理由:
