书馨卡帮你省薪 2024个人购书报告 2024中图网年度报告
欢迎光临中图网 请 | 注册
> >
可计算性与计算复杂性导引-第3版

可计算性与计算复杂性导引-第3版

出版社:北京大学出版社出版时间:2011-08-01
开本: 16开 页数: 256
中 图 价:¥24.5(7.0折) 定价  ¥35.0 登录后可看到会员价
暂时缺货 收藏
运费6元,满39元免运费
?新疆、西藏除外
本类五星书更多>

可计算性与计算复杂性导引-第3版 版权信息

  • ISBN:9787301177686
  • 条形码:9787301177686 ; 978-7-301-17768-6
  • 装帧:暂无
  • 册数:暂无
  • 重量:暂无
  • 所属分类:>

可计算性与计算复杂性导引-第3版 内容简介

  《可计算性与计算复杂性导引(第3版)》是学习计算理论的教材和参考书,内容包括三部分:可计算性、形式语言与自动机、计算复杂性.主要介绍几种计算模型及它们的等价性,函数、谓词和语言的可计算性等基本概念,形式语言及其对应的自动机模型,时间和空间复杂性,np完全性等.   《可计算性与计算复杂性导引(第3版)》可作为计算机专业本科生和研究生的教材,也可作为从事计算机科学技术的研究和开发人员的参考书,还可作为对计算理论感兴趣的读者的入门读物.

可计算性与计算复杂性导引-第3版 目录

**章 程序设计语言 和可计算函数
 1.1 预备知识
 1.2 church-turing论题
 1.3 程序设计语言
 1.4 可计算函数
 1.5 宏指令
 习题
第二章 原始递归函数
 2.1 原始递归函数
 2.2 原始递归谓词
 2.3 迭代运算、有界量词和极小化
 2.4 配对函数和godel数
 2.5 原始递归运算
 2.6 ackermann函数
 2.7 字函数的可计算性
展开全部
商品评论(0条)
暂无评论……
书友推荐
本类畅销
编辑推荐
返回顶部
中图网
在线客服