计算理论与符号逻辑

收藏
  • 【作者】张兴元 , 王元元 , 宋丽华 编著
  • 【关键词】计算技术 理论 高等教育 教材 数理逻辑 高等教育 教材
  • 【出版社】科学出版社
  • 【出版日期】2011
  • 【ISBN】978-7-03-032410-8
  • 【中图分类号】 TP301/O141
  • 【内容简介】本书共十五章,主要包括集合的可数性、图灵可计算性、算盘可计算性、递归函数可计算性、递归函数与递归关系、不同计算模型之间的等价性等。全部展开
  • 【页码】270页
  • 【文献类型】图书
  • 【所属馆】

    绍兴图书馆

  • 【获取途径】
联合资源统一检索系统 超星 V2.0
已保存的题录(0)
选出输出字段:
加载保存列表...
清空文件夹
注:
通过勾选,使对应参与检索,从而可以轻松获得更全面的检索结果。