文献类型:专著 浏览次数:12
  • 题名:计算理论与符号逻辑
  • 责任者:张兴元, 王元元, 宋丽华编著
  • 出版社科学出版社
  • 出版年:2011
  • ISBN:978-7-03-032410-8
  • 定价:34.00
  • 载体形态项:270页 26cm
  • 个人责任者:王元元编著、宋丽华编著、张兴元编著
  • 学科主题:计算技术
  • 中图法分类号:O141-43 TP301-43
  • 提要文摘附注:本书共十五章,主要包括集合的可数性、图灵可计算性、算盘可计算性、递归函数可计算性、递归函数与递归关系、不同计算模型之间的等价性等。
  • 统一资源定位(URL):
总体评价(共0票) 评价
索书号 条码号 年卷期 馆藏地 排架号 书刊状态 流通状态

书籍封面

相关资源

图书馆微博二维码

图书馆微信公众号二维码