中图网

>

计算机理论

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

作者：张立昴　编著

出版社：北京大学出版社出版时间：2011-08-01

所属丛书：北京高等教育精品教材

开本： 16开 页数： 256

本类榜单：计算机/网络销量榜

中图价:¥24.5(7.0折) 定价 ~~¥35.0~~ 登录后可看到会员价

暂时缺货收藏

运费6元，满39元免运费

?新疆、西藏除外

本类五星书更多>

>
决战行测5000题(言语理解与表达)

决战行测5000题(言语理解与表达)

¥38.8¥88
>
软件性能测试.分析与调优实践之路

软件性能测试.分析与调优实践之路

¥49.3¥69
>
第一行代码Android

第一行代码Android

¥58.4¥99
>
深度学习

深度学习

¥92.4¥168
>
Unreal Engine 4蓝图完全学习教程

Unreal Engine 4蓝图完全学习教程

¥72.2¥168
>
深入理解计算机系统-原书第3版

深入理解计算机系统-原书第3版

¥104.3¥139
>
Word/Excel PPT 2013办公应用从入门到精通-(附赠1DVD.含语音视频教学+办公模板+PDF电子书)

Word/Excel PPT 2013办公应用从入门到精通-(附赠1DVD.含语音视频教学+办公模板+PDF电子书)

¥21¥49.9

商品详情
商品评论(0条)

中图价:¥24.5 暂时缺货

版权信息
内容简介
目录

可计算性与计算复杂性导引-第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条)

写书评赚书币

暂无评论……

书友推荐