可计算性与计算复杂性导引

收藏
  • 【作者】张立昂 编著
  • 【关键词】电子计算机 可计算性 高等学校 教材 电子计算机 计算复杂性 高等学校 教材
  • 【出版社】北京大学出版社
  • 【出版日期】2011
  • 【ISBN】978-7-301-17768-6
  • 【中图分类号】 TP301/TP301.4/TP301.5
  • 【内容简介】本书内容包括三部分:可计算性、形式语言与自动机、计算复杂性。主要介绍几种计算模型及它们的等价性,函数、谓词和语言的可计算性等基本概念,形式语言及其对应的自动机模型,时间和空间复杂性,NP完全性等。全部展开
  • 【页码】256页
  • 【文献类型】图书
  • 【所属馆】

    浙江图书馆 杭州图书馆 滨江区图书馆

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