MARC状态:审校 文献类型:中文图书 浏览次数:9
- 题名/责任者:
- 可计算性与计算复杂性导引/张立昂编著
- 版本说明:
- 2版
- 出版发行项:
- 北京:北京大学出版社,2004
- ISBN及定价:
- 7-301-07463-8/CNY23.00
- 载体形态项:
- 221页;26cm
- 个人责任者:
- 张立昂 (计算机) 编著
- 学科主题:
- 电子计算机-可计算性-高等学校-教材
- 学科主题:
- 电子计算机-计算复杂性-高等学校-教材
- 学科主题:
- 电子计算机
- 学科主题:
- 可计算性
- 学科主题:
- 计算复杂性
- 中图法分类号:
- TP301.4
- 中图法分类号:
- TP301.5
- 一般附注:
- 北京市高等教育精品教材立项项目 高等院校计算机专业及专业基础课系列教材
- 提要文摘附注:
- 本书从可计算性、形式语言与自动机以及计算复杂性三个领域介绍了几种计算模型及它们的等价性,函数、谓词和语言的可计算性等基本概念等内容。
全部MARC细节信息>>