计算理论解析

收藏
  • 【作者】张寅生
  • 【关键词】计算技术 理论
  • 【出版社】清华大学出版社
  • 【出版日期】2016
  • 【ISBN】978-7-302-43791-8
  • 【中图分类号】 TP301
  • 【内容简介】本书介绍计算模型理论,包括计算的对象、本质、定义、分类、表达、逻辑和机械实现方法,以及计算模型的典型应用。全书共分为6章,第1章介绍计算的对象和本质,将离散变量作为图灵计算(离散变量计算)的对象,将其逻辑确定性和机械能行可计算性作为图灵计算的本质;第2章介绍可计算函数——递归函数;第3章介绍计算机的数学原理;第4章介绍语言的计算;第5章介绍判定问题的可计算性;第6章介绍计算模型的典型应用。全部展开
  • 【页码】139页
  • 【文献类型】图书
  • 【所属馆】

    浙江图书馆

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